Search dblp for Publications

export results for "Ravve Elena"

 download as .bib file

@inproceedings{DBLP:conf/iwann/AvrosLRV23,
  author       = {Renata Avros and
                  Dan Lemberg and
                  Elena V. Ravve and
                  Zeev Volkovich},
  title        = {An Approach to Predicting Social Events via Dailies Tracking},
  booktitle    = {{IWANN} {(2)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14135},
  pages        = {280--291},
  publisher    = {Springer},
  year         = {2023}
}

@inproceedings{DBLP:conf/foiks/Ravve20,
  author       = {Elena V. Ravve},
  title        = {Logic-Based Approach to Incremental Monitoring and Optimization on
                  Strongly Distributed Data Streams},
  booktitle    = {FoIKS},
  series       = {Lecture Notes in Computer Science},
  volume       = {12012},
  pages        = {242--262},
  publisher    = {Springer},
  year         = {2020}
}

@article{DBLP:journals/apal/MakowskyRK19,
  author       = {Johann A. Makowsky and
                  Elena V. Ravve and
                  Tomer Kotek},
  title        = {A logician's view of graph polynomials},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {170},
  number       = {9},
  pages        = {1030--1069},
  year         = {2019}
}

@inproceedings{DBLP:conf/adbis/KorenblatR19,
  author       = {Katerina Korenblat and
                  Elena V. Ravve},
  title        = {Automatic Code Generator for Screen Based Systems},
  booktitle    = {{ADBIS} (Short Papers and Workshops)},
  series       = {Communications in Computer and Information Science},
  volume       = {1064},
  pages        = {253--265},
  publisher    = {Springer},
  year         = {2019}
}

@article{DBLP:journals/ejc/KotekMR18,
  author       = {Tomer Kotek and
                  Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {On sequences of polynomials arising from graph invariants},
  journal      = {Eur. J. Comb.},
  volume       = {67},
  pages        = {181--198},
  year         = {2018}
}

@article{DBLP:journals/entropy/PopkovVDAR17,
  author       = {Yuri S. Popkov and
                  Zeev Volkovich and
                  Yu. A. Dubnov and
                  Renata Avros and
                  Elena V. Ravve},
  title        = {Entropy "2"-Soft Classification of Objects},
  journal      = {Entropy},
  volume       = {19},
  number       = {4},
  pages        = {178},
  year         = {2017}
}

@article{DBLP:journals/anor/KirzhnerVRW16,
  author       = {Valery M. Kirzhner and
                  Zeev Volkovich and
                  Elena V. Ravve and
                  Gerhard{-}Wilhelm Weber},
  title        = {An estimate of the objective function optimum for the network Steiner
                  problem},
  journal      = {Ann. Oper. Res.},
  volume       = {238},
  number       = {1-2},
  pages        = {315--328},
  year         = {2016}
}

@article{DBLP:journals/concurrency/Ravve16,
  author       = {Elena V. Ravve},
  title        = {Incremental computations over strongly distributed databases},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {28},
  number       = {11},
  pages        = {3061--3076},
  year         = {2016}
}

@inproceedings{DBLP:conf/foiks/Ravve16,
  author       = {Elena V. Ravve},
  title        = {Maintenance of Queries Under Database Changes: {A} Unified Logic Based
                  Approach},
  booktitle    = {FoIKS},
  series       = {Lecture Notes in Computer Science},
  volume       = {9616},
  pages        = {191--208},
  publisher    = {Springer},
  year         = {2016}
}

@inproceedings{DBLP:conf/wollic/MakowskyR16,
  author       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Semantic Equivalence of Graph Polynomials Definable in Second Order
                  Logic},
  booktitle    = {WoLLIC},
  series       = {Lecture Notes in Computer Science},
  volume       = {9803},
  pages        = {279--296},
  publisher    = {Springer},
  year         = {2016}
}

@inproceedings{DBLP:conf/gcai/RavveVW15,
  author       = {Elena V. Ravve and
                  Zeev Volkovich and
                  Gerhard{-}Wilhelm Weber},
  title        = {A Uniform Approach to Incremental Automated Reasoning on Strongly
                  Distributed Structures},
  booktitle    = {{GCAI}},
  series       = {EPiC Series in Computing},
  volume       = {36},
  pages        = {229--251},
  publisher    = {EasyChair},
  year         = {2015}
}

@inproceedings{DBLP:conf/synasc/RavveVW15,
  author       = {Elena V. Ravve and
                  Zeev Volkovich and
                  Gerhard{-}Wilhelm Weber},
  title        = {Automatic Definition of Optimal Default Parameters of Models: Image
                  Matting Application},
  booktitle    = {{SYNASC}},
  pages        = {251--254},
  publisher    = {{IEEE} Computer Society},
  year         = {2015}
}

@inproceedings{DBLP:conf/synasc/RavveVW15a,
  author       = {Elena V. Ravve and
                  Zeev Volkovich and
                  Gerhard{-}Wilhelm Weber},
  title        = {Incremental Reasoning on Strongly Distributed Multi-agent Systems},
  booktitle    = {{SYNASC}},
  pages        = {415--422},
  publisher    = {{IEEE} Computer Society},
  year         = {2015}
}

@article{DBLP:journals/ejc/MakowskyRB14,
  author       = {Johann A. Makowsky and
                  Elena V. Ravve and
                  N. K. Blanchard},
  title        = {On the location of roots of graph polynomials},
  journal      = {Eur. J. Comb.},
  volume       = {41},
  pages        = {1--19},
  year         = {2014}
}

@inproceedings{DBLP:conf/synasc/Ravve14,
  author       = {Elena V. Ravve},
  title        = {Views and Updates over Distributed Databases},
  booktitle    = {{SYNASC}},
  pages        = {341--348},
  publisher    = {{IEEE} Computer Society},
  year         = {2014}
}

@inproceedings{DBLP:conf/synasc/Ravve14a,
  author       = {Elena V. Ravve},
  title        = {Analyzing {WMSOL} Definable Properties on Sum-Like Weighted Labeled
                  Trees},
  booktitle    = {{SYNASC}},
  pages        = {375--382},
  publisher    = {{IEEE} Computer Society},
  year         = {2014}
}

@article{DBLP:journals/endm/MakowskyR13,
  author       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {On the Location of Roots of Graph Polynomials},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {43},
  pages        = {201--206},
  year         = {2013}
}

@inproceedings{DBLP:conf/synasc/RavveV13,
  author       = {Elena V. Ravve and
                  Zeev Volkovich},
  title        = {A Systematic Approach to Computations on Decomposable Graphs},
  booktitle    = {{SYNASC}},
  pages        = {398--405},
  publisher    = {{IEEE} Computer Society},
  year         = {2013}
}

@inproceedings{DBLP:conf/birthday/MakowskyR12,
  author       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {{BCNF} via Attribute Splitting},
  booktitle    = {Conceptual Modelling and Its Theoretical Foundations},
  series       = {Lecture Notes in Computer Science},
  volume       = {7260},
  pages        = {73--84},
  publisher    = {Springer},
  year         = {2012}
}

@inproceedings{DBLP:conf/synasc/KotekMR12,
  author       = {Tomer Kotek and
                  Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {A Computational Framework for the Study of Partition Functions and
                  Graph Polynomials},
  booktitle    = {{SYNASC}},
  pages        = {365--368},
  publisher    = {{IEEE} Computer Society},
  year         = {2012}
}

@article{DBLP:journals/endm/AverbouchKMR11,
  author       = {Ilya Averbouch and
                  Tomer Kotek and
                  Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {The Universal Edge Elimination Polynomial and the Dichromatic Polynomial},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {38},
  pages        = {77--82},
  year         = {2011}
}

@article{DBLP:journals/dam/FischerMR08,
  author       = {Eldar Fischer and
                  Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Counting truth assignments of formulas of bounded tree-width or clique-width},
  journal      = {Discret. Appl. Math.},
  volume       = {156},
  number       = {4},
  pages        = {511--529},
  year         = {2008}
}

@phdthesis{DBLP:phd/il/Ravve99,
  author       = {Elena V. Ravve},
  title        = {Decomposition of databases with translation schemes},
  school       = {Technion - Israel Institute of Technology, Israel},
  year         = {1999}
}

@article{DBLP:journals/dke/MakowskyR98,
  author       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Dependency Preserving Refinements and the Fundamental Problem of Database
                  Design},
  journal      = {Data Knowl. Eng.},
  volume       = {24},
  number       = {3},
  pages        = {277--312},
  year         = {1998}
}

@proceedings{DBLP:conf/logicColl/1995,
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  publisher    = {Springer},
  year         = {1998}
}

@inproceedings{DBLP:conf/sofsem/MakowskyR97,
  author       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {The Fundamental Problem of Database Design},
  booktitle    = {{SOFSEM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1338},
  pages        = {53--69},
  publisher    = {Springer},
  year         = {1997}
}

@inproceedings{DBLP:conf/er/MakowskyR96,
  author       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Translation Schemes and the Fundamental Problem of Database Design},
  booktitle    = {{ER}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1157},
  pages        = {5--26},
  publisher    = {Springer},
  year         = {1996}
}

@inproceedings{DBLP:conf/mfcs/MakowskyR95,
  author       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Incremental Model Checking for Decomposable Structures (Extended Abstract)},
  booktitle    = {{MFCS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {969},
  pages        = {540--551},
  publisher    = {Springer},
  year         = {1995}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.