Prof. Dr. Viorica Sofronie-Stokkermans
Institut für Informatik, Universität Koblenz
- 0261/287-2780
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
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
Jacobs, Swen; Sofronie-Stokkermans, Viorica
Applications of Hierarchical Reasoning in the Verification of Complex Systems 3Electronic Notes in Theoretical Computer Science. Bd. 174. H. 8. Amsterdam: Elsevier 2007 S. 39 - 54
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten
Automated Reasoning in Some Local Extensions of Ordered StructuresJournal of Multiple-Valued Logic and Soft Computing. Bd. 13. H. 4-6. Philadelphia, PA: Old City Publishing 2007 S. 397 - 414