• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 27 matches

• 2020
• 
  Elena V. Ravve:
  Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams. FoIKS 2020: 242-262
• 2019
• 
  Johann A. Makowsky, Elena V. Ravve, Tomer Kotek:
  A logician's view of graph polynomials. Ann. Pure Appl. Log. 170(9): 1030-1069 (2019)
• 
  Katerina Korenblat, Elena V. Ravve:
  Automatic Code Generator for Screen Based Systems. ADBIS (Short Papers and Workshops) 2019: 253-265
• 2018
• 
  Tomer Kotek, Johann A. Makowsky, Elena V. Ravve:
  On sequences of polynomials arising from graph invariants. Eur. J. Comb. 67: 181-198 (2018)
• 2017
• 
  Yuri S. Popkov, Zeev Volkovich, Yu. A. Dubnov, Renata Avros, Elena V. Ravve:
  Entropy "2"-Soft Classification of Objects. Entropy 19(4): 178 (2017)
• 2016
• 
  Valery M. Kirzhner, Zeev Volkovich, Elena V. Ravve, Gerhard-Wilhelm Weber:
  An estimate of the objective function optimum for the network Steiner problem. Ann. Oper. Res. 238(1-2): 315-328 (2016)
• 
  Elena V. Ravve:
  Incremental computations over strongly distributed databases. Concurr. Comput. Pract. Exp. 28(11): 3061-3076 (2016)
• 
  Elena V. Ravve:
  Maintenance of Queries Under Database Changes: A Unified Logic Based Approach. FoIKS 2016: 191-208
• 
  Johann A. Makowsky, Elena V. Ravve:
  Semantic Equivalence of Graph Polynomials Definable in Second Order Logic. WoLLIC 2016: 279-296
• 2015
• 
  Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber:
  A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures. GCAI 2015: 229-251
• 
  Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber:
  Automatic Definition of Optimal Default Parameters of Models: Image Matting Application. SYNASC 2015: 251-254
• 
  Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber:
  Incremental Reasoning on Strongly Distributed Multi-agent Systems. SYNASC 2015: 415-422
• 2014
• 
  Johann A. Makowsky, Elena V. Ravve, N. K. Blanchard:
  On the location of roots of graph polynomials. Eur. J. Comb. 41: 1-19 (2014)
• 
  Elena V. Ravve:
  Views and Updates over Distributed Databases. SYNASC 2014: 341-348
• 
  Elena V. Ravve:
  Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled Trees. SYNASC 2014: 375-382
• 2013
• 
  Johann A. Makowsky, Elena V. Ravve:
  On the Location of Roots of Graph Polynomials. Electron. Notes Discret. Math. 43: 201-206 (2013)
• 
  Elena V. Ravve, Zeev Volkovich:
  A Systematic Approach to Computations on Decomposable Graphs. SYNASC 2013: 398-405
• 2012
• 
  Johann A. Makowsky, Elena V. Ravve:
  BCNF via Attribute Splitting. Conceptual Modelling and Its Theoretical Foundations 2012: 73-84
• 
  Tomer Kotek, Johann A. Makowsky, Elena V. Ravve:
  A Computational Framework for the Study of Partition Functions and Graph Polynomials. SYNASC 2012: 365-368
• 2011
• 
  Ilya Averbouch, Tomer Kotek, Johann A. Makowsky, Elena V. Ravve:
  The Universal Edge Elimination Polynomial and the Dichromatic Polynomial. Electron. Notes Discret. Math. 38: 77-82 (2011)
• 2008
• 
  Eldar Fischer, Johann A. Makowsky, Elena V. Ravve:
  Counting truth assignments of formulas of bounded tree-width or clique-width. Discret. Appl. Math. 156(4): 511-529 (2008)
• 1999
• 
  Elena V. Ravve:
  Decomposition of databases with translation schemes. Technion - Israel Institute of Technology, Israel, 1999
• 1998
• 
  Johann A. Makowsky, Elena V. Ravve:
  Dependency Preserving Refinements and the Fundamental Problem of Database Design. Data Knowl. Eng. 24(3): 277-312 (1998)
• 
  Johann A. Makowsky, Elena V. Ravve:
  Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18, 1995. Lecture Notes in Logic 11, Springer 1998, ISBN 978-3-540-63994-7 [contents]
• 1997
• 
  Johann A. Makowsky, Elena V. Ravve:
  The Fundamental Problem of Database Design. SOFSEM 1997: 53-69
• 1996
• 
  Johann A. Makowsky, Elena V. Ravve:
  Translation Schemes and the Fundamental Problem of Database Design. ER 1996: 5-26
• 1995
• 
  Johann A. Makowsky, Elena V. Ravve:
  Incremental Model Checking for Decomposable Structures (Extended Abstract). MFCS 1995: 540-551