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}, 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}}, pages = {280--291}, year = {2023}, crossref = {DBLP:conf/iwann/2023-2}, 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}, 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}, pages = {242--262}, year = {2020}, crossref = {DBLP:conf/foiks/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}, 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}, pages = {253--265}, year = {2019}, crossref = {DBLP:conf/adbis/2019w}, 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}, 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}, pages = {191--208}, year = {2016}, crossref = {DBLP:conf/foiks/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}, 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}, pages = {279--296}, year = {2016}, crossref = {DBLP:conf/wollic/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}, 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}, pages = {229--251}, year = {2015}, crossref = {DBLP:conf/gcai/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}, 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}, year = {2015}, crossref = {DBLP:conf/synasc/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}, 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}, year = {2015}, crossref = {DBLP:conf/synasc/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}, 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}, year = {2014}, crossref = {DBLP:conf/synasc/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}, 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}, year = {2014}, crossref = {DBLP:conf/synasc/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}, 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}, year = {2013}, crossref = {DBLP:conf/synasc/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}, title = {{BCNF} via Attribute Splitting}, booktitle = {Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday}, pages = {73--84}, year = {2012}, crossref = {DBLP:conf/birthday/2012thalheim}, 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}, 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}, year = {2012}, crossref = {DBLP:conf/synasc/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}, 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}, pages = {53--69}, year = {1997}, crossref = {DBLP:conf/sofsem/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}, 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}, pages = {5--26}, year = {1996}, crossref = {DBLP:conf/er/96}, 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}, 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}, pages = {540--551}, year = {1995}, crossref = {DBLP:conf/mfcs/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} }
@proceedings{DBLP:conf/iwann/2023-2, editor = {Ignacio Rojas and Gonzalo Joya and Andreu Catal{\`{a}}}, title = {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}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43078-7}, doi = {10.1007/978-3-031-43078-7}, isbn = {978-3-031-43077-0}, timestamp = {Sat, 27 Apr 2024 22:19:55 +0200}, biburl = {https://dblp.org/rec/conf/iwann/2023-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/foiks/2020, editor = {Andreas Herzig and Juha Kontinen}, title = {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}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-39951-1}, doi = {10.1007/978-3-030-39951-1}, isbn = {978-3-030-39950-4}, timestamp = {Sat, 27 Apr 2024 22:19:55 +0200}, biburl = {https://dblp.org/rec/conf/foiks/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/adbis/2019w, 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 = {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}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30278-8}, doi = {10.1007/978-3-030-30278-8}, isbn = {978-3-030-30277-1}, timestamp = {Sat, 27 Apr 2024 22:19:55 +0200}, biburl = {https://dblp.org/rec/conf/adbis/2019w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/foiks/2016, editor = {Marc Gyssens and Guillermo Ricardo Simari}, title = {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}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-30024-5}, doi = {10.1007/978-3-319-30024-5}, isbn = {978-3-319-30023-8}, timestamp = {Sat, 27 Apr 2024 22:19:55 +0200}, biburl = {https://dblp.org/rec/conf/foiks/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wollic/2016, editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and {\AA}sa Hirvonen and Ruy J. G. B. de Queiroz}, title = {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}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-52921-8}, doi = {10.1007/978-3-662-52921-8}, isbn = {978-3-662-52920-1}, timestamp = {Sat, 27 Apr 2024 22:19:55 +0200}, biburl = {https://dblp.org/rec/conf/wollic/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gcai/2015, editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov}, title = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi, Georgia, October 16-19, 2015}, series = {EPiC Series in Computing}, volume = {36}, publisher = {EasyChair}, year = {2015}, url = {https://easychair.org/publications/volume/GCAI\_2015}, timestamp = {Sat, 27 Apr 2024 22:19:55 +0200}, biburl = {https://dblp.org/rec/conf/gcai/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/synasc/2015, 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 = {17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September 21-24, 2015}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://ieeexplore.ieee.org/xpl/conhome/7425657/proceeding}, isbn = {978-1-5090-0461-4}, timestamp = {Sat, 27 Apr 2024 22:19:55 +0200}, biburl = {https://dblp.org/rec/conf/synasc/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/synasc/2014, editor = {Franz Winkler and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie}, title = {16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September 22-25, 2014}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://ieeexplore.ieee.org/xpl/conhome/7031476/proceeding}, isbn = {978-1-4799-8447-3}, timestamp = {Sat, 27 Apr 2024 22:19:55 +0200}, biburl = {https://dblp.org/rec/conf/synasc/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/synasc/2013, 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 = {15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September 23-26, 2013}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://ieeexplore.ieee.org/xpl/conhome/6820820/proceeding}, isbn = {978-1-4799-3035-7}, timestamp = {Sat, 27 Apr 2024 22:19:55 +0200}, biburl = {https://dblp.org/rec/conf/synasc/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2012thalheim, editor = {Antje D{\"{u}}sterh{\"{o}}ft and Meike Klettke and Klaus{-}Dieter Schewe}, title = {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}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28279-9}, doi = {10.1007/978-3-642-28279-9}, isbn = {978-3-642-28278-2}, timestamp = {Sat, 27 Apr 2024 22:19:55 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2012thalheim.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/synasc/2012, editor = {Andrei Voronkov and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie}, title = {14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September 26-29, 2012}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://ieeexplore.ieee.org/xpl/conhome/6480928/proceeding}, isbn = {978-1-4673-5026-6}, timestamp = {Sat, 27 Apr 2024 22:19:55 +0200}, biburl = {https://dblp.org/rec/conf/synasc/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sofsem/1997, editor = {Frantisek Pl{\'{a}}sil and Keith G. Jeffery}, title = {{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}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63774-5}, doi = {10.1007/3-540-63774-5}, isbn = {3-540-63774-5}, timestamp = {Sat, 27 Apr 2024 22:19:55 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/1997.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/er/96, editor = {Bernhard Thalheim}, title = {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}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0019909}, doi = {10.1007/BFB0019909}, isbn = {3-540-61784-1}, timestamp = {Sat, 27 Apr 2024 22:19:55 +0200}, biburl = {https://dblp.org/rec/conf/er/96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mfcs/1995, editor = {Jir{\'{\i}} Wiedermann and Petr H{\'{a}}jek}, title = {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}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60246-1}, doi = {10.1007/3-540-60246-1}, isbn = {3-540-60246-1}, timestamp = {Sat, 27 Apr 2024 22:19:55 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/1995.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.