Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Formale Methoden und Theoretische Informatik

Institut für Informatik / Universität Koblenz

Publikationen
Ergebnisse pro Seite:  10

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