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: University of Braunschweig 2008 S. 1 - 31
Sofronie-Stokkermans, Viorica
Locality and Subsumption Testing in EL and Some of its ExtensionsFranz Baader; Carsten Lutz; Boris Motik (Hrsg). Proccedings of the 21th International Workshop on Description Logics DL 2008; Dresden, Germany; May 13–16, 2008. Aachen: CEUR/RWTH 2008 S. keine Angaben
Sofronie-Stokkermans, Viorica
Locality and subsumption testing in EL and some of its extensionsCarlos Areces; Robert Goldblatt (Hrsg). Advances in Modal Logic. Rickmansworth: College Publications 2008 S. 315 - 339
Ihlemann, Carsten; Jacobs, Swen; Sofronie-Stokkermans, Viorica
On Local Reasoning in VerificationC. R. Ramakrishnan; Jakob Rehof (Hrsg). Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Berlin: Springer 2008 S. 265 - 281