default search action
Viorica Sofronie-Stokkermans
Viorica Sofronie
Person information
- affiliation: University of Koblenz, Germany
- affiliation (former): University Koblenz-Landau, Koblenz, Germany
- affiliation (former): Max Planck Institute for Informatics, Saarbrücken, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c51]Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey:
On the Verification of the Correctness of a Subgraph Construction Algorithm. VMCAI (1) 2024: 303-325 - 2023
- [c50]Dennis Peuter, Viorica Sofronie-Stokkermans
, Sebastian Thunert:
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics Eℒ, Eℒ+. CADE 2023: 419-437 - [i19]Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert:
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics 𝓔𝓛, 𝓔𝓛+. CoRR abs/2307.08843 (2023) - [i18]Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans:
On the Verification of Parametric Systems. CoRR abs/2310.18069 (2023) - [i17]Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey:
On the Verification of the Correctness of a Subgraph Construction Algorithm. CoRR abs/2311.17860 (2023) - 2022
- [j19]Nicolas Peltier, Viorica Sofronie-Stokkermans:
Special Issue of Selected Extended Papers of IJCAR 2020. J. Autom. Reason. 66(3): 275-276 (2022) - 2021
- [c49]Dennis Peuter, Viorica Sofronie-Stokkermans:
Symbol Elimination and Applications to Parametric Entailment Problems. FroCoS 2021: 43-62 - [c48]Lucas Böltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans:
On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper). SOQE@KR 2021: 37-45 - [c47]Philipp Marohn, Viorica Sofronie-Stokkermans:
SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper). SOQE@KR 2021: 75-82 - [c46]Dennis Peuter, Viorica Sofronie-Stokkermans:
Symbol Elimination and Applications to Parametric Entailment Problems (Abstract). SOQE@KR 2021: 83-91 - [i16]Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans:
Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory). CoRR abs/2107.02333 (2021) - 2020
- [j18]Viorica Sofronie-Stokkermans:
Parametric Systems: Verification and Synthesis. Fundam. Informaticae 173(2-3): 91-138 (2020) - [c45]Dennis Peuter, Viorica Sofronie-Stokkermans:
Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+. Description Logics 2020 - [c44]Jandson S. Ribeiro
Measuring Disagreement with Interpolants. SUM 2020: 84-97 - [e5]Nicolas Peltier, Viorica Sofronie-Stokkermans:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I. Lecture Notes in Computer Science 12166, Springer 2020, ISBN 978-3-030-51073-2 [contents] - [e4]Nicolas Peltier, Viorica Sofronie-Stokkermans:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12167, Springer 2020, ISBN 978-3-030-51053-4 [contents]
2010 – 2019
- 2019
- [c43]Dennis Peuter, Viorica Sofronie-Stokkermans:
On Invariant Synthesis for Parametric Systems. CADE 2019: 385-405 - [i15]Dennis Peuter, Viorica Sofronie-Stokkermans:
On Invariant Synthesis for Parametric Systems. CoRR abs/1905.12524 (2019) - [i14]Viorica Sofronie-Stokkermans:
Parametric Systems: Verification and Synthesis. CoRR abs/1910.05208 (2019) - 2018
- [j17]Viorica Sofronie-Stokkermans:
On Interpolation and Symbol Elimination in Theory Extensions. Log. Methods Comput. Sci. 14(3) (2018) - [c42]Dennis Peuter, Viorica Sofronie-Stokkermans:
On Inductive Verification and Synthesis. LuxLogAI (Student / Workshop Papers) 2018: 1-8 - 2017
- [j16]Viorica Sofronie-Stokkermans:
Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ and their Extensions with n-ary Roles and Numerical Domains. Fundam. Informaticae 156(3-4): 361-411 (2017) - [c41]Markus Bender, Viorica Sofronie-Stokkermans:
Decision Procedures for Theories of Sets with Measures. CADE 2017: 166-184 - [i13]Viorica Sofronie-Stokkermans:
On Interpolation and Symbol Elimination in Theory Extensions. CoRR abs/1702.06620 (2017) - [i12]Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, Cesare Tinelli:
Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371). Dagstuhl Reports 7(9): 26-46 (2017) - 2016
- [c40]Viorica Sofronie-Stokkermans:
On Interpolation and Symbol Elimination in Theory Extensions. IJCAR 2016: 273-289 - [i11]Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans:
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. CoRR abs/1601.01648 (2016) - 2015
- [c39]Maria Paola Bonacina
On First-Order Model-Based Reasoning. Logic, Rewriting, and Concurrency 2015: 181-204 - [c38]Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans:
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. FroCos 2015: 186-202 - [i10]Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans:
On First-Order Model-Based Reasoning. CoRR abs/1502.02535 (2015) - [i9]Nikolaj S. Bjørner, Jasmin Christian Blanchette, Viorica Sofronie-Stokkermans, Christoph Weidenbach:
Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381). Dagstuhl Reports 5(9): 18-37 (2015) - 2014
- [c37]Matthias Horbach, Viorica Sofronie-Stokkermans:
Locality Transfer: From Constrained Axiomatizations to Reachability Predicates. IJCAR 2014: 192-207 - [c36]Viorica Sofronie-Stokkermans:
Hierarchical Reasoning in Local Theory Extensions and Applications. SYNASC 2014: 34-41 - 2013
- [j15]Viorica Sofronie-Stokkermans:
Locality and Applications to Subsumption Testing in EL and Some of its Extensions. Sci. Ann. Comput. Sci. 23(2): 251-284 (2013) - [j14]Nikolaj S. Bjørner, Viorica Sofronie-Stokkermans:
Preface: Special Issue of Selected Extended Papers of CADE-23. J. Autom. Reason. 51(1): 1-2 (2013) - [c35]Viorica Sofronie-Stokkermans:
On Combinations of Local Theory Extensions. Programming Logics 2013: 392-413 - [c34]Viorica Sofronie-Stokkermans:
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems. CADE 2013: 360-376 - [c33]Matthias Horbach, Viorica Sofronie-Stokkermans:
Obtaining Finite Local Theory Axiomatizations via Saturation. FroCos 2013: 198-213 - [i8]Viorica Sofronie-Stokkermans:
Locality and applications to subsumption testing and interpolation in $\mathcal{EL}$ and some of its extensions. CoRR abs/1311.2973 (2013) - 2012
- [j13]Nicolas Peltier, Viorica Sofronie-Stokkermans:
First-order theorem proving: Foreword. J. Symb. Comput. 47(9): 1009-1010 (2012) - 2011
- [j12]Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans:
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata. Math. Comput. Sci. 5(4): 469-497 (2011) - [c32]Francis Gasse, Viorica Sofronie-Stokkermans:
Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0. Description Logics 2011 - [c31]Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans:
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. HSCC 2011: 73-82 - [e3]Nikolaj S. Bjørner, Viorica Sofronie-Stokkermans:
Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings. Lecture Notes in Computer Science 6803, Springer 2011, ISBN 978-3-642-22437-9 [contents] - [e2]Cesare Tinelli
Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings. Lecture Notes in Computer Science 6989, Springer 2011, ISBN 978-3-642-24363-9 [contents] - 2010
- [j11]Silvio Ghilardi
Special issue on automated deduction: Decidability, complexity, tractability. J. Symb. Comput. 45(2): 151-152 (2010) - [j10]Andrey Rybalchenko, Viorica Sofronie-Stokkermans:
Constraint solving for interpolation. J. Symb. Comput. 45(11): 1212-1233 (2010) - [c30]Carsten Ihlemann, Viorica Sofronie-Stokkermans:
On Hierarchical Reasoning in Combinations of Theories. IJCAR 2010: 30-45 - [c29]Viorica Sofronie-Stokkermans:
Hierarchical Reasoning for the Verification of Parametric Systems. IJCAR 2010: 171-187 - [c28]Johannes Faber, Carsten Ihlemann, Swen Jacobs
Automatic Verification of Parametric Specifications with Complex Topologies. IFM 2010: 152-167 - [e1]Nicolas Peltier, Viorica Sofronie-Stokkermans:
Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009. CEUR Workshop Proceedings 556, CEUR-WS.org 2010 [contents] - [i7]Carsten Ihlemann, Viorica Sofronie-Stokkermans:
System Description: H-PILoT (Version 1.9). CoRR abs/1009.0673 (2010) - [i6]Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans:
Automatic Verification of Parametric Specifications with Complex Topologies. CoRR abs/1010.1602 (2010)
2000 – 2009
- 2009
- [c27]Viorica Sofronie-Stokkermans:
Locality Results for Certain Extensions of Theories with Bridging Functions. CADE 2009: 67-83 - [c26]Carsten Ihlemann, Viorica Sofronie-Stokkermans:
System Description: H-PILoT. CADE 2009: 131-139 - [c25]Nicolas Peltier, Viorica Sofronie-Stokkermans:
Preface. FTP 2009 - [i5]Viorica Sofronie-Stokkermans:
Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms. Interaction versus Automation: The two Faces of Deduction 2009 - 2008
- [j9]Viorica Sofronie-Stokkermans:
Interpolation in Local Theory Extensions. Log. Methods Comput. Sci. 4(4) (2008) - [c24]Viorica Sofronie-Stokkermans:
Locality and subsumption testing in EL and some of its extensions. Advances in Modal Logic 2008: 315-339 - [c23]Viorica Sofronie-Stokkermans:
Locality and Subsumption Testing in EL and Some of its Extensions. Description Logics 2008 - [c22]Viorica Sofronie-Stokkermans:
Efficient Hierarchical Reasoning about Functions over Numerical Domains. KI 2008: 135-143 - [c21]Carsten Ihlemann, Swen Jacobs
On Local Reasoning in Verification. TACAS 2008: 265-281 - [i4]Viorica Sofronie-Stokkermans:
Interpolation in local theory extensions. CoRR abs/0806.4553 (2008) - [i3]Viorica Sofronie-Stokkermans:
On combinations of local theory extensions. CoRR abs/0810.2653 (2008) - [i2]Viorica Sofronie-Stokkermans:
Sheaves and geometric logic and applications to the modular verification of complex systems. CoRR abs/0810.2877 (2008) - 2007
- [j8]Viorica Sofronie-Stokkermans:
Automated theorem proving by resolution in non-classical logics. Ann. Math. Artif. Intell. 49(1-4): 221-252 (2007) - [j7]Viorica Sofronie-Stokkermans, Carsten Ihlemann:
Automated Reasoning in Some Local Extensions of Ordered Structures. J. Multiple Valued Log. Soft Comput. 13(4-6): 397-414 (2007) - [j6]Viorica Sofronie-Stokkermans:
On unification for bounded distributive lattices. ACM Trans. Comput. Log. 8(2): 12 (2007) - [c20]Viorica Sofronie-Stokkermans:
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions. FroCoS 2007: 47-71 - [c19]Johannes Faber, Swen Jacobs
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. IFM 2007: 233-252 - [c18]Viorica Sofronie-Stokkermans, Carsten Ihlemann:
Automated Reasoning in Some Local Extensions of Ordered Structures. ISMVL 2007: 1 - [c17]Andrey Rybalchenko, Viorica Sofronie-Stokkermans:
Constraint Solving for Interpolation. VMCAI 2007: 346-362 - [i1]Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs:
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. Deduction and Decision Procedures 2007 - 2006
- [j5]Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann:
Modular proof systems for partial functions with Evans equality. Inf. Comput. 204(10): 1453-1492 (2006) - [c16]Viorica Sofronie-Stokkermans:
Interpolation in Local Theory Extensions. IJCAR 2006: 235-250 - [c15]Swen Jacobs
Applications of Hierarchical Reasoning in the Verification of Complex Systems. PDPAR/PaUL@FLoC 2006: 39-54 - [c14]Viorica Sofronie-Stokkermans:
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems. GETCO 2006: 161-187 - 2005
- [c13]Viorica Sofronie-Stokkermans:
Hierarchic Reasoning in Local Theory Extensions. CADE 2005: 219-234 - 2004
- [c12]Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann:
Modular Proof Systems for Partial Functions with Weak Equality. IJCAR 2004: 168-182 - [c11]Viorica Sofronie-Stokkermans:
Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras. ISMVL 2004: 32-37 - 2003
- [j4]Viorica Sofronie-Stokkermans:
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators. J. Symb. Comput. 36(6): 891-924 (2003) - 2002
- [c10]Viorica Sofronie-Stokkermans:
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. TABLEAUX 2002: 235-250 - 2001
- [c9]Viorica Sofronie-Stokkermans:
Representation Theorems and the Semantics of (Semi)Lattice-Based Logics. ISMVL 2001: 125-136 - 2000
- [j3]Viorica Sofronie-Stokkermans:
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I. Stud Logica 64(1): 93-132 (2000) - [j2]Viorica Sofronie-Stokkermans:
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II. Stud Logica 64(2): 151-172 (2000) - [c8]Viorica Sofronie-Stokkermans:
On Unification for Bonded Distributive Lattices. CADE 2000: 465-481 - [c7]Harald Ganzinger, Viorica Sofronie-Stokkermans:
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics. ISMVL 2000: 337-344
1990 – 1999
- 1999
- [c6]Viorica Sofronie-Stokkermans:
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results. CADE 1999: 157-171 - [c5]Viorica Sofronie-Stokkermans, Karel Stokkermans:
Modeling Interaction by Sheaves and Geometric Logic. FCT 1999: 512-523 - [c4]Viorica Sofronie-Stokkermans:
Representation Theorems and Theorem Proving in Non-Classical Logics. ISMVL 1999: 242-247 - 1998
- [c3]Viorica Sofronie-Stokkermans:
On Translation of Finitely-Valued Logics to Classical First-Order Logic. ECAI 1998: 410-411 - [c2]Viorica Sofronie-Stokkermans:
Resolution-Based Theorem Proving for SHn-Logics. FTP (LNCS Selection) 1998: 267-281 - 1996
- [c1]Viorica Sofronie:
Towards a Sheaf Semantics for Cooperating Agents Scenarios. AISMC 1996: 289-304
1980 – 1989
- 1989
- [j1]Viorica Sofronie:
Formula-handling computer solution of Boolean equations, I. Ring equations. Bull. EATCS 37: 181-185 (1989)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-07 19:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: