Elena V. Ravve

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 11

Top Topics

Repetitive Structures

Graph Theoretic

Top Venues

Ann. Oper. Res.

Publications

Zeev Volkovich, Elena V. Ravve, Renata Avros
Indoor Navigation in Facilities with Repetitive Structures. Sensors 24 (9) (2024)
Renata Avros, Dan Lemberg, Elena V. Ravve, Zeev Volkovich
An Approach to Predicting Social Events via Dailies Tracking. IWANN (2) (2023)
Elena V. Ravve
Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams. FoIKS (2020)
Katerina Korenblat, Elena V. Ravve
Automatic Code Generator for Screen Based Systems. ADBIS (Short Papers and Workshops) (2019)
Johann A. Makowsky, Elena V. Ravve, Tomer Kotek
A logician's view of graph polynomials. Ann. Pure Appl. Log. 170 (9) (2019)
Tomer Kotek, Johann A. Makowsky, Elena V. Ravve
On sequences of polynomials arising from graph invariants. Eur. J. Comb. 67 (2018)
Yuri S. Popkov, Zeev Volkovich, Yu. A. Dubnov, Renata Avros, Elena V. Ravve
Entropy "2"-Soft Classification of Objects. Entropy 19 (4) (2017)
Elena V. Ravve
Incremental computations over strongly distributed databases. Concurr. Comput. Pract. Exp. 28 (11) (2016)
Elena V. Ravve
Maintenance of Queries Under Database Changes: A Unified Logic Based Approach. FoIKS (2016)
Johann A. Makowsky, Elena V. Ravve
Semantic Equivalence of Graph Polynomials Definable in Second Order Logic. WoLLIC (2016)
Valery M. Kirzhner, Zeev Volkovich, Elena V. Ravve, Gerhard-Wilhelm Weber
An estimate of the objective function optimum for the network Steiner problem. Ann. Oper. Res. 238 (1-2) (2016)
Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber
Automatic Definition of Optimal Default Parameters of Models: Image Matting Application. SYNASC (2015)
Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber
Incremental Reasoning on Strongly Distributed Multi-agent Systems. SYNASC (2015)
Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber
A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures. GCAI (2015)
Johann A. Makowsky, Elena V. Ravve, N. K. Blanchard
On the location of roots of graph polynomials. Eur. J. Comb. 41 (2014)
Elena V. Ravve
Views and Updates over Distributed Databases. SYNASC (2014)
Elena V. Ravve
Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled Trees. SYNASC (2014)
Elena V. Ravve, Zeev Volkovich
A Systematic Approach to Computations on Decomposable Graphs. SYNASC (2013)
Johann A. Makowsky, Elena V. Ravve
On the Location of Roots of Graph Polynomials. Electron. Notes Discret. Math. 43 (2013)
Tomer Kotek, Johann A. Makowsky, Elena V. Ravve
A Computational Framework for the Study of Partition Functions and Graph Polynomials. SYNASC (2012)
Johann A. Makowsky, Elena V. Ravve
BCNF via Attribute Splitting. Conceptual Modelling and Its Theoretical Foundations (2012)
Ilya Averbouch, Tomer Kotek, Johann A. Makowsky, Elena V. Ravve
The Universal Edge Elimination Polynomial and the Dichromatic Polynomial. Electron. Notes Discret. Math. 38 (2011)
Eldar Fischer, Johann A. Makowsky, Elena V. Ravve
Counting truth assignments of formulas of bounded tree-width or clique-width. Discret. Appl. Math. 156 (4) (2008)
Johann A. Makowsky, Elena V. Ravve
Dependency Preserving Refinements and the Fundamental Problem of Database Design. Data Knowl. Eng. 24 (3) (1998)
Johann A. Makowsky, Elena V. Ravve
The Fundamental Problem of Database Design. SOFSEM (1997)
Johann A. Makowsky, Elena V. Ravve
Translation Schemes and the Fundamental Problem of Database Design. ER (1996)
Johann A. Makowsky, Elena V. Ravve
Incremental Model Checking for Decomposable Structures (Extended Abstract). MFCS (1995)