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},
  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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics