| 2023 | IWANN | An Approach to Predicting Social Events via Dailies Tracking. | Renata Avros, Dan Lemberg, Elena V. Ravve, Zeev Volkovich |
| 2019 | ADBIS | Automatic Code Generator for Screen Based Systems. | Katerina Korenblat, Elena V. Ravve |
| 2016 | WoLLIC | Semantic Equivalence of Graph Polynomials Definable in Second Order Logic. | Johann A. Makowsky, Elena V. Ravve |
| 2015 | SYNASC | Automatic Definition of Optimal Default Parameters of Models: Image Matting Application. | Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber |
| 2015 | SYNASC | Incremental Reasoning on Strongly Distributed Multi-agent Systems. | Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber |
| 2014 | SYNASC | Views and Updates over Distributed Databases. | Elena V. Ravve |
| 2014 | SYNASC | Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled Trees. | Elena V. Ravve |
| 2013 | SYNASC | A Systematic Approach to Computations on Decomposable Graphs. | Elena V. Ravve, Zeev Volkovich |
| 2012 | SYNASC | A Computational Framework for the Study of Partition Functions and Graph Polynomials. | Tomer Kotek, Johann A. Makowsky, Elena V. Ravve |
| 1997 | SOFSEM | The Fundamental Problem of Database Design. | Johann A. Makowsky, Elena V. Ravve |
| 1996 | ER | Translation Schemes and the Fundamental Problem of Database Design. | Johann A. Makowsky, Elena V. Ravve |
| 1995 | MFCS | Incremental Model Checking for Decomposable Structures (Extended Abstract). | Johann A. Makowsky, Elena V. Ravve |