Bjørner, Nikolaj; Sofronie-Stokkermans, Viorica
Preface: Special Issue of Selected Extended Papers of CADE-23Journal of Automated Reasoning. Bd. 51. H. 1. Dordrecht: Springer 2013 S. 1 - 2
Peltier, Nicolas; Sofronie-Stokkermans, Viorica
First-order Theorem Proving: ForewordJournal 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. ProceedingsBerlin: Springer 2011
Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
Decidability and Complexity for the Verification of Safety Properties of Reasonable Linear Hybrid AutomataEmilio 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) FL0Riccardo 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. ProceedingsBerlin: Springer 2011
Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid AutomataMathematics 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 TopologiesDominique 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 interpolationJournal of Symbolic Computation. Bd. 45. H. 11. Amsterdam: Elsevier 2010 S. 1212 - 1233
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning for the Verification of Parametric SystemsJü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