Prof. Dr. Viorica Sofronie-Stokkermans
Institut für Informatik, Universität Koblenz
- 0261/287-2780
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory ExtensionsLogical Methods in Computer Science. Bd. 14. H. 3. Braunschweig: University of Braunschweig 2018 S. 1 - 41
Sofronie-Stokkermans, Viorica
Working Formal Methods, 2nd International Workshop, FROM 2018, Proceedings. On Symbol Elimination in Theory Extensions and Applicationshttps://fmse.info.uaic.ro/wp-content/uploads/2021/07/proceedings.pdf. 2018 S. 10 - 19
Bender, Markus; Sofronie-Stokkermans, Viorica
Decision Procedures for Theories of Sets with MeasuresLeonardo de Moura (Hrsg). Automated Deduction - CADE-2626th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2017 S. 166 - 184
Blanchette, Jasmin Christian; Fuhs, Carsten; Sofronie-Stokkermans, Viorica et al.
Deduction Beyond First-Order LogicDagstuhl Reports. Bd. 7. H. 9. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017 S. 26 - 46
Sofronie-Stokkermans, Viorica
Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ and their Extensions with n-ary Roles and Numerical DomainsFundamenta Informaticae. Bd. 156. H. 3-4. Amsterdam: IOS Press 2017 S. 361 - 411
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory ExtensionsNicola Olivetti; Ashish Tiwari (Hrsg). Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2016 S. 273 - 289
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid AutomataCarsten Lutz; Silvio Ranise (Hrsg). Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2015 S. 186 - 202
Bjorner, Nikolaj; Blanchette, Jasmin Christian; Sofronie-Stokkermans, Viorica et al.
Information from Deduction: Models and ProofsDagstuhl Reports. Bd. 5. H. 9. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015 S. 18 - 37
Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based ReasoningNarciso Marti-Oliet; Peter Csaba Ölveczky; Carolyn Talcott (Hrsg). Logic, Rewriting, and Concurrency. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2015 S. 181 - 204
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning in Local Theory Extensions and ApplicationsFranz Winkler; Viorel Negru; Tetsuo Ida; Tudor Jebelean; Dana Petcu; Stephen Watt; Daniela Zaharie (Hrsg). Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing SYNASC 2014; 22-25 September 2014; Timisoara, Romania. Los Alamitos, CA: IEEE Computer Society 2014 S. 34 - 41