BibTeX records: Iovka Boneva

download as .bib file

@inproceedings{DBLP:conf/lata/BonevaNS19,
  author    = {Iovka Boneva and
               Joachim Niehren and
               Momar Sakho},
  title     = {Regular Matching and Inclusion on Compressed Tree Patterns with Context
               Variables},
  booktitle = {Language and Automata Theory and Applications - 13th International
               Conference, {LATA} 2019, St. Petersburg, Russia, March 26-29, 2019,
               Proceedings},
  pages     = {343--355},
  year      = {2019},
  crossref  = {DBLP:conf/lata/2019},
  url       = {https://doi.org/10.1007/978-3-030-13435-8\_25},
  doi       = {10.1007/978-3-030-13435-8\_25},
  timestamp = {Tue, 12 Mar 2019 16:44:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lata/BonevaNS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/BonevaLS18,
  author    = {Iovka Boneva and
               Jose Lozano and
               Slawomir Staworko},
  title     = {Relational to {RDF} Data Exchange in Presence of a Shape Expression
               Schema},
  booktitle = {Proceedings of the 12th Alberto Mendelzon International Workshop on
               Foundations of Data Management, Cali, Colombia, May 21-25, 2018.},
  year      = {2018},
  crossref  = {DBLP:conf/amw/2018},
  url       = {http://ceur-ws.org/Vol-2100/paper6.pdf},
  timestamp = {Tue, 22 May 2018 08:59:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/BonevaLS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BonevaNS18,
  author    = {Iovka Boneva and
               Joachim Niehren and
               Momar Sakho},
  title     = {Certain Query Answering on Compressed String Patterns: From Streams
               to Hyperstreams},
  booktitle = {Reachability Problems - 12th International Conference, {RP} 2018,
               Marseille, France, September 24-26, 2018, Proceedings},
  pages     = {117--132},
  year      = {2018},
  crossref  = {DBLP:conf/rp/2018},
  url       = {https://doi.org/10.1007/978-3-030-00250-3\_9},
  doi       = {10.1007/978-3-030-00250-3\_9},
  timestamp = {Thu, 13 Sep 2018 14:59:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rp/BonevaNS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-11052,
  author    = {Iovka Boneva and
               Jose Lozano and
               Slawek Staworko},
  title     = {Relational to {RDF} Data Exchange in Presence of a Shape Expression
               Schema},
  journal   = {CoRR},
  volume    = {abs/1804.11052},
  year      = {2018},
  url       = {http://arxiv.org/abs/1804.11052},
  archivePrefix = {arXiv},
  eprint    = {1804.11052},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1804-11052},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2017Gayo,
  author    = {Jos{\'{e}} Emilio Labra Gayo and
               Eric Prud'hommeaux and
               Iovka Boneva and
               Dimitris Kontokostas},
  title     = {Validating {RDF} Data},
  series    = {Synthesis Lectures on the Semantic Web: Theory and Technology},
  publisher = {Morgan {\&} Claypool Publishers},
  year      = {2017},
  url       = {https://doi.org/10.2200/S00786ED1V01Y201707WBE016},
  doi       = {10.2200/S00786ED1V01Y201707WBE016},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/series/synthesis/2017Gayo},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BonevaGP17,
  author    = {Iovka Boneva and
               Jos{\'{e}} Emilio Labra Gayo and
               Eric G. Prud'hommeaux},
  title     = {Semantics and Validation of Shapes Schemas for {RDF}},
  booktitle = {The Semantic Web - {ISWC} 2017 - 16th International Semantic Web Conference,
               Vienna, Austria, October 21-25, 2017, Proceedings, Part {I}},
  pages     = {104--120},
  year      = {2017},
  crossref  = {DBLP:conf/semweb/2017-1},
  url       = {https://doi.org/10.1007/978-3-319-68288-4\_7},
  doi       = {10.1007/978-3-319-68288-4\_7},
  timestamp = {Wed, 14 Nov 2018 10:57:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/BonevaGP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GayoPSB17,
  author    = {Jos{\'{e}} Emilio Labra Gayo and
               Eric Prud'hommeaux and
               Harold R. Solbrig and
               Iovka Boneva},
  title     = {Validating and describing linked data portals using shapes},
  journal   = {CoRR},
  volume    = {abs/1701.08924},
  year      = {2017},
  url       = {http://arxiv.org/abs/1701.08924},
  archivePrefix = {arXiv},
  eprint    = {1701.08924},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GayoPSB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BonevaCS15,
  author    = {Iovka Boneva and
               Radu Ciucanu and
               Slawek Staworko},
  title     = {Schemas for Unordered {XML} on a {DIME}},
  journal   = {Theory Comput. Syst.},
  volume    = {57},
  number    = {2},
  pages     = {337--376},
  year      = {2015},
  url       = {https://doi.org/10.1007/s00224-014-9593-1},
  doi       = {10.1007/s00224-014-9593-1},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mst/BonevaCS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/Boneva15,
  author    = {Iovka Boneva and
               Angela Bonifati and
               Radu Ciucanu},
  title     = {Graph Data Exchange with Target Constraints},
  booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2015 Joint Conference
               (EDBT/ICDT), Brussels, Belgium, March 27th, 2015.},
  pages     = {171--176},
  year      = {2015},
  crossref  = {DBLP:conf/edbt/2015w},
  url       = {http://ceur-ws.org/Vol-1330/paper-28.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edbt/Boneva15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/Gayo15,
  author    = {Jos{\'{e}} Emilio Labra Gayo and
               Eric Prud'hommeaux and
               Iovka Boneva and
               Slawek Staworko and
               Harold R. Solbrig and
               Samuel Hym},
  title     = {Towards an {RDF} Validation Language Based on Regular Expression Derivatives},
  booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2015 Joint Conference
               (EDBT/ICDT), Brussels, Belgium, March 27th, 2015.},
  pages     = {197--204},
  year      = {2015},
  crossref  = {DBLP:conf/edbt/2015w},
  url       = {http://ceur-ws.org/Vol-1330/paper-32.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edbt/Gayo15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/StaworkoBGHPS15,
  author    = {Slawek Staworko and
               Iovka Boneva and
               Jos{\'{e}} Emilio Labra Gayo and
               Samuel Hym and
               Eric G. Prud'hommeaux and
               Harold R. Solbrig},
  title     = {Complexity and Expressiveness of ShEx for {RDF}},
  booktitle = {18th International Conference on Database Theory, {ICDT} 2015, March
               23-27, 2015, Brussels, Belgium},
  pages     = {195--211},
  year      = {2015},
  crossref  = {DBLP:conf/icdt/2015},
  url       = {https://doi.org/10.4230/LIPIcs.ICDT.2015.195},
  doi       = {10.4230/LIPIcs.ICDT.2015.195},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/StaworkoBGHPS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonevaGPS15,
  author    = {Iovka Boneva and
               Jos{\'{e}} Emilio Labra Gayo and
               Eric G. Prud'hommeaux and
               Slawek Staworko},
  title     = {Shape Expressions Schemas},
  journal   = {CoRR},
  volume    = {abs/1510.05555},
  year      = {2015},
  url       = {http://arxiv.org/abs/1510.05555},
  archivePrefix = {arXiv},
  eprint    = {1510.05555},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BonevaGPS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonevaGHPSS14,
  author    = {Iovka Boneva and
               Jos{\'{e}} Emilio Labra Gayo and
               Samuel Hym and
               Eric G. Prud'hommeaux and
               Harold R. Solbrig and
               Slawek Staworko},
  title     = {Validating {RDF} with Shape Expressions},
  journal   = {CoRR},
  volume    = {abs/1404.1270},
  year      = {2014},
  url       = {http://arxiv.org/abs/1404.1270},
  archivePrefix = {arXiv},
  eprint    = {1404.1270},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BonevaGHPSS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webdb/BonevaCS13,
  author    = {Iovka Boneva and
               Radu Ciucanu and
               Slawek Staworko},
  title     = {Simple Schemas for Unordered {XML}},
  booktitle = {Proceedings of the 16th International Workshop on the Web and Databases
               2013, WebDB 2013, New York, NY, USA, June 23, 2013.},
  pages     = {13--18},
  year      = {2013},
  crossref  = {DBLP:conf/webdb/2013},
  url       = {http://webdb2013.lille.inria.fr/Paper\%2030.pdf},
  timestamp = {Sun, 23 Apr 2017 19:31:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/webdb/BonevaCS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-4277,
  author    = {Iovka Boneva and
               Radu Ciucanu and
               Slawek Staworko},
  title     = {Simple Schemas for Unordered {XML}},
  journal   = {CoRR},
  volume    = {abs/1303.4277},
  year      = {2013},
  url       = {http://arxiv.org/abs/1303.4277},
  archivePrefix = {arXiv},
  eprint    = {1303.4277},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1303-4277},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonevaCS13,
  author    = {Iovka Boneva and
               Radu Ciucanu and
               Slawek Staworko},
  title     = {Schemas for Unordered {XML} on a {DIME}},
  journal   = {CoRR},
  volume    = {abs/1311.7307},
  year      = {2013},
  url       = {http://arxiv.org/abs/1311.7307},
  archivePrefix = {arXiv},
  eprint    = {1311.7307},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BonevaCS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/BonevaCGRTS11,
  author    = {Iovka Boneva and
               Anne{-}C{\'{e}}cile Caron and
               Beno{\^{\i}}t Groz and
               Yves Roos and
               Sophie Tison and
               Slawek Staworko},
  title     = {View update translation for {XML}},
  booktitle = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala,
               Sweden, March 21-24, 2011, Proceedings},
  pages     = {42--53},
  year      = {2011},
  crossref  = {DBLP:conf/icdt/2011},
  url       = {https://doi.org/10.1145/1938551.1938560},
  doi       = {10.1145/1938551.1938560},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/BonevaCGRTS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbtw/StaworkoBG10,
  author    = {Slawek Staworko and
               Iovka Boneva and
               Beno{\^{\i}}t Groz},
  title     = {The view update problem for {XML}},
  booktitle = {Proceedings of the 2010 {EDBT/ICDT} Workshops, Lausanne, Switzerland,
               March 22-26, 2010},
  year      = {2010},
  crossref  = {DBLP:conf/edbtw/2010},
  url       = {https://doi.org/10.1145/1754239.1754262},
  doi       = {10.1145/1754239.1754262},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/edbtw/StaworkoBG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BonevaKKR09,
  author    = {Iovka Boneva and
               J{\"{o}}rg Kreiker and
               Marcos E. Kurb{\'{a}}n and
               Arend Rensink},
  title     = {Graph Abstraction for a Modal Logic},
  journal   = {Bulletin of the {EATCS}},
  volume    = {97},
  pages     = {106--116},
  year      = {2009},
  timestamp = {Tue, 20 Mar 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eatcs/BonevaKKR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BauerBKR08,
  author    = {J{\"{o}}rg Bauer and
               Iovka Boneva and
               Marcos E. Kurb{\'{a}}n and
               Arend Rensink},
  title     = {A Modal-Logic Based Graph Abstraction},
  booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
               Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  pages     = {321--335},
  year      = {2008},
  crossref  = {DBLP:conf/gg/2008},
  url       = {https://doi.org/10.1007/978-3-540-87405-8\_22},
  doi       = {10.1007/978-3-540-87405-8\_22},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gg/BauerBKR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BonevaHKR07,
  author    = {Iovka Boneva and
               Frank Hermann and
               Harmen Kastenberg and
               Arend Rensink},
  title     = {Simulating Multigraph Transformations Using Simple Graphs},
  journal   = {{ECEASST}},
  volume    = {6},
  year      = {2007},
  url       = {https://doi.org/10.14279/tuj.eceasst.6.62},
  doi       = {10.14279/tuj.eceasst.6.62},
  timestamp = {Wed, 12 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/BonevaHKR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/TaentzerBBBBBGGHKMNPV07,
  author    = {Gabriele Taentzer and
               Enrico Biermann and
               D{\'{e}}nes Bisztray and
               Bernd Bohnet and
               Iovka Boneva and
               Artur Boronat and
               Leif Geiger and
               Rubino Gei{\ss} and
               {\'{A}}kos Horv{\'{a}}th and
               Ole Kniemeyer and
               Tom Mens and
               Benjamin Ness and
               Detlef Plump and
               Tam{\'{a}}s Vajk},
  title     = {Generation of Sierpinski Triangles: {A} Case Study for Graph Transformation
               Tools},
  booktitle = {Applications of Graph Transformations with Industrial Relevance, Third
               International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
               2007, Revised Selected and Invited Papers},
  pages     = {514--539},
  year      = {2007},
  crossref  = {DBLP:conf/agtive/2007},
  url       = {https://doi.org/10.1007/978-3-540-89020-1\_35},
  doi       = {10.1007/978-3-540-89020-1\_35},
  timestamp = {Tue, 20 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agtive/TaentzerBBBBBGGHKMNPV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Boneva06,
  author    = {Iovka Boneva},
  title     = {Expressivit{\'{e}}, satisfiabilit{\'{e}} et model checking
               d'une logique spatiale pour arbres non ordonn{\'{e}}s. (Logics
               for unranked and unordered trees and their use for querying semistructured
               data)},
  school    = {Lille University of Science and Technology, France},
  year      = {2006},
  url       = {https://tel.archives-ouvertes.fr/tel-00613198},
  timestamp = {Wed, 03 Aug 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Boneva06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonevaT05,
  author    = {Iovka Boneva and
               Jean{-}Marc Talbot},
  title     = {When ambients cannot be opened},
  journal   = {Theor. Comput. Sci.},
  volume    = {333},
  number    = {1-2},
  pages     = {127--169},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2004.10.020},
  doi       = {10.1016/j.tcs.2004.10.020},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/BonevaT05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonevaTT05,
  author    = {Iovka Boneva and
               Jean{-}Marc Talbot and
               Sophie Tison},
  title     = {Expressiveness of a Spatial Logic for Trees},
  booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
               26-29 June 2005, Chicago, IL, USA, Proceedings},
  pages     = {280--289},
  year      = {2005},
  crossref  = {DBLP:conf/lics/2005},
  url       = {https://doi.org/10.1109/LICS.2005.17},
  doi       = {10.1109/LICS.2005.17},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/BonevaTT05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BonevaT05,
  author    = {Iovka Boneva and
               Jean{-}Marc Talbot},
  title     = {Automata and Logics for Unranked and Unordered Trees},
  booktitle = {Term Rewriting and Applications, 16th International Conference, {RTA}
               2005, Nara, Japan, April 19-21, 2005, Proceedings},
  pages     = {500--515},
  year      = {2005},
  crossref  = {DBLP:conf/rta/2005},
  url       = {https://doi.org/10.1007/978-3-540-32033-3\_36},
  doi       = {10.1007/978-3-540-32033-3\_36},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/BonevaT05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BonevaT04,
  author    = {Iovka Boneva and
               Jean{-}Marc Talbot},
  title     = {On Complexity of Model-Checking for the {TQL} Logic},
  booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
               Computer Congress, {TC1} 3rd International Conference on Theoretical
               Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
  pages     = {381--394},
  year      = {2004},
  crossref  = {DBLP:conf/ifipTCS/2004},
  url       = {https://doi.org/10.1007/1-4020-8141-3\_30},
  doi       = {10.1007/1-4020-8141-3\_30},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifipTCS/BonevaT04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonevaT03,
  author    = {Iovka Boneva and
               Jean{-}Marc Talbot},
  title     = {When Ambients Cannot Be Opened},
  booktitle = {Foundations of Software Science and Computational Structures, 6th
               International Conference, {FOSSACS} 2003 Held as Part of the Joint
               European Conference on Theory and Practice of Software, {ETAPS} 2003,
               Warsaw, Poland, April 7-11, 2003, Proceedings},
  pages     = {169--184},
  year      = {2003},
  crossref  = {DBLP:conf/fossacs/2003},
  url       = {https://doi.org/10.1007/3-540-36576-1\_11},
  doi       = {10.1007/3-540-36576-1\_11},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/BonevaT03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lata/2019,
  editor    = {Carlos Mart{\'{\i}}n{-}Vide and
               Alexander Okhotin and
               Dana Shapira},
  title     = {Language and Automata Theory and Applications - 13th International
               Conference, {LATA} 2019, St. Petersburg, Russia, March 26-29, 2019,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11417},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-13435-8},
  doi       = {10.1007/978-3-030-13435-8},
  isbn      = {978-3-030-13434-1},
  timestamp = {Tue, 12 Mar 2019 16:44:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lata/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amw/2018,
  editor    = {Dan Olteanu and
               Barbara Poblete},
  title     = {Proceedings of the 12th Alberto Mendelzon International Workshop on
               Foundations of Data Management, Cali, Colombia, May 21-25, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2100},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2100},
  urn       = {urn:nbn:de:0074-2100-6},
  timestamp = {Tue, 22 May 2018 08:59:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amw/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2018,
  editor    = {Igor Potapov and
               Pierre{-}Alain Reynier},
  title     = {Reachability Problems - 12th International Conference, {RP} 2018,
               Marseille, France, September 24-26, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11123},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-00250-3},
  doi       = {10.1007/978-3-030-00250-3},
  isbn      = {978-3-030-00249-7},
  timestamp = {Thu, 13 Sep 2018 14:59:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rp/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2017-1,
  editor    = {Claudia d'Amato and
               Miriam Fern{\'{a}}ndez and
               Valentina A. M. Tamma and
               Freddy L{\'{e}}cu{\'{e}} and
               Philippe Cudr{\'{e}}{-}Mauroux and
               Juan F. Sequeda and
               Christoph Lange and
               Jeff Heflin},
  title     = {The Semantic Web - {ISWC} 2017 - 16th International Semantic Web Conference,
               Vienna, Austria, October 21-25, 2017, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10587},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68288-4},
  doi       = {10.1007/978-3-319-68288-4},
  isbn      = {978-3-319-68287-7},
  timestamp = {Wed, 14 Nov 2018 10:57:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/2017-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edbt/2015w,
  editor    = {Peter M. Fischer and
               Gustavo Alonso and
               Marcelo Arenas and
               Floris Geerts},
  title     = {Proceedings of the Workshops of the {EDBT/ICDT} 2015 Joint Conference
               (EDBT/ICDT), Brussels, Belgium, March 27th, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1330},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1330},
  urn       = {urn:nbn:de:0074-1330-0},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edbt/2015w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2015,
  editor    = {Marcelo Arenas and
               Mart{\'{\i}}n Ugarte},
  title     = {18th International Conference on Database Theory, {ICDT} 2015, March
               23-27, 2015, Brussels, Belgium},
  series    = {LIPIcs},
  volume    = {31},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-79-8},
  isbn      = {978-3-939897-79-8},
  timestamp = {Tue, 05 Apr 2016 18:11:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/webdb/2013,
  editor    = {Angela Bonifati and
               Cong Yu},
  title     = {Proceedings of the 16th International Workshop on the Web and Databases
               2013, WebDB 2013, New York, NY, USA, June 23, 2013},
  year      = {2013},
  timestamp = {Sun, 23 Apr 2017 19:31:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/webdb/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2011,
  editor    = {Tova Milo},
  title     = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala,
               Sweden, March 21-24, 2011, Proceedings},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0529-7},
  timestamp = {Mon, 14 Feb 2011 10:07:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edbtw/2010,
  editor    = {Florian Daniel and
               Lois M. L. Delcambre and
               Farshad Fotouhi and
               Irene Garrig{\'{o}}s and
               Giovanna Guerrini and
               Jose{-}Norberto Maz{\'{o}}n and
               Marco Mesiti and
               Sascha M{\"{u}}ller and
               Juan Trujillo and
               Traian Marius Truta and
               Bernhard Volz and
               Emmanuel Waller and
               Li Xiong and
               Esteban Zim{\'{a}}nyi},
  title     = {Proceedings of the 2010 {EDBT/ICDT} Workshops, Lausanne, Switzerland,
               March 22-26, 2010},
  series    = {{ACM} International Conference Proceeding Series},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-990-9},
  timestamp = {Thu, 20 Jul 2017 09:26:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edbtw/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gg/2008,
  editor    = {Hartmut Ehrig and
               Reiko Heckel and
               Grzegorz Rozenberg and
               Gabriele Taentzer},
  title     = {Graph Transformations, 4th International Conference, {ICGT} 2008,
               Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5214},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-87405-8},
  doi       = {10.1007/978-3-540-87405-8},
  isbn      = {978-3-540-87404-1},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gg/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agtive/2007,
  editor    = {Andy Sch{\"{u}}rr and
               Manfred Nagl and
               Albert Z{\"{u}}ndorf},
  title     = {Applications of Graph Transformations with Industrial Relevance, Third
               International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
               2007, Revised Selected and Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5088},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89020-1},
  doi       = {10.1007/978-3-540-89020-1},
  isbn      = {978-3-540-89019-5},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/agtive/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2005,
  title     = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
               26-29 June 2005, Chicago, IL, USA, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10087},
  isbn      = {0-7695-2266-1},
  timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2005,
  editor    = {J{\"{u}}rgen Giesl},
  title     = {Term Rewriting and Applications, 16th International Conference, {RTA}
               2005, Nara, Japan, April 19-21, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3467},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b135673},
  doi       = {10.1007/b135673},
  isbn      = {3-540-25596-6},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2004,
  editor    = {Jean{-}Jacques L{\'{e}}vy and
               Ernst W. Mayr and
               John C. Mitchell},
  title     = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
               Computer Congress, {TC1} 3rd International Conference on Theoretical
               Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
  series    = {{IFIP}},
  volume    = {155},
  publisher = {Kluwer/Springer},
  year      = {2004},
  isbn      = {1-4020-8140-5},
  timestamp = {Wed, 16 Jul 2014 09:03:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifipTCS/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2003,
  editor    = {Andrew D. Gordon},
  title     = {Foundations of Software Science and Computational Structures, 6th
               International Conference, {FOSSACS} 2003 Held as Part of the Joint
               European Conference on Theory and Practice of Software, {ETAPS} 2003,
               Warsaw, Poland, April 7-11, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2620},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36576-1},
  doi       = {10.1007/3-540-36576-1},
  isbn      = {3-540-00897-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier