Prof. Dr. Viorica Sofronie-Stokkermans
Institut für Informatik, Universität Koblenz
- 0261/287-2780
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten
Automated Reasoning in Some Local Extensions of Ordered StructuresYngvar Berg; Omid Mirmotahari (Hrsg). Proceedings of the 37th International Symposium on Multiple-Valued Logic ISMVL 2007; May 13 – 26, 2007; Oslo, Norway. Los Alamitos, CA: IEEE Computer Society 2007 S. 1
Sofronie-Stokkermans, Viorica
Automated theorem proving by resolution in non-classical logicsAnnals of Mathematics and Artificial Intelligence. Bd. 49. H. 1-4. Dordrecht: Springer 2007 S. 221 - 252
Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Constraint Solving for InterpolationByron Cook; Andreas Podelski (Hrsg). Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings. Berlin: Springer 2007 S. 346 - 362
Sofronie-Stokkermans, Viorica
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory ExtensionsBoris Konev; Frank Wolter (Hrsg). Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings. Berlin: Springer 2007 S. 47 - 71
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten; Jacobs, Swen
Local Theory Extensions, Hierarchical Reasoning and Applications to VerificationFranz Baader; Byron Cook; Jürgen Giesl; Robert Nieuwenhuis (Hrsg). Deduction and Decision Procedures - Dagstuhl Seminar 07401: 30.09. - 05.10.2007; Schloß Dagstuhl. Wadern: Schloss Dagstuhl, Leibniz-Zentrum für Informatik 2007 S. 1 - 22
Sofronie-Stokkermans, Viorica
On unification for bounded distributive latticesACM Transactions on Computational Logic. Bd. 8. H. 2. New York, NY: ACM Association for Computing Machinery 2007 S. 12
Faber, Johannes; Jacobs, Swen; Sofronie-Stokkermans, Viorica
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing ParametersJim Davies; Jeremy Gibbons (Hrsg). Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings. Berlin: Springer 2007 S. 233 - 252
Sofronie-Stokkermans, Viorica
Interpolation in Local Theory ExtensionsUlrich Furbach; Natarajan Shankar (Hrsg). Automated Reasoning: Third International Joint Conference, IJCAR 2006; Seattle, WA, USA; August 17-20, 2006. Proceedings. Berlin: Springer 2006 S. 235 - 250
Ganzinger, Harald; Sofronie-Stokkermans, Viorica; Waldmann, Uwe
Modular proof systems for partial functions with Evans equalityInformation and Computation. Bd. 204. H. 10. Amsterdam: Elsevier 2006 S. 1453 - 1492
Sofronie-Stokkermans, Viorica
Hierarchic Reasoning in Local Theory ExtensionsRobert Nieuwenhuis (Hrsg). Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings. Berlin: Springer 2005 S. 219 - 234