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 | 116 | 2008 |
Dependency preserving refinements and the fundamental problem of database design JA Makowsky, EV Ravve Data & knowledge engineering 24 (3), 277-312, 1998 | 22 | 1998 |
Incremental model checking for decomposable structures JA Makowsky, EV Ravve International Symposium on Mathematical Foundations of Computer Science, 540-551, 1995 | 19 | 1995 |
On the location of roots of graph polynomials JA Makowsky, EV Ravve, NK Blanchard European Journal of Combinatorics 41, 1-19, 2014 | 18 | 2014 |
V= L and maximize P Maddy, JA Makowsky, EV Ravve Logic Colloquium’95 (Haifa) 11, 134-152, 1998 | 18 | 1998 |
Translation schemes and the fundamental problem of database design JA Makowsky, EV Ravve International Conference on Conceptual Modeling, 5-26, 1996 | 12 | 1996 |
Effective optimization with weighted automata on decomposable trees EV Ravve, Z Volkovich, GW Weber Optimization 63 (1), 109-127, 2014 | 10 | 2014 |
A computational framework for the study of partition functions and graph polynomials T Kotek, JA Makowsky, EV Ravve Proceedings of the 12th Asian Logic Conference, 210-230, 2013 | 9 | 2013 |
Incremental model checking for fixed point properties on decomposable structures JA Makowsky, EV Ravve | 8 | 1995 |
Four scenarios of effective computations on sum-like graphs E Ravve, Z Volkovich Proceedings of ICCGI2014, 2014 | 7 | 2014 |
Model Checking for Various Notions of Product EV Ravve Technion-Israel Institute of technology, Faculty of computer science, 1995 | 7 | 1995 |
BCNF via attribute splitting JA Makowsky, EV Ravve Conceptual Modelling and Its Theoretical Foundations, 73-84, 2012 | 6 | 2012 |
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 | 6 | 2011 |
A logician's view of graph polynomials JA Makowsky, EV Ravve, T Kotek Annals of Pure and Applied Logic 170 (9), 1030-1069, 2019 | 5 | 2019 |
On the location of roots of graph polynomials JA Makowsky, E Ravve Electronic Notes in Discrete Mathematics 43, 201-206, 2013 | 5 | 2013 |
Decomposition of Databases with translation schemes EV Ravve Technion-Israrl Institute of Technology, Faculty of Computer Science, 1999 | 5 | 1999 |
Database decomposition with translation schemes EV Ravve Ph. D. Thesis, Department of Computer Science, Technion-Israel Institute of …, 1998 | 5 | 1998 |
Entropy “2”-Soft Classification of Objects YS Popkov, Z Volkovich, YA Dubnov, R Avros, E Ravve Entropy 19 (4), 178, 2017 | 4 | 2017 |
Views and updates over distributed databases EV Ravve 2014 16th International Symposium on Symbolic and Numeric Algorithms for …, 2014 | 4 | 2014 |
Incremental computations over strongly distributed databases EV Ravve Concurrency and Computation: Practice and Experience 28 (11), 3061-3076, 2016 | 3 | 2016 |