Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part ICham: Springer International Publishing 2020 (Lecture Notes in Computer Science)
Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part IICham: Springer International Publishing 2020 (Lecture Notes in Computer Science)
Sofronie-Stokkermans, Viorica; Peuter, Dennis
Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+Borgwardt, Stefan ; Meyer, Thomas (Hrsg). Proceedings of the 33rd International Workshop on Description Logics (DL 2020). http://ceur-ws.org/Vol-2663/: CEUR-WS.org 2020 S. 1 - 21 (CEUR Workshop Proceedings) paper 18
Sofronie-Stokkermans, Viorica
Parametric Systems: Verification and SynthesisFundamenta Informaticae. Bd. 173. H. 1-2. 2020 S. 91 - 138
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Invariant Synthesis for Parametric Systems.CADE. 2019 S. 385 - 405
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Invariant Synthesis for Parametric Systems.CoRR. Bd. abs/1905.12524. 2019
Sofronie-Stokkermans, Viorica
Parametric Systems: Verification and Synthesis.CoRR. Bd. abs/1910.05208. 2019
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Inductive Verification and Synthesis.LuxLogAI (Student / Workshop Papers). 2018 S. 1 - 8
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory Extensions.Logical Methods in Computer Science. Bd. 14. H. 3. 2018
Bender, Markus; Sofronie-Stokkermans, Viorica
Decision Procedures for Theories of Sets with Measures.CADE. 2017 S. 166 - 184
Christian Blanchette, Jasmin; Fuhs, Carsten; Sofronie-Stokkermans, Viorica et al.
Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371).Dagstuhl Reports. Bd. 7. H. 9. 2017 S. 26 - 46
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory Extensions.CoRR. Bd. abs/1702.06620. 2017
Sofronie-Stokkermans, Viorica
Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ and their Extensions with -ary Roles and Numerical Domains.Fundam. Inform. Bd. 156. H. 3-4. 2017 S. 361 - 411
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.CoRR. Bd. abs/1601.01648. 2016
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory Extensions.IJCAR. 2016 S. 273 - 289
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.FroCos. 2015 S. 186 - 202
Bjørner, Nikolaj; Christian Blanchette, Jasmin; Sofronie-Stokkermans, Viorica et al.
Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381).Dagstuhl Reports. Bd. 5. H. 9. 2015 S. 18 - 37
Paola Bonacina, Maria; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based Reasoning.Logic, Rewriting, and Concurrency. 2015 S. 181 - 204
Paola Bonacina, Maria; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based Reasoning.CoRR. Bd. abs/1502.02535. 2015
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning in Local Theory Extensions and Applications.SYNASC. 2014 S. 34 - 41
Horbach, Matthias; Sofronie-Stokkermans, Viorica
Locality Transfer: From Constrained Axiomatizations to Reachability Predicates.IJCAR. 2014 S. 192 - 207
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems.CADE. 2013 S. 360 - 376
Sofronie-Stokkermans, Viorica
Locality and applications to subsumption testing and interpolation in $\mathcal{EL}$ and some of its extensions.CoRR. Bd. abs/1311.2973. 2013
Sofronie-Stokkermans, Viorica
Locality and Applications to Subsumption Testing in EL and Some of its Extensions.Sci. Ann. Comp. Sci. Bd. 23. H. 2. 2013 S. 251 - 284
Horbach, Matthias; Sofronie-Stokkermans, Viorica
Obtaining Finite Local Theory Axiomatizations via Saturation.FroCos. 2013 S. 198 - 213