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 | 122 | 2008 |

V= L and maximize P Maddy, JA Makowsky, EV Ravve Logic Colloquium’95 (Haifa) 11, 134-152, 1998 | 27 | 1998 |

Incremental model checking for decomposable structures JA Makowsky, EV Ravve Mathematical Foundations of Computer Science 1995: 20th International …, 1995 | 27 | 1995 |

On the location of roots of graph polynomials JA Makowsky, EV Ravve, NK Blanchard European Journal of Combinatorics 41, 1-19, 2014 | 24 | 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 |

A logician's view of graph polynomials JA Makowsky, EV Ravve, T Kotek Annals of pure and applied logic 170 (9), 1030-1069, 2019 | 9 | 2019 |

Model Checking for Various Notions of Product EV Ravve Technion-Israel Institute of technology, Faculty of computer science, 1995 | 9 | 1995 |

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 | 8 | 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 |