E. Ravve

Most-cited papers

Counting truth assignments of formulas of bounded tree-width or clique-width
Eldar Fischer, J. Makowsky, E. Ravve
2008Discrete Applied Mathematics106 citations Open access
Semantic Scholar
On the location of roots of graph polynomials
J. Makowsky, E. Ravve, N. Blanchard
2013European journal of combinatorics (Print)28 citations Open access
Semantic Scholar
Dependency Preserving Refinements and the Fundamental Problem of Database Design
J. Makowsky, E. Ravve
1998Data & Knowledge Engineering20 citations
Semantic Scholar
Incremental Model Checking for Decomposable Structures (Extended Abstract)
J. Makowsky, E. Ravve
1995International Symposium on Mathematical Foundations of Computer Science17 citations
Semantic Scholar
A Computational Framework for the Study of Partition Functions and Graph Polynomials
T. Kotek, J. Makowsky, E. Ravve
20122012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing13 citations
Semantic Scholar
A logician's view of graph polynomials
J. Makowsky, E. Ravve, T. Kotek
2017Annals of Pure and Applied Logic12 citations Open access
Semantic Scholar
Effective optimization with weighted automata on decomposable trees
E. Ravve, Z. Volkovich, Gerhard-Wilhelm Weber
201411 citations Open access
Semantic Scholar
Logic Colloquium ’95
Johann A. Makowsky, E. Ravve
199810 citations
Semantic Scholar
Translation Schemes and the Fundamental Problem of Database Design
J. Makowsky, E. Ravve
1996International Conference on Conceptual Modeling10 citations
Semantic Scholar
Spotting Suspicious Academic Citations Using Self-Learning Graph Transformers
R. Avros, Mor Ben Haim, Almog Madar, E. Ravve +1 more
2024Mathematics6 citations Open access
Semantic Scholar
On sequences of polynomials arising from graph invariants
T. Kotek, J. Makowsky, E. Ravve
2017European journal of combinatorics (Print)6 citations Open access
Semantic Scholar
Four Scenarios of Effective Computations on Sum-like Graphs
E. Ravve, Z. Volkovich
20146 citations
Semantic Scholar
The Universal Edge Elimination Polynomial and the Dichromatic Polynomial
Ilya Averbouch, T. Kotek, J. Makowsky, E. Ravve
2011Electron. Notes Discret. Math.6 citations
Semantic Scholar
Entropy "2"-Soft Classification of Objects
Y. Popkov, Z. Volkovich, Y. Dubnov, R. Avros +1 more
2017Entropy5 citations Open access
Semantic Scholar
A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures
E. Ravve, Z. Volkovich, G. Weber
2015Global Conference on Artificial Intelligence5 citations Open access
Semantic Scholar
A Systematic Approach to Computations on Decomposable Graphs
E. Ravve, Z. Volkovich
20132013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing5 citations
Semantic Scholar
BCNF via Attribute Splitting
J. Makowsky, E. Ravve
2012Conceptual Modelling and Its Theoretical Foundations5 citations
Semantic Scholar
Decomposition of databases with translation schemes
E. Ravve
19995 citations
Semantic Scholar
Incremental computations over strongly distributed databases
E. Ravve
2016Concurrency and Computation4 citations
Semantic Scholar
Incremental Reasoning on Strongly Distributed Multi-agent Systems
E. Ravve, Z. Volkovich, G. Weber
2015Symposium on Symbolic and Numeric Algorithms for Scientific Computing4 citations Open access
Semantic Scholar
Indoor Navigation in Facilities with Repetitive Structures
Z. Volkovich, E. Ravve, R. Avros
2024Italian National Conference on Sensors3 citations Open access
Semantic Scholar
Semantic Equivalence of Graph Polynomials Definable in Second Order Logic
J. Makowsky, E. Ravve
2016Workshop on Logic, Language, Information and Computation3 citations
Semantic Scholar
Views and Updates over Distributed Databases
E. Ravve
20142014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing3 citations
Semantic Scholar
A multi-criteria approach to optimization of acoustic feedback detection
E. Ravve, Z. Volkovich
20212 citations
Semantic Scholar
Incremental Verification and Coverage Analysis of Strongly Distributed Systems
E. Ravve, Z. Volkovich
2018Analytic Methods in Systems and Software Testing2 citations
Semantic Scholar
Modelling Behavior Patterns in Cellular Networks
T. Couronné, E. Ravve, Z. Volkovich
20162 citations
Semantic Scholar
An estimate of the objective function optimum for the network Steiner problem
V. Kirzhner, Z. Volkovich, E. Ravve, G. Weber
2015Annals of Operations Research2 citations Open access
Semantic Scholar
Incremental Reasoning on Strongly Distributed Fuzzy Systems
E. Ravve, Z. Volkovich
20161 citations
Semantic Scholar
Maintenance of Queries Under Database Changes: A Unified Logic Based Approach
E. Ravve
2016International Symposium on Foundations of Information and Knowledge Systems1 citations
Semantic Scholar
Template Based Automatic Generation of Runsets
E. Ravve
20161 citations
Semantic Scholar
Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled Trees
E. Ravve
20142014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing1 citations
Semantic Scholar
The Fundamental Problem of Database Design
J. Makowsky, E. Ravve
1997Conference on Current Trends in Theory and Practice of Informatics1 citations
Semantic Scholar
On Consistency of Graphically Defined Specifications
K. Korenblat, E. Ravve
2025Festschrift in Honor of Johann A. Makowsky0 citations
Semantic Scholar
Assembly Function Recognition in Embedded Systems as an Optimization Problem
Matan Avitan, E. Ravve, Z. Volkovich
2024Mathematics0 citations Open access
Semantic Scholar
An Approach to Predicting Social Events via Dailies Tracking
R. Avros, Dan Lemberg, E. Ravve, Z. Volkovich
2023International Work-Conference on Artificial and Natural Neural Networks0 citations
Semantic Scholar
A Logic-Based Approach to Incremental Reasoning on Multi-agent Systems
E. Ravve, Z. Volkovich, G. Weber
2021Springer Proceedings in Mathematics & statistics0 citations
Semantic Scholar
Construction of the developing connecting tree
V. Kirzhner, E. Ravve, Z. Volkovich
20200 citations
Semantic Scholar
Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams
E. Ravve
2020International Symposium on Foundations of Information and Knowledge Systems0 citations
Semantic Scholar
Automatic Code Generator for Screen Based Systems
K. Korenblat, E. Ravve
2019Symposium on Advances in Databases and Information Systems0 citations
Semantic Scholar
Testing the Metagenome Composition by the Method of Sequential Set of Primers
V. Kirzhner, Z. Volkovich, R. Avros, E. Ravve
20180 citations
Semantic Scholar
Template Based Automatic Generation of DRC and LVS Runsets
E. Ravve
20170 citations
Semantic Scholar
Modelling and Characterization of Customer Behavior in Cellular Networks
Thomas E, V. Kirzner, K. Korenblat, E. Ravve +1 more
20170 citations
Semantic Scholar
MOMEMI : Modern Methods of Data Mining Special Session along with ICCGI 2017 : The Eleventh International Multi-Conference on Computing in the Global Information Technology
E. Ravve
20160 citations
Semantic Scholar
Automatic Definition of Optimal Default Parameters of Models: Image Matting Application
E. Ravve, Z. Volkovich, G. Weber
2015Symposium on Symbolic and Numeric Algorithms for Scientific Computing0 citations Open access
Semantic Scholar
Logic Colloquium '95 Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995
Logic Colloquium, J. Makowsky, E. Ravve
19980 citations
Semantic Scholar
INCREMENTAL MODEL CHECKING FOR DECOMPOSABLE
J. Makowsky, E. Ravve
19950 citations
Semantic Scholar