Incremental Model Checking for Decomposable Structures (Extended Abstract). - Johann A. Makowsky; Elena V. Ravve (MFCS, 1995)

Translation Schemes and the Fundamental Problem of Database Design. - Johann A. Makowsky; Elena V. Ravve (ER, 1996)

The Fundamental Problem of Database Design. - Johann A. Makowsky; Elena V. Ravve (SOFSEM, 1997)

Dependency Preserving Refinements and the Fundamental Problem of Database Design. - Johann A. Makowsky; Elena V. Ravve (Data Knowl. Eng., 1998)

Decomposition of databases with translation schemes. - Elena V. Ravve (1999)

Counting truth assignments of formulas of bounded tree-width or clique-width. - Eldar Fischer; Johann A. Makowsky; Elena V. Ravve (Discret. Appl. Math., 2008)

The Universal Edge Elimination Polynomial and the Dichromatic Polynomial. - Ilya Averbouch; Tomer Kotek; Johann A. Makowsky; Elena V. Ravve (Electron. Notes Discret. Math., 2011)

BCNF via Attribute Splitting. - Johann A. Makowsky; Elena V. Ravve (Conceptual Modelling and Its Theoretical Foundations, 2012)

A Computational Framework for the Study of Partition Functions and Graph Polynomials. - Tomer Kotek; Johann A. Makowsky; Elena V. Ravve (SYNASC, 2012)

A Systematic Approach to Computations on Decomposable Graphs. - Elena V. Ravve; Zeev Volkovich (SYNASC, 2013)

On the Location of Roots of Graph Polynomials. - Johann A. Makowsky; Elena V. Ravve (Electron. Notes Discret. Math., 2013)

Views and Updates over Distributed Databases. - Elena V. Ravve (SYNASC, 2014)

Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled Trees. - Elena V. Ravve (SYNASC, 2014)

On the location of roots of graph polynomials. - Johann A. Makowsky; Elena V. Ravve; N. K. Blanchard 001 (Eur. J. Comb., 2014)

A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures. - Elena V. Ravve; Zeev Volkovich; Gerhard-Wilhelm Weber (GCAI, 2015)

Automatic Definition of Optimal Default Parameters of Models: Image Matting Application. - Elena V. Ravve; Zeev Volkovich; Gerhard-Wilhelm Weber (SYNASC, 2015)

Incremental Reasoning on Strongly Distributed Multi-agent Systems. - Elena V. Ravve; Zeev Volkovich; Gerhard-Wilhelm Weber (SYNASC, 2015)

Maintenance of Queries Under Database Changes: A Unified Logic Based Approach. - Elena V. Ravve (FoIKS, 2016)

Semantic Equivalence of Graph Polynomials Definable in Second Order Logic. - Johann A. Makowsky; Elena V. Ravve (WoLLIC, 2016)

An estimate of the objective function optimum for the network Steiner problem. - Valery M. Kirzhner; Zeev Volkovich; Elena V. Ravve; Gerhard-Wilhelm Weber (Ann. Oper. Res., 2016)

Incremental computations over strongly distributed databases. - Elena V. Ravve (Concurr. Comput. Pract. Exp., 2016)

Entropy "2"-Soft Classification of Objects. - Yuri S. Popkov; Zeev Volkovich; Yu. A. Dubnov; Renata Avros; Elena V. Ravve (Entropy, 2017)

On sequences of polynomials arising from graph invariants. - Tomer Kotek; Johann A. Makowsky; Elena V. Ravve (Eur. J. Comb., 2018)

Automatic Code Generator for Screen Based Systems. - Katerina Korenblat; Elena V. Ravve (ADBIS (Short Papers and Workshops), 2019)

A logician's view of graph polynomials. - Johann A. Makowsky; Elena V. Ravve; Tomer Kotek (Ann. Pure Appl. Log., 2019)

Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams. - Elena V. Ravve (FoIKS, 2020)

An Approach to Predicting Social Events via Dailies Tracking. - Renata Avros; Dan Lemberg; Elena V. Ravve; Zeev Volkovich (IWANN (2), 2023)

Indoor Navigation in Facilities with Repetitive Structures. - Zeev Volkovich; Elena V. Ravve; Renata Avros (Sensors, 2024)