Peter Höfner

1.5k total citations
46 papers, 547 citations indexed

About

Peter Höfner is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Peter Höfner has authored 46 papers receiving a total of 547 indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Artificial Intelligence, 17 papers in Computational Theory and Mathematics and 12 papers in Computer Networks and Communications. Recurrent topics in Peter Höfner's work include Formal Methods in Verification (15 papers), Logic, programming, and type systems (14 papers) and Logic, Reasoning, and Knowledge (10 papers). Peter Höfner is often cited by papers focused on Formal Methods in Verification (15 papers), Logic, programming, and type systems (14 papers) and Logic, Reasoning, and Knowledge (10 papers). Peter Höfner collaborates with scholars based in Australia, Germany and United States. Peter Höfner's co-authors include Bernhard Möller, Yvette Mándi, Ridha Khédri, Rob van Glabbeek, Tamás Takács, Gyula Farkas, Don Batory, Ágnes K. Kocsis, Jong-Wook Kim and Annamária Szabolcs and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM Computing Surveys and Scandinavian Journal of Gastroenterology.

In The Last Decade

Peter Höfner

42 papers receiving 521 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Peter Höfner Australia	13	175	145	121	105	98	46	547
Kenneth Chi-Yin Wong Hong Kong	10	238 1.4×	58 0.4×	46 0.4×	302 2.9×	427 4.4×	19	712
Pierre-Yves Vandenbussche Belgium	15	225 1.3×	387 2.7×	65 0.5×	69 0.7×	117 1.2×	44	1.2k
Alex Roederer United States	3	37 0.2×	88 0.6×	83 0.7×	26 0.2×	56 0.6×	8	912
Lesley A. Ward United States	17	62 0.4×	314 2.2×	35 0.3×	43 0.4×	64 0.7×	49	946
Spyros Potamianos Greece	19	282 1.6×	113 0.8×	313 2.6×	14 0.1×	150 1.5×	50	1.2k
Chenzi Zhang China	15	68 0.4×	23 0.2×	42 0.3×	28 0.3×	87 0.9×	29	673
Yoshiharu Sato Japan	17	131 0.7×	21 0.1×	239 2.0×	51 0.5×	23 0.2×	102	971
Mark Marron United States	13	291 1.7×	154 1.1×	128 1.1×	25 0.2×	217 2.2×	30	848
Xiaofei Tang China	16	80 0.5×	34 0.2×	77 0.6×	11 0.1×	60 0.6×	63	905

Countries citing papers authored by Peter Höfner

Since Specialization

Citations

This map shows the geographic impact of Peter Höfner's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Peter Höfner with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Peter Höfner more than expected).

Fields of papers citing papers by Peter Höfner

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Peter Höfner. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Peter Höfner. The network helps show where Peter Höfner may publish in the future.

Co-authorship network of co-authors of Peter Höfner

This figure shows the co-authorship network connecting the top 25 collaborators of Peter Höfner. A scholar is included among the top collaborators of Peter Höfner based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Peter Höfner. Peter Höfner is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Glabbeek, Rob van, et al.. (2023). A Lean-Congruence Format for EP-Bisimilarity. Electronic Proceedings in Theoretical Computer Science. 387. 59–75. 1 indexed citations

Glabbeek, Rob van, et al.. (2021). Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom. ANU Open Research (Australian National University). 12 indexed citations

Glabbeek, Rob van, et al.. (2021). Enabling Preserving Bisimulation Equivalence. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations

Glabbeek, Rob van & Peter Höfner. (2019). Progress, Justness, and Fairness. ACM Computing Surveys. 52(4). 1–38. 16 indexed citations

Höfner, Peter, Damien Pous, & Georg Struth. (2019). Relational and algebraic methods in computer science. Journal of Logical and Algebraic Methods in Programming. 106. 198–199. 2 indexed citations

Guttmann, Walter, et al.. (2016). Kleene Algebras with Domain.. 2016. 1 indexed citations

Kahl, Wolfram, Timothy G. Griffin, & Peter Höfner. (2015). Relational and algebraic methods in computer science. Journal of Logical and Algebraic Methods in Programming. 84(3). 283–284. 8 indexed citations

Höfner, Peter & Annabelle McIver. (2014). Hopscotch—reaching the target hop by hop. Journal of Logical and Algebraic Methods in Programming. 83(2). 212–224.

Fehnker, Ansgar, et al.. (2013). A process algebra for wireless mesh networks used for modelling, verifying and analysing AODV. arXiv (Cornell University). 4 indexed citations

10.

Höfner, Peter & Bernhard Möller. (2012). Dijkstra, Floyd and Warshall meet Kleene. Formal Aspects of Computing. 24(4-6). 459–476. 25 indexed citations

11.

Höfner, Peter, Ridha Khédri, & Bernhard Möller. (2011). Supplementing Product Families with Behaviour. OPUS (Augsburg University). 5. 245–266. 11 indexed citations

12.

Höfner, Peter, et al.. (2011). Algebraic separation logic. The Journal of Logic and Algebraic Programming. 80(6). 221–247. 9 indexed citations

13.

Höfner, Peter & Georg Struth. (2010). Algebraic notions of nontermination: Omega and divergence in idempotent semirings. The Journal of Logic and Algebraic Programming. 79(8). 794–811. 4 indexed citations

14.

Höfner, Peter, Georg Struth, & Geoff Sutcliffe. (2009). Automated verification of refinement laws. Annals of Mathematics and Artificial Intelligence. 55(1-2). 35–62. 9 indexed citations

15.

Höfner, Peter & Bernhard Möller. (2008). An algebra of hybrid systems. The Journal of Logic and Algebraic Programming. 78(2). 74–97. 11 indexed citations

16.

Höfner, Peter & Georg Struth. (2008). Can Refinement be Automated?. Electronic Notes in Theoretical Computer Science. 201. 197–222. 8 indexed citations

17.

Höfner, Peter & Bernhard Möller. (2007). Algebraic Neighbourhood Logic. The Journal of Logic and Algebraic Programming. 76(1). 35–59. 2 indexed citations

18.

Höfner, Peter, György Seprényi, András Miczák, et al.. (2007). High Mobility Group Box 1 Protein Induction byMycobacterium BovisBCG. Mediators of Inflammation. 2007. 1–8. 8 indexed citations

19.

Höfner, Peter, Ferenc Nagy, Péter L. Lakatos, et al.. (2007). NOD1 gene E266K polymorphism is associated with disease susceptibility but not with disease phenotype or NOD2/CARD15 in Hungarian patients with Crohn's disease. Digestive and Liver Disease. 39(12). 1064–1070. 32 indexed citations

20.

Höfner, Peter, Zsófia Gyulai, László Tiszlavicz, et al.. (2007). Genetic Polymorphisms of NOD1 and IL-8, but not Polymorphisms of TLR4 Genes, Are Associated with Helicobacter pylori-Induced Duodenal Ulcer and Gastritis. Helicobacter. 12(2). 124–131. 60 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact