Viorica Sofronie-Stokkermans - Publikationen

Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I
Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2020 (Lecture Notes in Computer Science ; 12166)

Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2020 (Lecture Notes in Computer Science ; 12167)

Sofronie-Stokkermans, Viorica; Peuter, Dennis
Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+
Stefan Borgwardt; Thomas Meyer (Hrsg). Proceedings of the 33rd International Workshop on Description Logics DL 2020 co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning KR 2020; Online, September 12th to 14th, 2020. Aachen: CEUR/RWTH 2020 S. 1 - 21 (CEUR Workshop Proceedings) paper 18

Sofronie-Stokkermans, Viorica
Parametric Systems: Verification and Synthesis
Fundamenta Informaticae. Bd. 173. H. 2-3. Amsterdam: IOS Press 2020 S. 91 - 138

Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Inductive Verification and Synthesis
Christoph Benzmüller; Xavier Parent; Alexander Steen (Hrsg). Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Manchester: EasyChair 2019 S. 1 - 8

Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Invariant Synthesis for Parametric Systems
Pascal Fontaine (Hrsg). Automated Deduction - CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 385 - 405

Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory Extensions
Logical Methods in Computer Science. Bd. 14. H. 3. Braunschweig: University of Braunschweig 2018 S. 1 - 41

Bender, Markus; Sofronie-Stokkermans, Viorica
Decision Procedures for Theories of Sets with Measures
Leonardo 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 Logic
Dagstuhl 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 Domains
Fundamenta Informaticae. Bd. 156. H. 3-4. Amsterdam: IOS Press 2017 S. 361 - 411

Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory Extensions
Nicola 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 Automata
Carsten 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 Proofs
Dagstuhl 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 Reasoning
Narciso 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 Applications
Franz 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

Horbach, Matthias; Sofronie-Stokkermans, Viorica
Locality Transfer: From Constrained Axiomatizations to Reachability Predicates
Stéphane Demri; Deepak Kapur; Christoph Weidenbach (Hrsg). Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 192 - 207

Sofronie-Stokkermans, Viorica
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems
Maria Paola Bonacina (Hrsg). Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Berlin: Springer 2013 S. 360 - 376

Sofronie-Stokkermans, Viorica
Locality and Applications to Subsumption Testing in EL and Some of its Extensions
Scientific Annals of Computer Science. Bd. 23. H. 2. Iasi: Alexandru Ioan Cuza University of Iasi 2013 S. 251 - 284

Horbach, Matthias; Sofronie-Stokkermans, Viorica
Obtaining Finite Local Theory Axiomatizations via Saturation
Pascal Fontaine; Christophe Ringeissen; Renate A. Schmidt (Hrsg). Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Berlin: Springer 2013 S. 198 - 213

Sofronie-Stokkermans, Viorica
On Combinations of Local Theory Extensions
Andrei Voronkov; Christoph Weidenbach (Hrsg). Programming Logics: Essays in Memory of Harald Ganzinger. Berlin: Springer 2013 S. 392 - 413

Bjørner, Nikolaj; Sofronie-Stokkermans, Viorica
Preface: Special Issue of Selected Extended Papers of CADE-23
Journal of Automated Reasoning. Bd. 51. H. 1. Dordrecht: Springer 2013 S. 1 - 2

Peltier, Nicolas; Sofronie-Stokkermans, Viorica
First-order Theorem Proving: Foreword
Journal of Symbolic Computation. Bd. 47. H. 9. Amsterdam: Elsevier 2012 S. 1009 - 1010

Bjørner, Nikolaj; Sofronie-Stokkermans, Viorica
Automated Deduction - CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings
Berlin: Springer 2011

Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
Decidability and Complexity for the Verification of Safety Properties of Reasonable Linear Hybrid Automata
Emilio Frazzoli; Radu Grosu (Hrsg). Proceedings of the 2011 ACM/SIGBED: Hybrid Systems: Computation and Control HSCC 2001; April 12–14, 2011; Chicago, Illinois, USA. New York, NY: ACM Association for Computing Machinery 2011 S. 73 - 82

Gasse, Francis; Sofronie-Stokkermans, Viorica
Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0
Riccardo Rosati; Sebastian Rudolph; Michael Zakharyaschev (Hrsg). Proccedings of the 24th International Workshop on Description Logics DL 2011; Barcelona, Spain; July 13-16, 2011. Aachen: CEUR/RWTH 2011 S. 125 - 135

Tinelli, Cesare; Sofronie-Stokkermans, Viorica
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Berlin: Springer 2011

Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata
Mathematics in Computer Science. Bd. 5. H. 4. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2011 S. 469 - 497

Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex Topologies
Dominique Méry; Stephan Merz (Hrsg). Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Berlin: Springer 2010 S. 152 - 167

Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Constraint solving for interpolation
Journal of Symbolic Computation. Bd. 45. H. 11. Amsterdam: Elsevier 2010 S. 1212 - 1233

Sofronie-Stokkermans, Viorica
Hierarchical Reasoning for the Verification of Parametric Systems
Jü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. 171 - 187

Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
On Hierarchical Reasoning in Combinations of Theories
Jü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

Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009.
CEUR-WS.org 2010

Ghilardi, Silvio; Sofronie-Stokkermans, Viorica; Sattler, Ulrike et al.
Special issue on automated deduction: Decidability, complexity, tractability
Journal 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 homomorphisms
Thomas 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 Functions
Renate 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 Systems
Electronic Notes in Theoretical Computer Science. Bd. 230. Amsterdam: Elsevier 2009 S. 161 - 187

Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
System Description: H-PILoT
Renate 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 Domains
Andreas 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 Extensions
Logical 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 Extensions
Franz 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 extensions
Carlos 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 Verification
C. 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 3
Electronic 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 Structures
Journal of Multiple-Valued Logic and Soft Computing. Bd. 13. H. 4-6. Philadelphia, PA: Old City Publishing 2007 S. 397 - 414

Sofronie-Stokkermans, Viorica; Ihlemann, Carsten
Automated Reasoning in Some Local Extensions of Ordered Structures
Yngvar 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 logics
Annals of Mathematics and Artificial Intelligence. Bd. 49. H. 1-4. Dordrecht: Springer 2007 S. 221 - 252

Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Constraint Solving for Interpolation
Byron 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 Extensions
Boris 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 Verification
Franz 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 lattices
ACM 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 Parameters
Jim 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 Extensions
Ulrich 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 equality
Information and Computation. Bd. 204. H. 10. Amsterdam: Elsevier 2006 S. 1453 - 1492

Sofronie-Stokkermans, Viorica
Hierarchic Reasoning in Local Theory Extensions
Robert 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

Ganzinger, Harald; Sofronie-Stokkermans, Viorica; Waldmann, Uwe
Modular Proof Systems for Partial Functions with Weak Equality
David Basin; Michaël Rusinowitch (Hrsg). Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Berlin: Springer 2004 S. 168 - 182

Sofronie-Stokkermans, Viorica
Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras
Ali Sheikholeslami; P. Glenn Gulak (Hrsg). Proceedings of the 34th International Symposium on Multiple-Valued Logic ISMVL 2004; May 19 – 22, 2004; University of Toronto, Toronto, Canada. Los Alamitos, CA: IEEE Computer Society 2004 S. 32 - 37

Sofronie-Stokkermans, Viorica
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
Journal of Symbolic Computation. Bd. 36. H. 6. Amsterdam: Elsevier 2003 S. 891 - 924

Sofronie-Stokkermans, Viorica
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices
Uwe Egly; Chritian G. Fermüller (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings. Berlin: Springer 2002 S. 235 - 250

Sofronie-Stokkermans, Viorica
Representation Theorems and the Semantics of (Semi)Lattice-Based Logics
Beata Konikowska; Bogusław Martyniak; Ewa Gąsiorowska-Wirpszo; Andrzej Szałas (Hrsg). Proceedings of the 31st IEEE International Symposium on Muliple-Valued Logic ISMVL 2001; 22-24 May 2001; Warsaw, Poland. Los Alamitos, CA: IEEE Computer Society 2001 S. 125 - 134

Ganzinger, Harald; Sofronie-Stokkermans, Viorica
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
Marek Perkowski (Hrsg). Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic ISMVL 2000; May 23-25, 2000; Portland, Oregon, USA. Los Alamitos, CA: IEEE Computer Society 2000 S. 337 - 344

Sofronie-Stokkermans, Viorica
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I
Studia Logica. Bd. 64. H. 1. Dordrecht: Springer 2000 S. 93 - 132

Sofronie-Stokkermans, Viorica
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II
Studia Logica. Bd. 64. H. 2. Dordrecht: Springer 2000 S. 151 - 172

Sofronie-Stokkermans, Viorica
On Unification for Bonded Distributive Lattices
David McAllester (Hrsg). Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings. Berlin: Springer 2000 S. 465 - 481

Sofronie-Stokkermans, Viorica
Resolution-Based Theorem Proving for SHn-Logics
Ricardo Caferra; Gernot Salzer (Hrsg). Automated Deduction in Classical and Non-Classical Logics: Selected Papers. Berlin: Springer 2000 S. 267 - 281

Sofronie-Stokkermans, Viorica; Stokkermans, Karel
Modeling interaction by sheaves and geometric logic
Gabriel Ciobanu; Gheorghe Păun (Hrsg). Fundamentals of Computation Theory: 12th International Symposium, FCT’99 Iaşi, Romania, August 30 - September 3, 1999 Proceedings. Berlin: Springer 1999 S. 512 - 523

Sofronie-Stokkermans, Viorica
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
Harald Ganzinger (Hrsg). Automated Deduction - CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Berlin: Springer 1999 S. 157 - 171

Sofronie-Stokkermans, Viorica
Representation Theorems and Theorem Proving in Non-Classical Logics
Rolf Drechsler; Bernd Becker (Hrsg). Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic ISMVL 1999; 20. - 22. May, 1999; Freiburg im Breisgau. Los Alamitos, CA: IEEE Computer Society 1999 S. 242 - 247

Sofronie-Stokkermans, Viorica
On Translation of Finitely-Valued Logics to Classical First-Order Logic
Henri Prade (Hrsg). Proceeding of the 13th European Conference on Artificial Intelligence ECAI 98 August 23-28, Brighton, UK. Chichester: Wiley 1998 S. 410 - 411

Sofronie, Viorica
Towards a sheaf semantics for cooperating agents scenarios
Jacques Calmet; John A. Campbell; Jochen Pfalzgraf (Hrsg). Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings. Berlin: Springer 1996 S. 289 - 304

Sofronie, Viorica
Formula-handling computer solution of Boolean equations, I. Ring equations
Bulletin of the European Association for Theoretical Computer Science. Bd. 37. Antwerpen: EATCS 1989 S. 181 - 185

Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex Topologies
CoRR.  S. 1 - 16

Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
CoRR.  S. 1 - 50

Sofronie-Stokkermans, Viorica
Interpolation in local theory extensions
CoRR.  S. 1 - 31

Sofronie-Stokkermans, Viorica
Locality and applications to subsumption testing and interpolation in EL and some of its extensions
CoRR.  S. 1 - 42

Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based Reasoning
CoRR.  S. 1 - 24

Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory Extensions
CoRR.  S. 1 - 41

Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Invariant Synthesis for Parametric Systems
CoRR.  S. 1 - 33

Sofronie-Stokkermans, Viorica
Parametric Systems: Verification and Synthesis
CoRR.  S. 1 - 39

Sofronie-Stokkermans, Viorica
Sheaves and geometric logic and applications to the modular verification of complex systems
CoRR.  S. 1 - 30

Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
System Description: H-PILoT (Version 1.9)
CoRR.  S. 1 - 43