Viorica Sofronie-Stokkermans

Available identifiers

zbMath Open sofronie-stokkermans.vioricaMaRDI QIDQ592080

List of research outcomes

Publication	Date of Publication	Type
Measuring Disagreement with Interpolants	2022-12-22	Paper
Symbol elimination and applications to parametric entailment problems	2022-03-24	Paper
Parametric Systems: Verification and Synthesis	2020-11-16	Paper
On invariant synthesis for parametric systems	2020-03-10	Paper
Locality and Applications to Subsumption Testing in EL and Some of its Extensions	2019-02-08	Paper
On Interpolation and Symbol Elimination in Theory Extensions	2018-09-26	Paper
Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ and their Extensions with n-ary Roles and Numerical Domains	2018-03-02	Paper
Decision procedures for theories of sets with measures	2017-09-22	Paper
On unification for bounded distributive lattices	2017-07-12	Paper
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata	2017-05-16	Paper
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata	2017-02-27	Paper
On Interpolation and Symbol Elimination in Theory Extensions	2016-09-05	Paper
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems	2016-06-06	Paper
On First-Order Model-Based Reasoning	2015-09-14	Paper
Locality Transfer: From Constrained Axiomatizations to Reachability Predicates	2014-09-26	Paper
Applications of Hierarchical Reasoning in the Verification of Complex Systems	2013-12-06	Paper
Obtaining Finite Local Theory Axiomatizations via Saturation	2013-09-20	Paper
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems	2013-06-14	Paper
PTIME parametric verification of safety properties for reasonable linear hybrid automata	2013-05-16	Paper
On Combinations of Local Theory Extensions	2013-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q3085175	2011-03-30	Paper
Constraint solving for interpolation	2010-11-10	Paper
On Hierarchical Reasoning in Combinations of Theories	2010-09-14	Paper
Hierarchical Reasoning for the Verification of Parametric Systems	2010-09-14	Paper
Locality Results for Certain Extensions of Theories with Bridging Functions	2009-07-28	Paper
Interpolation in local theory extensions	2009-04-29	Paper
Interpolation in Local Theory Extensions	2009-03-12	Paper
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters	2009-03-06	Paper
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions	2008-09-16	Paper
On Local Reasoning in Verification	2008-04-11	Paper
Constraint Solving for Interpolation	2008-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q5446292	2008-03-06	Paper
Automated theorem proving by resolution in non-classical logics	2007-10-12	Paper
Automated Reasoning	2007-09-25	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Modular proof systems for partial functions with Evans equality	2006-10-25	Paper
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators	2004-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4450440	2004-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q4412863	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4542610	2002-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4544342	2002-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q2723445	2001-07-05	Paper
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II	2001-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4503916	2001-01-17	Paper
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I	2000-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4263162	2000-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4934357	2000-01-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Viorica Sofronie-Stokkermans