Prof. Dr. Viorica Sofronie-Stokkermans
Institut für Informatik, Universität Koblenz
- 0261/287-2780
Peuter, Dennis; Marohn, Philipp; Sofronie-Stokkermans, Viorica
Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory).CoRR. Bd. abs/2107.02333. 2021
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
Jandson, Ribeiro S.; Sofronie-Stokkermans, Viorica; Thimm, Matthias
Measuring Disagreement with InterpolantsJesse Davis; Karim Tabia (Hrsg). Scalable Uncertainty Management: 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23–25, 2020, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2020 S. 84 - 97
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
Sofronie-Stokkermans, Viorica
On Symbol Elimination in Theory Extensions and Applicationshttps://fmse.info.uaic.ro/wp-content/uploads/2021/07/proceedings.pdf. 2018 S. 10 - 19