Peter Höfner

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 43 papers receiving a total of 471 indexed citations (citations by other indexed papers that have themselves been cited), including 19 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 13 papers in Computer Networks and Communications. Recurrent topics in Peter Höfner’s work include Formal Methods in Verification (13 papers), Logic, programming, and type systems (11 papers) and Logic, Reasoning, and Knowledge (9 papers). Peter Höfner is often cited by papers focused on Formal Methods in Verification (13 papers), Logic, programming, and type systems (11 papers) and Logic, Reasoning, and Knowledge (9 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, Rob van Glabbeek, Tamás Takács, Gyula Farkas, Péter L. Lakatos, Ágnes K. Kocsis, Annamária Szabolcs, Wee Lum Tan and Georg Struth and has published in prestigious journals such as ACM Computing Surveys, Scandinavian Journal of Gastroenterology and Mediators of Inflammation.

In The Last Decade

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

Layout:

Gravity: 0.05 Iterations: 100 Initial Temp: 1000 Cooling: 0.99 Min Temp: 1

Fields of papers citing papers by Peter Höfner

Since Specialization

EngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics

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

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).

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Peng He Breakdown of academic impact, for papers by Lian Yang Breakdown of academic impact, for papers by Anja Lisbeth Frederiksen Breakdown of academic impact, for papers by Kazuhiro Kusunose Breakdown of academic impact, for papers by Amanda Rojek Breakdown of academic impact, for papers by Neelima Dhingra Breakdown of academic impact, for papers by Jie Lu Breakdown of academic impact, for papers by Damian Czyżewski