Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "Ravve Elena"
@inproceedings{DBLP:conf/iwann/AvrosLRV23, author = {Renata Avros and Dan Lemberg and Elena V. Ravve and Zeev Volkovich}, editor = {Ignacio Rojas and Gonzalo Joya and Andreu Catal{\`{a}}}, title = {An Approach to Predicting Social Events via Dailies Tracking}, booktitle = {Advances in Computational Intelligence - 17th International Work-Conference on Artificial Neural Networks, {IWANN} 2023, Ponta Delgada, Portugal, June 19-21, 2023, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {14135}, pages = {280--291}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43078-7\_23}, doi = {10.1007/978-3-031-43078-7\_23}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iwann/AvrosLRV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/foiks/Ravve20, author = {Elena V. Ravve}, editor = {Andreas Herzig and Juha Kontinen}, title = {Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams}, booktitle = {Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12012}, pages = {242--262}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-39951-1\_15}, doi = {10.1007/978-3-030-39951-1\_15}, timestamp = {Wed, 29 Jan 2020 12:39:12 +0100}, biburl = {https://dblp.org/rec/conf/foiks/Ravve20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.apal.2019.04.007}, doi = {10.1016/J.APAL.2019.04.007}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/MakowskyRK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adbis/KorenblatR19, author = {Katerina Korenblat and Elena V. Ravve}, editor = {Tatjana Welzer and Johann Eder and Vili Podgorelec and Robert Wrembel and Mirjana Ivanovic and Johann Gamper and Mikolaj Morzy and Theodoros Tzouramanis and J{\'{e}}r{\^{o}}me Darmont and Aida Kamisalic Latific}, title = {Automatic Code Generator for Screen Based Systems}, booktitle = {New Trends in Databases and Information Systems, {ADBIS} 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8-11, 2019, Proceedings}, series = {Communications in Computer and Information Science}, volume = {1064}, pages = {253--265}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30278-8\_28}, doi = {10.1007/978-3-030-30278-8\_28}, timestamp = {Tue, 29 Dec 2020 18:28:21 +0100}, biburl = {https://dblp.org/rec/conf/adbis/KorenblatR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejc.2017.08.002}, doi = {10.1016/J.EJC.2017.08.002}, timestamp = {Tue, 24 Oct 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ejc/KotekMR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.3390/e19040178}, doi = {10.3390/E19040178}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entropy/PopkovVDAR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10479-015-2068-1}, doi = {10.1007/S10479-015-2068-1}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/anor/KirzhnerVRW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1002/cpe.3597}, doi = {10.1002/CPE.3597}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/concurrency/Ravve16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/foiks/Ravve16, author = {Elena V. Ravve}, editor = {Marc Gyssens and Guillermo Ricardo Simari}, title = {Maintenance of Queries Under Database Changes: {A} Unified Logic Based Approach}, booktitle = {Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9616}, pages = {191--208}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-30024-5\_11}, doi = {10.1007/978-3-319-30024-5\_11}, timestamp = {Sat, 09 Apr 2022 12:42:08 +0200}, biburl = {https://dblp.org/rec/conf/foiks/Ravve16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/MakowskyR16, author = {Johann A. Makowsky and Elena V. Ravve}, editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and {\AA}sa Hirvonen and Ruy J. G. B. de Queiroz}, title = {Semantic Equivalence of Graph Polynomials Definable in Second Order Logic}, booktitle = {Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9803}, pages = {279--296}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-52921-8\_18}, doi = {10.1007/978-3-662-52921-8\_18}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/wollic/MakowskyR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/RavveVW15, author = {Elena V. Ravve and Zeev Volkovich and Gerhard{-}Wilhelm Weber}, editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov}, title = {A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures}, booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi, Georgia, October 16-19, 2015}, series = {EPiC Series in Computing}, volume = {36}, pages = {229--251}, publisher = {EasyChair}, year = {2015}, url = {https://doi.org/10.29007/45rv}, doi = {10.29007/45RV}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/RavveVW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/RavveVW15, author = {Elena V. Ravve and Zeev Volkovich and Gerhard{-}Wilhelm Weber}, editor = {Laura Kov{\'{a}}cs and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie}, title = {Automatic Definition of Optimal Default Parameters of Models: Image Matting Application}, booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September 21-24, 2015}, pages = {251--254}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/SYNASC.2015.47}, doi = {10.1109/SYNASC.2015.47}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/synasc/RavveVW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/RavveVW15a, author = {Elena V. Ravve and Zeev Volkovich and Gerhard{-}Wilhelm Weber}, editor = {Laura Kov{\'{a}}cs and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie}, title = {Incremental Reasoning on Strongly Distributed Multi-agent Systems}, booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September 21-24, 2015}, pages = {415--422}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/SYNASC.2015.68}, doi = {10.1109/SYNASC.2015.68}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/synasc/RavveVW15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejc.2014.03.003}, doi = {10.1016/J.EJC.2014.03.003}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ejc/MakowskyRB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/Ravve14, author = {Elena V. Ravve}, editor = {Franz Winkler and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie}, title = {Views and Updates over Distributed Databases}, booktitle = {16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September 22-25, 2014}, pages = {341--348}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/SYNASC.2014.53}, doi = {10.1109/SYNASC.2014.53}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/synasc/Ravve14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/Ravve14a, author = {Elena V. Ravve}, editor = {Franz Winkler and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie}, title = {Analyzing {WMSOL} Definable Properties on Sum-Like Weighted Labeled Trees}, booktitle = {16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September 22-25, 2014}, pages = {375--382}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/SYNASC.2014.57}, doi = {10.1109/SYNASC.2014.57}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/synasc/Ravve14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.endm.2013.07.033}, doi = {10.1016/J.ENDM.2013.07.033}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/endm/MakowskyR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/RavveV13, author = {Elena V. Ravve and Zeev Volkovich}, editor = {Nikolaj S. Bj{\o}rner and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie}, title = {A Systematic Approach to Computations on Decomposable Graphs}, booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September 23-26, 2013}, pages = {398--405}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/SYNASC.2013.59}, doi = {10.1109/SYNASC.2013.59}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/synasc/RavveV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/MakowskyR12, author = {Johann A. Makowsky and Elena V. Ravve}, editor = {Antje D{\"{u}}sterh{\"{o}}ft and Meike Klettke and Klaus{-}Dieter Schewe}, title = {{BCNF} via Attribute Splitting}, booktitle = {Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {7260}, pages = {73--84}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28279-9\_7}, doi = {10.1007/978-3-642-28279-9\_7}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/MakowskyR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/KotekMR12, author = {Tomer Kotek and Johann A. Makowsky and Elena V. Ravve}, editor = {Andrei Voronkov and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie}, title = {A Computational Framework for the Study of Partition Functions and Graph Polynomials}, booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September 26-29, 2012}, pages = {365--368}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/SYNASC.2012.36}, doi = {10.1109/SYNASC.2012.36}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/synasc/KotekMR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.endm.2011.09.013}, doi = {10.1016/J.ENDM.2011.09.013}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/endm/AverbouchKMR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.dam.2006.06.020}, doi = {10.1016/J.DAM.2006.06.020}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/FischerMR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://technion.primo.exlibrisgroup.com/permalink/972TEC\_INST/q1jq5o/alma990022047770203971}, timestamp = {Thu, 01 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/phd/il/Ravve99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/S0169-023X(97)00029-3}, doi = {10.1016/S0169-023X(97)00029-3}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dke/MakowskyR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/978-3-662-22108-2}, doi = {10.1007/978-3-662-22108-2}, isbn = {978-3-540-63994-7}, timestamp = {Fri, 15 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/logicColl/1995.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/MakowskyR97, author = {Johann A. Makowsky and Elena V. Ravve}, editor = {Frantisek Pl{\'{a}}sil and Keith G. Jeffery}, title = {The Fundamental Problem of Database Design}, booktitle = {{SOFSEM} '97: Theory and Practice of Informatics, 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1338}, pages = {53--69}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63774-5\_97}, doi = {10.1007/3-540-63774-5\_97}, timestamp = {Mon, 26 Jun 2023 20:44:33 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/MakowskyR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/er/MakowskyR96, author = {Johann A. Makowsky and Elena V. Ravve}, editor = {Bernhard Thalheim}, title = {Translation Schemes and the Fundamental Problem of Database Design}, booktitle = {Conceptual Modeling - ER'96, 15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7-10, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1157}, pages = {5--26}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0019911}, doi = {10.1007/BFB0019911}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/er/MakowskyR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/MakowskyR95, author = {Johann A. Makowsky and Elena V. Ravve}, editor = {Jir{\'{\i}} Wiedermann and Petr H{\'{a}}jek}, title = {Incremental Model Checking for Decomposable Structures (Extended Abstract)}, booktitle = {Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {969}, pages = {540--551}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60246-1\_159}, doi = {10.1007/3-540-60246-1\_159}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/MakowskyR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.