Joachim Posegga
About
Joachim Posegga has authored 21 papers that have received a total of 211 indexed citations.
This includes 7 papers in Artificial Intelligence, 4 papers in Sociology and Political Science and 4 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (3 papers), Logic, programming, and type systems (3 papers) and Peer-to-Peer Network Technologies (3 papers). Joachim Posegga is often cited by papers focused on Formal Methods in Verification (3 papers), Logic, programming, and type systems (3 papers) and Peer-to-Peer Network Technologies (3 papers) and collaborates with scholars based in Germany, United Kingdom and Spain. Joachim Posegga's co-authors include Josep Domingo‐Ferrer, Henrich C. Pöhls, Bernhard Beckert, Reiner Hähnle and Bernhard Steffen and has published in prestigious journals such as Computer Networks, Lecture notes in computer science and The Journal of Logic Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Leonard K. Nash are co-authored with Top fields papers by I. Defée are about Top journals papers by Jacek J. Skrzypek are published in Top fields papers by William J. Song are about Top fields papers by Gregory Clark are about Top journals papers by Matthias Vogelgesang are published in Top countries impacted by papers by David Weiß Top fields papers by Daniel G. Hamilton are about