Entropy-Based Design of Low Power FSMs. - Lilia Kashirova; Olga Tveretina (EUROMICRO, 1998)

Binary decision diagrams for first-order predicate logic. - Jan Friso Groote; Olga Tveretina (J. Log. Algebraic Methods Program., 2003)

A Decision Procedure for Equality Logic with Uninterpreted Functions. - Olga Tveretina (AISC, 2004)

A Proof System and a Decision Procedure for Equality Logic. - Olga Tveretina; Hans Zantema (LATIN, 2004)

A BDD-Representation for the Logic of Equality and Uninterpreted Functions. - Jaco van de Pol; Olga Tveretina (MFCS, 2005)

EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas. - Olga Tveretina; Wieger Wesselink (MFCSIT, 2006)

Generalizing DPLL and satisfiability for equalities. - Bahareh Badban; Jaco van de Pol; Olga Tveretina; Hans Zantema (Inf. Comput., 2007)

Modular Development of Hybrid Systems for Verification in Coq. - Milad Niqui; Olga Tveretina (HSCC, 2008)

An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas - Olga Tveretina; Carsten Sinz; Hans Zantema (ACAC, 2009)

Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. - Olga Tveretina; Carsten Sinz; Hans Zantema (J. Satisf. Boolean Model. Comput., 2010)

Probabilistic Model Checking of Constraints in a Supply Chain Business Process. - Tamara Mendt; Carsten Sinz; Olga Tveretina (BIS, 2011)

Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. - Tamara Mendt; Carsten Sinz; Olga Tveretina (BIS (Workshops), 2011)

Deciding Reachability for 3-Dimensional Multi-Linear Systems - Olga Tveretina; Daniel Funke (GandALF, 2011)

A Conditional Superpolynomial Lower Bound for Extended Resolution. - Olga Tveretina (LATA, 2013)

Communication-Centric Solution for Cholesky Decomposition: Industrial Case Study for Coordination Programming - Pavels Zaicenkovs; Bert Gijsbers; Clemens Grelck; Olga Tveretina; Alexander V. Shafarenko (CoRR, 2013)

A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections. - Pavel Zaichenkov; Bert Gijsbers; Clemens Grelck; Olga Tveretina; Alex Shafarenko (IPDPS Workshops, 2014)

Constraint Satisfaction in Coordinating Components Interfaces. - Pavel Zaichenkov; Olga Tveretina; Alex Shafarenko (CoRR, 2015)

A Constraint Satisfaction Method for Configuring Non-local Service Interfaces. - Pavel Zaichenkov; Olga Tveretina; Alex Shafarenko (IFM, 2016)

Configuring Cloud-Service Interfaces Using Flow Inheritance. - Pavel Zaichenkov; Olga Tveretina; Alex Shafarenko (iFMCloud@IFM, 2016)

The Cost and Benefits of Coordination Programming: Two Case Studies in Concurrent Collections and S-NET. - Pavel Zaichenkov; Olga Tveretina; Alex Shafarenko; Bert Gijsbers; Clemens Grelck (Parallel Process. Lett., 2016)

Resolution Simulates Polynomially Ordered Binary Decision Diagrams for Conjunctive Normal Forms. - Olga Tveretina (CoRR, 2017)

ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems. - Andrei Sandler; Olga Tveretina (GandALF, 2017)

Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds. - Andrei Sandler; Olga Tveretina (RP, 2019)

Non-local configuration of component interfaces by constraint satisfaction. - Olga Tveretina; Pavel Zaichenkov; Alex Shafarenko (Constraints An Int. J., 2020)

Component Interfaces with Loosely Synchronous Communication. - Raimund Kirner; Simon Maurer; Olga Tveretina (SA, 2021)

Mortality and Edge-to-Edge Reachability are Decidable on Surfaces. - Mateus de Oliveira Oliveira; Olga Tveretina (HSCC, 2022)

On the Complexity of Reachability and Mortality for Bounded Piecewise Affine Maps. - Olga Tveretina (RP, 2024)