Follow
Elena Ravve
Title
Cited by
Cited by
Year
Counting truth assignments of formulas of bounded tree-width or clique-width
E Fischer, JA Makowsky, EV Ravve
Discrete Applied Mathematics 156 (4), 511-529, 2008
1212008
Incremental model checking for decomposable structures
JA Makowsky, EV Ravve
Mathematical Foundations of Computer Science 1995: 20th International …, 1995
271995
V= L and maximize
P Maddy, JA Makowsky, EV Ravve
Logic Colloquium¢95 (Haifa) 11, 134-152, 1998
241998
Dependency preserving refinements and the fundamental problem of database design
JA Makowsky, EV Ravve
Data & knowledge engineering 24 (3), 277-312, 1998
231998
On the location of roots of graph polynomials
JA Makowsky, EV Ravve, NK Blanchard
European Journal of Combinatorics 41, 1-19, 2014
222014
Types and indiscernibles in finite models
A Dawar, J Makowsky, E Ravve
Logic Colloquium 95, 51-65, 1998
151998
Effective optimization with weighted automata on decomposable trees
EV Ravve, Z Volkovich, GW Weber
Optimization 63 (1), 109-127, 2014
132014
Translation schemes and the fundamental problem of database design
JA Makowsky, EV Ravve
Conceptual Modeling—ER'96: 15th International Conference on Conceptual …, 1996
131996
Entropy “2”-Soft Classification of Objects
YS Popkov, Z Volkovich, YA Dubnov, R Avros, E Ravve
Entropy 19 (4), 178, 2017
102017
Model Checking for Various Notions of Product
EV Ravve
Technion-Israel Institute of technology, Faculty of computer science, 1995
91995
A logician's view of graph polynomials
JA Makowsky, EV Ravve, T Kotek
Annals of pure and applied logic 170 (9), 1030-1069, 2019
82019
Four scenarios of effective computations on sum-like graphs
E Ravve, Z Volkovich
Proceedings of ICCGI2014, 2014
82014
A computational framework for the study of partition functions and graph polynomials
T Kotek, JA Makowsky, EV Ravve
2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012
72012
BCNF via attribute splitting
JA Makowsky, EV Ravve
Conceptual Modelling and Its Theoretical Foundations: Essays Dedicated to …, 2012
72012
The universal edge elimination polynomial and the dichromatic polynomial
I Averbouch, T Kotek, JA Makowsky, E Ravve
Electronic Notes in Discrete Mathematics 38, 77-82, 2011
72011
A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures.
EV Ravve, Z Volkovich, GW Weber
GCAI, 229-251, 2015
52015
On the location of roots of graph polynomials
JA Makowsky, E Ravve
Electronic Notes in Discrete Mathematics 43, 201-206, 2013
52013
Decomposition of Databases with translation schemes
EV Ravve
Technion-Israrl Institute of Technology, Faculty of Computer Science, 1999
51999
Incremental computations over strongly distributed databases
EV Ravve
Concurrency and Computation: Practice and Experience 28 (11), 3061-3076, 2016
42016
Views and updates over distributed databases
EV Ravve
2014 16th International Symposium on Symbolic and Numeric Algorithms for …, 2014
42014
The system can't perform the operation now. Try again later.
Articles 1–20