Formula-handling computer solution of Boolean equations, I. Ring equations. - Viorica Sofronie (Bull. EATCS, 1989)

Towards a Sheaf Semantics for Cooperating Agents Scenarios. - Viorica Sofronie (AISMC, 1996)

On Translation of Finitely-Valued Logics to Classical First-Order Logic. - Viorica Sofronie-Stokkermans (ECAI, 1998)

Resolution-Based Theorem Proving for SHn-Logics. - Viorica Sofronie-Stokkermans (FTP (LNCS Selection), 1998)

On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results. - Viorica Sofronie-Stokkermans (CADE, 1999)

Modeling Interaction by Sheaves and Geometric Logic. - Viorica Sofronie-Stokkermans; Karel Stokkermans (FCT, 1999)

Representation Theorems and Theorem Proving in Non-Classical Logics. - Viorica Sofronie-Stokkermans (ISMVL, 1999)

On Unification for Bonded Distributive Lattices. - Viorica Sofronie-Stokkermans (CADE, 2000)

Chaining Techniques for Automated Theorem Proving in Many-Valued Logics. - Harald Ganzinger; Viorica Sofronie-Stokkermans (ISMVL, 2000)

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I. - Viorica Sofronie-Stokkermans (Stud Logica, 2000)

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II. - Viorica Sofronie-Stokkermans (Stud Logica, 2000)

Representation Theorems and the Semantics of (Semi)Lattice-Based Logics. - Viorica Sofronie-Stokkermans (ISMVL, 2001)

On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. - Viorica Sofronie-Stokkermans (TABLEAUX, 2002)

Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators. - Viorica Sofronie-Stokkermans (J. Symb. Comput., 2003)

Modular Proof Systems for Partial Functions with Weak Equality. - Harald Ganzinger; Viorica Sofronie-Stokkermans; Uwe Waldmann (IJCAR, 2004)

Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras. - Viorica Sofronie-Stokkermans (ISMVL, 2004)

Hierarchic Reasoning in Local Theory Extensions. - Viorica Sofronie-Stokkermans (CADE, 2005)

Applications of Hierarchical Reasoning in the Verification of Complex Systems. - Swen Jacobs; Viorica Sofronie-Stokkermans (PDPAR/PaUL@FLoC, 2006)

Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems. - Viorica Sofronie-Stokkermans (GETCO, 2006)

Modular proof systems for partial functions with Evans equality. - Harald Ganzinger; Viorica Sofronie-Stokkermans; Uwe Waldmann (Inf. Comput., 2006)

Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. - Viorica Sofronie-Stokkermans; Carsten Ihlemann; Swen Jacobs (Deduction and Decision Procedures, 2007)

Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions. - Viorica Sofronie-Stokkermans (FroCoS, 2007)

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. - Johannes Faber; Swen Jacobs; Viorica Sofronie-Stokkermans (IFM, 2007)

Automated theorem proving by resolution in non-classical logics. - Viorica Sofronie-Stokkermans (Ann. Math. Artif. Intell., 2007)

Automated Reasoning in Some Local Extensions of Ordered Structures. - Viorica Sofronie-Stokkermans; Carsten Ihlemann (J. Multiple Valued Log. Soft Comput., 2007)

On unification for bounded distributive lattices. - Viorica Sofronie-Stokkermans (ACM Trans. Comput. Log., 2007)

Locality and Subsumption Testing in EL and Some of its Extensions. - Viorica Sofronie-Stokkermans (Description Logics, 2008)

Efficient Hierarchical Reasoning about Functions over Numerical Domains. - Viorica Sofronie-Stokkermans (KI, 2008)

On Local Reasoning in Verification. - Carsten Ihlemann; Swen Jacobs; Viorica Sofronie-Stokkermans (TACAS, 2008)

Interpolation in Local Theory Extensions. - Viorica Sofronie-Stokkermans (Log. Methods Comput. Sci., 2008)

System Description: H-PILoT. - Carsten Ihlemann; Viorica Sofronie-Stokkermans (CADE, 2009)

Locality Results for Certain Extensions of Theories with Bridging Functions. - Viorica Sofronie-Stokkermans (CADE, 2009)

Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms. - Viorica Sofronie-Stokkermans (Interaction versus Automation: The two Faces of Deduction, 2009)

Preface. - Nicolas Peltier; Viorica Sofronie-Stokkermans (FTP, 2009)

On Hierarchical Reasoning in Combinations of Theories. - Carsten Ihlemann; Viorica Sofronie-Stokkermans (IJCAR, 2010)

Hierarchical Reasoning for the Verification of Parametric Systems. - Viorica Sofronie-Stokkermans (IJCAR, 2010)

Automatic Verification of Parametric Specifications with Complex Topologies. - Johannes Faber; Carsten Ihlemann; Swen Jacobs; Viorica Sofronie-Stokkermans (IFM, 2010)

System Description: H-PILoT (Version 1.9) - Carsten Ihlemann; Viorica Sofronie-Stokkermans (CoRR, 2010)

Special issue on automated deduction: Decidability, complexity, tractability. - Silvio Ghilardi; Viorica Sofronie-Stokkermans; Ulrike Sattler; Ashish Tiwari 001 (J. Symb. Comput., 2010)

Constraint solving for interpolation. - Andrey Rybalchenko; Viorica Sofronie-Stokkermans (J. Symb. Comput., 2010)

Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0. - Francis Gasse; Viorica Sofronie-Stokkermans (Description Logics, 2011)

Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. - Werner Damm; Carsten Ihlemann; Viorica Sofronie-Stokkermans (HSCC, 2011)

PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata. - Werner Damm; Carsten Ihlemann; Viorica Sofronie-Stokkermans (Math. Comput. Sci., 2011)

First-order theorem proving: Foreword. - Nicolas Peltier; Viorica Sofronie-Stokkermans (J. Symb. Comput., 2012)

On Combinations of Local Theory Extensions. - Viorica Sofronie-Stokkermans (Programming Logics, 2013)

Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems. - Viorica Sofronie-Stokkermans (CADE, 2013)

Obtaining Finite Local Theory Axiomatizations via Saturation. - Matthias Horbach; Viorica Sofronie-Stokkermans (FroCos, 2013)

Locality and applications to subsumption testing and interpolation in $ mathcal{EL}$ and some of its extensions. - Viorica Sofronie-Stokkermans (CoRR, 2013)

Locality and Applications to Subsumption Testing in EL and Some of its Extensions. - Viorica Sofronie-Stokkermans (Sci. Ann. Comput. Sci., 2013)

Preface: Special Issue of Selected Extended Papers of CADE-23. - Nikolaj S. Bjørner; Viorica Sofronie-Stokkermans (J. Autom. Reason., 2013)

Locality Transfer: From Constrained Axiomatizations to Reachability Predicates. - Matthias Horbach; Viorica Sofronie-Stokkermans (IJCAR, 2014)

Hierarchical Reasoning in Local Theory Extensions and Applications. - Viorica Sofronie-Stokkermans (SYNASC, 2014)

On First-Order Model-Based Reasoning. - Maria Paola Bonacina; Ulrich Furbach; Viorica Sofronie-Stokkermans (Logic, Rewriting, and Concurrency, 2015)

Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata. - Werner Damm; Matthias Horbach; Viorica Sofronie-Stokkermans (FroCos, 2015)

Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381). - Nikolaj S. Bjørner; Jasmin Christian Blanchette; Viorica Sofronie-Stokkermans; Christoph Weidenbach (Dagstuhl Reports, 2015)

Decision Procedures for Theories of Sets with Measures. - Markus Bender; Viorica Sofronie-Stokkermans (CADE, 2017)

Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371). - Jasmin Christian Blanchette; Carsten Fuhs; Viorica Sofronie-Stokkermans; Cesare Tinelli (Dagstuhl Reports, 2017)

Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ and their Extensions with n-ary Roles and Numerical Domains. - Viorica Sofronie-Stokkermans (Fundam. Informaticae, 2017)

On Inductive Verification and Synthesis. - Dennis Peuter; Viorica Sofronie-Stokkermans (LuxLogAI (Student / Workshop Papers), 2018)

On Interpolation and Symbol Elimination in Theory Extensions. - Viorica Sofronie-Stokkermans (Log. Methods Comput. Sci., 2018)

On Invariant Synthesis for Parametric Systems. - Dennis Peuter; Viorica Sofronie-Stokkermans (CADE, 2019)

Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+. - Dennis Peuter; Viorica Sofronie-Stokkermans (Description Logics, 2020)

Measuring Disagreement with Interpolants. - Jandson S. Ribeiro; Viorica Sofronie-Stokkermans; Matthias Thimm (SUM, 2020)

Parametric Systems: Verification and Synthesis. - Viorica Sofronie-Stokkermans (Fundam. Informaticae, 2020)

Symbol Elimination and Applications to Parametric Entailment Problems. - Dennis Peuter; Viorica Sofronie-Stokkermans (FroCoS, 2021)

On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper). - Lucas Böltz; Hannes Frey; Dennis Peuter; Viorica Sofronie-Stokkermans (SOQE@KR, 2021)

SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper). - Philipp Marohn; Viorica Sofronie-Stokkermans (SOQE@KR, 2021)

Symbol Elimination and Applications to Parametric Entailment Problems (Abstract). - Dennis Peuter; Viorica Sofronie-Stokkermans (SOQE@KR, 2021)

Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory). - Dennis Peuter; Philipp Marohn; Viorica Sofronie-Stokkermans (CoRR, 2021)

Special Issue of Selected Extended Papers of IJCAR 2020. - Nicolas Peltier; Viorica Sofronie-Stokkermans (J. Autom. Reason., 2022)

On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics Eℒ, Eℒ+. - Dennis Peuter; Viorica Sofronie-Stokkermans; Sebastian Thunert (CADE, 2023)

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 (CoRR, 2023)

On the Verification of Parametric Systems. - Dennis Peuter; Philipp Marohn; Viorica Sofronie-Stokkermans (CoRR, 2023)

On the Verification of the Correctness of a Subgraph Construction Algorithm. - Lucas Böltz; Viorica Sofronie-Stokkermans; Hannes Frey (VMCAI (1), 2024)

On Symbol Elimination and Uniform Interpolation in Theory Extensions. - Viorica Sofronie-Stokkermans (CADE, 2025)

On verification and constraint generation for families of similar hybrid automata. - Viorica Sofronie-Stokkermans; Philipp Marohn (CoRR, 2025)