Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
On Hierarchical Reasoning in Combinations of TheoriesJürgen Giesl; Reiner Hähnle (Hrsg). Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin: Springer 2010 S. 30 - 45
Ghilardi, Silvio; Sofronie-Stokkermans, Viorica; Sattler, Ulrike et al.
Special issue on automated deduction: Decidability, complexity, tractabilityJournal of Symbolic Computation. Bd. 45. H. 2. Amsterdam: Elsevier 2010 S. 151 - 152
Sofronie-Stokkermans, Viorica
Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphismsThomas Ball; Jürgen Giesl; Reiner Hähnle; Tobias Nipkow (Hrsg). Interaction versus Automation: The two Faces of Deduction - Dagstuhl Seminar 09411: 04.10. - 09.10.2009; Schloß Dagstuhl. Wadern: Schloss Dagstuhl, Leibniz-Zentrum für Informatik 2009 S. 1 - 33
Sofronie-Stokkermans, Viorica
Locality Results for Certain Extensions of Theories with Bridging FunctionsRenate A. Schmidt (Hrsg). Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Berlin: Springer 2009 S. 67 - 83
Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Preface.FTP. 2009
Sofronie-Stokkermans, Viorica
Sheaves and Geometric Logic and Applications to Modular Verification of Complex SystemsElectronic Notes in Theoretical Computer Science. Bd. 230. Amsterdam: Elsevier 2009 S. 161 - 187
Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
System Description: H-PILoTRenate A. Schmidt (Hrsg). Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Berlin: Springer 2009 S. 131 - 139
Sofronie-Stokkermans, Viorica
Efficient Hierarchical Reasoning about Functions over Numerical DomainsAndreas R. Dengel; Karsten Berns; Thomas M. Breuel; Frank Bomarius; Thomas R. Roth-Berghofer (Hrsg). KI 2008: Advances in Artificial Intelligence: 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings. Berlin: Springer 2008 S. 135 - 143
Sofronie-Stokkermans, Viorica
Interpolation in Local Theory ExtensionsLogical Methods in Computer Science. Bd. 4. H. 4. Braunschweig: Department of Theoretical Computer Science, Technical University of Braunschweig 2008 S. 1 - 31