| 2026 | IJCAR | On Constructing Most General Solutions for Parametric Constraints. | Viorica Sofronie-Stokkermans |
| 2025 | CADE | On Symbol Elimination and Uniform Interpolation in Theory Extensions. | Viorica Sofronie-Stokkermans |
| 2024 | VMCAI | On the Verification of the Correctness of a Subgraph Construction Algorithm. | Lucas Bltz, Viorica Sofronie-Stokkermans, Hannes Frey |
| 2023 | CADE | On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics | Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert |
| 2021 | KR | On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper). | Lucas Bltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans |
| 2021 | KR | SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper). | Philipp Marohn, Viorica Sofronie-Stokkermans |
| 2021 | KR | Symbol Elimination and Applications to Parametric Entailment Problems (Abstract). | Dennis Peuter, Viorica Sofronie-Stokkermans |
| 2019 | CADE | On Invariant Synthesis for Parametric Systems. | Dennis Peuter, Viorica Sofronie-Stokkermans |
| 2017 | CADE | Decision Procedures for Theories of Sets with Measures. | Markus Bender, Viorica Sofronie-Stokkermans |
| 2016 | CADE | On Interpolation and Symbol Elimination in Theory Extensions. | Viorica Sofronie-Stokkermans |
| 2014 | CADE | Locality Transfer: From Constrained Axiomatizations to Reachability Predicates. | Matthias Horbach, Viorica Sofronie-Stokkermans |
| 2014 | SYNASC | Hierarchical Reasoning in Local Theory Extensions and Applications. | Viorica Sofronie-Stokkermans |
| 2013 | CADE | Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems. | Viorica Sofronie-Stokkermans |
| 2010 | CADE | On Hierarchical Reasoning in Combinations of Theories. | Carsten Ihlemann, Viorica Sofronie-Stokkermans |
| 2010 | CADE | Hierarchical Reasoning for the Verification of Parametric Systems. | Viorica Sofronie-Stokkermans |
| 2010 | IFM | Automatic Verification of Parametric Specifications with Complex Topologies. | Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans |
| 2009 | CADE | System Description: H-PILoT. | Carsten Ihlemann, Viorica Sofronie-Stokkermans |
| 2009 | CADE | Locality Results for Certain Extensions of Theories with Bridging Functions. | Viorica Sofronie-Stokkermans |
| 2008 | AiML | Locality and subsumption testing in EL and some of its extensions. | Viorica Sofronie-Stokkermans |
| 2008 | KI | Efficient Hierarchical Reasoning about Functions over Numerical Domains. | Viorica Sofronie-Stokkermans |
| 2008 | TACAS | On Local Reasoning in Verification. | Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans |
| 2007 | IFM | Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. | Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans |
| 2007 | VMCAI | Constraint Solving for Interpolation. | Andrey Rybalchenko, Viorica Sofronie-Stokkermans |
| 2006 | CADE | Interpolation in Local Theory Extensions. | Viorica Sofronie-Stokkermans |
| 2005 | CADE | Hierarchic Reasoning in Local Theory Extensions. | Viorica Sofronie-Stokkermans |
| 2004 | CADE | Modular Proof Systems for Partial Functions with Weak Equality. | Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann |
| 2002 | TABLEAUX | On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. | Viorica Sofronie-Stokkermans |
| 2000 | CADE | On Unification for Bonded Distributive Lattices. | Viorica Sofronie-Stokkermans |
| 1999 | CADE | On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results. | Viorica Sofronie-Stokkermans |
| 1999 | FCT | Modeling Interaction by Sheaves and Geometric Logic. | Viorica Sofronie-Stokkermans, Karel Stokkermans |
| 1998 | ECAI | On Translation of Finitely-Valued Logics to Classical First-Order Logic. | Viorica Sofronie-Stokkermans |