Joachim Posegga

21 papers and 211 indexed citations i.

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.