Carsten Ihlemann
Author
Alternate name Carsten Ihlemann
Institution Max Planck Institute for Informatics
Past institutions Max Planck Institute for Informatics, Max Planck Society
H-index: 8
I10-index: 6
Works count: 11
Citations count: 211
On Local Reasoning in Verification
2008 · Carsten Ihlemann, Swen Jacobs, et al. · Tools and Algorithms for Construction and Analysis of Systems
On Hierarchical Reasoning in Combinations of Theories
2010 · Carsten Ihlemann, Viorica Sofronie-Stokkermans · Lecture notes in computer science
Automated Reasoning in Some Local Extensions of Ordered Structures
2007 · Viorica Sofronie-Stokkermans, Carsten Ihlemann · Proceedings/Proceedings - International Symposium on Multiple-Valued Logic