Stefan Edelkamp

79 papers and 728 indexed citations i.

Stefan Edelkamp has authored 79 papers that have received a total of 728 indexed citations. This includes 46 papers in Artificial Intelligence, 22 papers in Computer Networks and Communications and 22 papers in Computational Theory and Mathematics. The topics of these papers are AI-based Problem Solving and Planning (20 papers), Formal Methods in Verification (17 papers) and Algorithms and Data Compression (13 papers). Stefan Edelkamp is often cited by papers focused on AI-based Problem Solving and Planning (20 papers), Formal Methods in Verification (17 papers) and Algorithms and Data Compression (13 papers) and collaborates with scholars based in Germany, United States and United Kingdom. Stefan Edelkamp's co-authors include Peter Kissmann, Alberto Lluch Lafuente, Erion Plaku, Stefan Leue and Jyrki Katajainen and has published in prestigious journals such as Artificial Intelligence, IEEE Transactions on Intelligent Transportation Systems and Journal of Artificial Intelligence Research.