Oliver Kullmann

22 papers and 343 indexed citations i.

About

Oliver Kullmann has authored 22 papers that have received a total of 343 indexed citations. This includes 17 papers in Computational Theory and Mathematics, 11 papers in Artificial Intelligence and 10 papers in Computer Networks and Communications. The topics of these papers are Distributed Constraint Optimization Problems and Algorithms (10 papers), Logic, Reasoning, and Knowledge (8 papers) and Formal Methods in Verification (7 papers). Oliver Kullmann is often cited by papers focused on Distributed Constraint Optimization Problems and Algorithms (10 papers), Logic, Reasoning, and Knowledge (8 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in United Kingdom, Canada and Germany. Oliver Kullmann's co-authors include Herbert Fleischner, Stefan Szeider, Marijn J. H. Heule and Hunter S. Snevily and has published in prestigious journals such as Communications of the ACM, Theoretical Computer Science and Lecture notes in computer science

In The Last Decade

Rankless by CCL
2025