Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part IGorgan: 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 IIGorgan: 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 SynthesisFundamenta Informaticae. Bd. 173. H. 2-3. Amsterdam: IOS Press 2020 S. 91 - 138
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Inductive Verification and SynthesisChristoph 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 SystemsPascal 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 ExtensionsLogical 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 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