BibTeX records: Tobias Mühlbauer

download as .bib file

@inproceedings{DBLP:conf/btw/VogelsgesangML019,
  author       = {Adrian Vogelsgesang and
                  Tobias M{\"{u}}hlbauer and
                  Viktor Leis and
                  Thomas Neumann and
                  Alfons Kemper},
  editor       = {Torsten Grust and
                  Felix Naumann and
                  Alexander B{\"{o}}hm and
                  Wolfgang Lehner and
                  Theo H{\"{a}}rder and
                  Erhard Rahm and
                  Andreas Heuer and
                  Meike Klettke and
                  Holger Meyer},
  title        = {Domain Query Optimization: Adapting the General-Purpose Database System
                  Hyper for Tableau Workloads},
  booktitle    = {Datenbanksysteme f{\"{u}}r Business, Technologie und Web {(BTW}
                  2019), 18. Fachtagung des GI-Fachbereichs ,,Datenbanken und Informationssysteme"
                  (DBIS), 4.-8. M{\"{a}}rz 2019, Rostock, Germany, Proceedings},
  series       = {{LNI}},
  volume       = {{P-289}},
  pages        = {313--333},
  publisher    = {Gesellschaft f{\"{u}}r Informatik, Bonn},
  year         = {2019},
  url          = {https://doi.org/10.18420/btw2019-19},
  doi          = {10.18420/BTW2019-19},
  timestamp    = {Wed, 13 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/btw/VogelsgesangML019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/VogelsgesangHFK18,
  author       = {Adrian Vogelsgesang and
                  Michael Haubenschild and
                  Jan Finis and
                  Alfons Kemper and
                  Viktor Leis and
                  Tobias M{\"{u}}hlbauer and
                  Thomas Neumann and
                  Manuel Then},
  editor       = {Alexander B{\"{o}}hm and
                  Tilmann Rabl},
  title        = {Get Real: How Benchmarks Fail to Represent the Real World},
  booktitle    = {Proceedings of the 7th International Workshop on Testing Database
                  Systems, DBTest@SIGMOD 2018, Houston, TX, USA, June 15, 2018},
  pages        = {1:1--1:6},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3209950.3209952},
  doi          = {10.1145/3209950.3209952},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/VogelsgesangHFK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Muhlbauer16,
  author       = {Tobias M{\"{u}}hlbauer},
  title        = {On Scalable and Flexible Transaction and Query Processing in Main-Memory
                  Database Systems},
  school       = {Technical University Munich, Germany},
  year         = {2016},
  url          = {https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20161202-1320379-1-5},
  urn          = {urn:nbn:de:bvb:91-diss-20161202-1320379-1-5},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Muhlbauer16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/LangMFB0K16,
  author       = {Harald Lang and
                  Tobias M{\"{u}}hlbauer and
                  Florian Funke and
                  Peter A. Boncz and
                  Thomas Neumann and
                  Alfons Kemper},
  editor       = {Fatma {\"{O}}zcan and
                  Georgia Koutrika and
                  Sam Madden},
  title        = {Data Blocks: Hybrid {OLTP} and {OLAP} on Compressed Storage using
                  both Vectorization and Compilation},
  booktitle    = {Proceedings of the 2016 International Conference on Management of
                  Data, {SIGMOD} Conference 2016, San Francisco, CA, USA, June 26 -
                  July 01, 2016},
  pages        = {311--326},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2882903.2882925},
  doi          = {10.1145/2882903.2882925},
  timestamp    = {Mon, 10 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigmod/LangMFB0K16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/PandeyKVM0K16,
  author       = {Varun Pandey and
                  Andreas Kipf and
                  Dimitri Vorona and
                  Tobias M{\"{u}}hlbauer and
                  Thomas Neumann and
                  Alfons Kemper},
  editor       = {Fatma {\"{O}}zcan and
                  Georgia Koutrika and
                  Sam Madden},
  title        = {High-Performance Geospatial Analytics in HyPerSpace},
  booktitle    = {Proceedings of the 2016 International Conference on Management of
                  Data, {SIGMOD} Conference 2016, San Francisco, CA, USA, June 26 -
                  July 01, 2016},
  pages        = {2145--2148},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2882903.2899412},
  doi          = {10.1145/2882903.2899412},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/PandeyKVM0K16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/RodigerMK015,
  author       = {Wolf R{\"{o}}diger and
                  Tobias M{\"{u}}hlbauer and
                  Alfons Kemper and
                  Thomas Neumann},
  title        = {High-Speed Query Processing over High-Speed Networks},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {9},
  number       = {4},
  pages        = {228--239},
  year         = {2015},
  url          = {http://www.vldb.org/pvldb/vol9/p228-roediger.pdf},
  doi          = {10.14778/2856318.2856319},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/RodigerMK015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EckhardtMMW15,
  author       = {Jonas Eckhardt and
                  Tobias M{\"{u}}hlbauer and
                  Jos{\'{e}} Meseguer and
                  Martin Wirsing},
  title        = {Semantics, distributed implementation, and formal analysis of {KLAIM}
                  models in Maude},
  journal      = {Sci. Comput. Program.},
  volume       = {99},
  pages        = {24--74},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.10.001},
  doi          = {10.1016/J.SCICO.2014.10.001},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/EckhardtMMW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/btw/Kaufmann15,
  author       = {Moritz Kaufmann and
                  Tobias M{\"{u}}hlbauer and
                  Manuel Then and
                  Andrey Gubichev and
                  Alfons Kemper and
                  Thomas Neumann},
  editor       = {Thomas Seidl and
                  Norbert Ritter and
                  Harald Sch{\"{o}}ning and
                  Kai{-}Uwe Sattler and
                  Theo H{\"{a}}rder and
                  Steffen Friedrich and
                  Wolfram Wingerath},
  title        = {Hochperformante Analyse von Graph-Datenbanken},
  booktitle    = {Datenbanksysteme f{\"{u}}r Business, Technologie und Web (BTW),
                  16. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme"
                  (DBIS), 4.-6.3.2015 in Hamburg, Germany. Proceedings},
  series       = {{LNI}},
  volume       = {{P-241}},
  pages        = {311--330},
  publisher    = {{GI}},
  year         = {2015},
  url          = {https://dl.gi.de/handle/20.500.12116/2414},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/btw/Kaufmann15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/MuhlbauerRKK015,
  author       = {Tobias M{\"{u}}hlbauer and
                  Wolf R{\"{o}}diger and
                  Andreas Kipf and
                  Alfons Kemper and
                  Thomas Neumann},
  editor       = {Asterios Katsifodimos},
  title        = {High-Performance Main-Memory Database Systems and Modern Virtualization:
                  Friends or Foes?},
  booktitle    = {Proceedings of the Fourth Workshop on Data analytics in the Cloud,
                  DanaC 2015, Melbourne, VIC, Australia, May 31 - June 4, 2015},
  pages        = {4:1--4:4},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2799562.2799643},
  doi          = {10.1145/2799562.2799643},
  timestamp    = {Tue, 06 Nov 2018 11:07:40 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/MuhlbauerRKK015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/0001MK15,
  author       = {Thomas Neumann and
                  Tobias M{\"{u}}hlbauer and
                  Alfons Kemper},
  editor       = {Timos K. Sellis and
                  Susan B. Davidson and
                  Zachary G. Ives},
  title        = {Fast Serializable Multi-Version Concurrency Control for Main-Memory
                  Database Systems},
  booktitle    = {Proceedings of the 2015 {ACM} {SIGMOD} International Conference on
                  Management of Data, Melbourne, Victoria, Australia, May 31 - June
                  4, 2015},
  pages        = {677--689},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2723372.2749436},
  doi          = {10.1145/2723372.2749436},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/0001MK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RodigerMK015,
  author       = {Wolf R{\"{o}}diger and
                  Tobias M{\"{u}}hlbauer and
                  Alfons Kemper and
                  Thomas Neumann},
  title        = {High-Speed Query Processing over High-Speed Networks},
  journal      = {CoRR},
  volume       = {abs/1502.07169},
  year         = {2015},
  url          = {http://arxiv.org/abs/1502.07169},
  eprinttype    = {arXiv},
  eprint       = {1502.07169},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/RodigerMK015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dbsk/FunkeKM0L14,
  author       = {Florian Funke and
                  Alfons Kemper and
                  Tobias M{\"{u}}hlbauer and
                  Thomas Neumann and
                  Viktor Leis},
  title        = {HyPer Beyond Software: Exploiting Modern Hardware for Main-Memory
                  Database Systems},
  journal      = {Datenbank-Spektrum},
  volume       = {14},
  number       = {3},
  pages        = {173--181},
  year         = {2014},
  url          = {https://doi.org/10.1007/s13222-014-0165-y},
  doi          = {10.1007/S13222-014-0165-Y},
  timestamp    = {Mon, 10 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dbsk/FunkeKM0L14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/damon/MuhlbauerRSK014,
  author       = {Tobias M{\"{u}}hlbauer and
                  Wolf R{\"{o}}diger and
                  Robert Seilbeck and
                  Alfons Kemper and
                  Thomas Neumann},
  editor       = {Alfons Kemper and
                  Ippokratis Pandis},
  title        = {Heterogeneity-conscious parallel query execution: getting a better
                  mileage while driving faster!},
  booktitle    = {Tenth International Workshop on Data Management on New Hardware, DaMoN
                  2014, Snowbird, UT, USA, June 23, 2014},
  pages        = {2:1--2:10},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2619228.2619230},
  doi          = {10.1145/2619228.2619230},
  timestamp    = {Tue, 06 Nov 2018 16:58:57 +0100},
  biburl       = {https://dblp.org/rec/conf/damon/MuhlbauerRSK014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/RodigerMURK014,
  author       = {Wolf R{\"{o}}diger and
                  Tobias M{\"{u}}hlbauer and
                  Philipp Unterbrunner and
                  Angelika Reiser and
                  Alfons Kemper and
                  Thomas Neumann},
  editor       = {Isabel F. Cruz and
                  Elena Ferrari and
                  Yufei Tao and
                  Elisa Bertino and
                  Goce Trajcevski},
  title        = {Locality-sensitive operators for parallel main-memory database clusters},
  booktitle    = {{IEEE} 30th International Conference on Data Engineering, Chicago,
                  {ICDE} 2014, IL, USA, March 31 - April 4, 2014},
  pages        = {592--603},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICDE.2014.6816684},
  doi          = {10.1109/ICDE.2014.6816684},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icde/RodigerMURK014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/MuhlbauerRSRK014,
  author       = {Tobias M{\"{u}}hlbauer and
                  Wolf R{\"{o}}diger and
                  Robert Seilbeck and
                  Angelika Reiser and
                  Alfons Kemper and
                  Thomas Neumann},
  editor       = {Curtis E. Dyreson and
                  Feifei Li and
                  M. Tamer {\"{O}}zsu},
  title        = {One {DBMS} for all: the brawny few and the wimpy crowd},
  booktitle    = {International Conference on Management of Data, {SIGMOD} 2014, Snowbird,
                  UT, USA, June 22-27, 2014},
  pages        = {697--700},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2588555.2594527},
  doi          = {10.1145/2588555.2594527},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/MuhlbauerRSRK014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dbsk/KemperM0RR13,
  author       = {Alfons Kemper and
                  Tobias M{\"{u}}hlbauer and
                  Thomas Neumann and
                  Angelika Reiser and
                  Wolf R{\"{o}}diger},
  title        = {Bericht vom Herbsttreffen der GI-Fachgruppe Datenbanksysteme},
  journal      = {Datenbank-Spektrum},
  volume       = {13},
  number       = {1},
  pages        = {65--66},
  year         = {2013},
  url          = {https://doi.org/10.1007/s13222-013-0118-x},
  doi          = {10.1007/S13222-013-0118-X},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dbsk/KemperM0RR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/Kemper0FFLMMR13,
  author       = {Alfons Kemper and
                  Thomas Neumann and
                  Jan Finis and
                  Florian Funke and
                  Viktor Leis and
                  Henrik M{\"{u}}he and
                  Tobias M{\"{u}}hlbauer and
                  Wolf R{\"{o}}diger},
  title        = {Processing in the Hybrid {OLTP} {\&} {OLAP} Main-Memory Database
                  System HyPer},
  journal      = {{IEEE} Data Eng. Bull.},
  volume       = {36},
  number       = {2},
  pages        = {41--47},
  year         = {2013},
  url          = {http://sites.computer.org/debull/A13june/hyper1.pdf},
  timestamp    = {Mon, 10 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/debu/Kemper0FFLMMR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/MuhlbauerRSRK013,
  author       = {Tobias M{\"{u}}hlbauer and
                  Wolf R{\"{o}}diger and
                  Robert Seilbeck and
                  Angelika Reiser and
                  Alfons Kemper and
                  Thomas Neumann},
  title        = {Instant Loading for Main Memory Databases},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {6},
  number       = {14},
  pages        = {1702--1713},
  year         = {2013},
  url          = {http://www.vldb.org/pvldb/vol6/p1702-muehlbauer.pdf},
  doi          = {10.14778/2556549.2556555},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/MuhlbauerRSRK013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/btw/SteinkampM13,
  author       = {Maren Steinkamp and
                  Tobias M{\"{u}}hlbauer},
  editor       = {Gunter Saake and
                  Andreas Henrich and
                  Wolfgang Lehner and
                  Thomas Neumann and
                  Veit K{\"{o}}ppen},
  title        = {HyDash: {A} Dashboard for Real-Time Business Intelligence based on
                  the HyPer Main Memory Database System},
  booktitle    = {Datenbanksysteme f{\"{u}}r Business, Technologie und Web (BTW),
                  - Workshopband, 15. Fachtagung des GI-Fachbereichs "Datenbanken und
                  Informationssysteme" (DBIS), 11.-15.3.2013 in Magdeburg, Germany.
                  Proceedings},
  series       = {{LNI}},
  volume       = {{P-216}},
  pages        = {217--226},
  publisher    = {{GI}},
  year         = {2013},
  url          = {https://dl.gi.de/handle/20.500.12116/17436},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/btw/SteinkampM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/btw/MuhlbauerRRK013,
  author       = {Tobias M{\"{u}}hlbauer and
                  Wolf R{\"{o}}diger and
                  Angelika Reiser and
                  Alfons Kemper and
                  Thomas Neumann},
  editor       = {Volker Markl and
                  Gunter Saake and
                  Kai{-}Uwe Sattler and
                  Gregor Hackenbroich and
                  Bernhard Mitschang and
                  Theo H{\"{a}}rder and
                  Veit K{\"{o}}ppen},
  title        = {ScyPer: {A} Hybrid OLTP{\&}OLAP Distributed Main Memory Database
                  System for Scalable Real-Time Analytics},
  booktitle    = {Datenbanksysteme f{\"{u}}r Business, Technologie und Web (BTW),
                  15. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme"
                  (DBIS), 11.-15.3.2013 in Magdeburg, Germany. Proceedings},
  series       = {{LNI}},
  volume       = {{P-214}},
  pages        = {499--502},
  publisher    = {{GI}},
  year         = {2013},
  url          = {https://dl.gi.de/handle/20.500.12116/17342},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/btw/MuhlbauerRRK013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/MuhlbauerRRK013,
  author       = {Tobias M{\"{u}}hlbauer and
                  Wolf R{\"{o}}diger and
                  Angelika Reiser and
                  Alfons Kemper and
                  Thomas Neumann},
  editor       = {Kostas Tzoumas and
                  Shivnath Babu},
  title        = {ScyPer: elastic {OLAP} throughput on transactional data},
  booktitle    = {Proceedings of the Second Workshop on Data Analytics in the Cloud,
                  DanaC '13, New York, NY, USA, June 23, 2013},
  pages        = {11--15},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2486767.2486770},
  doi          = {10.1145/2486767.2486770},
  timestamp    = {Thu, 13 Jan 2022 15:03:18 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/MuhlbauerRRK013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/EckhardtMAMW12,
  author       = {Jonas Eckhardt and
                  Tobias M{\"{u}}hlbauer and
                  Musab AlTurki and
                  Jos{\'{e}} Meseguer and
                  Martin Wirsing},
  editor       = {Juan de Lara and
                  Andrea Zisman},
  title        = {Stable Availability under Denial of Service Attacks through Formal
                  Patterns},
  booktitle    = {Fundamental Approaches to Software Engineering - 15th International
                  Conference, {FASE} 2012, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
                  March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7212},
  pages        = {78--93},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28872-2\_6},
  doi          = {10.1007/978-3-642-28872-2\_6},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/EckhardtMAMW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/EckhardtMMW12,
  author       = {Jonas Eckhardt and
                  Tobias M{\"{u}}hlbauer and
                  Jos{\'{e}} Meseguer and
                  Martin Wirsing},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Miguel Palomino},
  title        = {Statistical Model Checking for Composite Actor Systems},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 21st International
                  Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7841},
  pages        = {143--160},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-37635-1\_9},
  doi          = {10.1007/978-3-642-37635-1\_9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/EckhardtMMW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/WirsingEMM12,
  author       = {Martin Wirsing and
                  Jonas Eckhardt and
                  Tobias M{\"{u}}hlbauer and
                  Jos{\'{e}} Meseguer},
  editor       = {Francisco Dur{\'{a}}n},
  title        = {Design and Analysis of Cloud-Based Architectures with {KLAIM} and
                  Maude},
  booktitle    = {Rewriting Logic and Its Applications - 9th International Workshop,
                  {WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
                  March 24-25, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7571},
  pages        = {54--82},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34005-5\_4},
  doi          = {10.1007/978-3-642-34005-5\_4},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/WirsingEMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics