Elena V. Ravve

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