| 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 | 121 | 2008 |
| Incremental model checking for decomposable structures JA Makowsky, EV Ravve Mathematical Foundations of Computer Science 1995: 20th International …, 1995 | 27 | 1995 |
| V= L and maximize P Maddy, JA Makowsky, EV Ravve Logic Colloquium’95 (Haifa) 11, 134-152, 1998 | 26 | 1998 |
| On the location of roots of graph polynomials JA Makowsky, EV Ravve, NK Blanchard European Journal of Combinatorics 41, 1-19, 2014 | 23 | 2014 |
| Dependency preserving refinements and the fundamental problem of database design JA Makowsky, EV Ravve Data & knowledge engineering 24 (3), 277-312, 1998 | 23 | 1998 |
| Types and indiscernibles in finite models A Dawar, J Makowsky, E Ravve Logic Colloquium 95, 51-65, 1998 | 15 | 1998 |
| Effective optimization with weighted automata on decomposable trees EV Ravve, Z Volkovich, GW Weber Optimization 63 (1), 109-127, 2014 | 13 | 2014 |
| Translation schemes and the fundamental problem of database design JA Makowsky, EV Ravve Conceptual Modeling—ER'96: 15th International Conference on Conceptual …, 1996 | 13 | 1996 |
| Entropy “2”-Soft Classification of Objects YS Popkov, Z Volkovich, YA Dubnov, R Avros, E Ravve Entropy 19 (4), 178, 2017 | 10 | 2017 |
| Model Checking for Various Notions of Product EV Ravve Technion-Israel Institute of technology, Faculty of computer science, 1995 | 9 | 1995 |
| A logician's view of graph polynomials JA Makowsky, EV Ravve, T Kotek Annals of pure and applied logic 170 (9), 1030-1069, 2019 | 8 | 2019 |
| Four scenarios of effective computations on sum-like graphs E Ravve, Z Volkovich Proceedings of ICCGI2014, 2014 | 8 | 2014 |
| 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 | 7 | 2012 |
| BCNF via attribute splitting JA Makowsky, EV Ravve Conceptual Modelling and Its Theoretical Foundations: Essays Dedicated to …, 2012 | 7 | 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 | 7 | 2011 |
| A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures. EV Ravve, Z Volkovich, GW Weber GCAI, 229-251, 2015 | 5 | 2015 |
| 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 |
| Incremental computations over strongly distributed databases EV Ravve Concurrency and Computation: Practice and Experience 28 (11), 3061-3076, 2016 | 4 | 2016 |
| Views and updates over distributed databases EV Ravve 2014 16th International Symposium on Symbolic and Numeric Algorithms for …, 2014 | 4 | 2014 |
