BibTeX records: Elias Castegren

download as .bib file

@incollection{DBLP:books/sp/24/CastegrenW24,
  author       = {Elias Castegren and
                  Tobias Wrigstad},
  editor       = {Frank S. de Boer and
                  Ferruccio Damiani and
                  Reiner H{\"{a}}hnle and
                  Einar Broch Johnsen and
                  Eduard Kamburjan},
  title        = {Encore: Coda},
  booktitle    = {Active Object Languages: Current Research Trends},
  series       = {Lecture Notes in Computer Science},
  volume       = {14360},
  pages        = {59--91},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-51060-1\_3},
  doi          = {10.1007/978-3-031-51060-1\_3},
  timestamp    = {Thu, 29 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/24/CastegrenW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-02416,
  author       = {Beatrice {\AA}kerblom and
                  Elias Castegren},
  title        = {Arrays in Practice: An Empirical Study of Array Access Patterns on
                  the {JVM}},
  journal      = {CoRR},
  volume       = {abs/2403.02416},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.02416},
  doi          = {10.48550/ARXIV.2403.02416},
  eprinttype    = {arXiv},
  eprint       = {2403.02416},
  timestamp    = {Tue, 02 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-02416.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ArvidssonCCDNPW23,
  author       = {Ellen Arvidsson and
                  Elias Castegren and
                  Sylvan Clebsch and
                  Sophia Drossopoulou and
                  James Noble and
                  Matthew J. Parkinson and
                  Tobias Wrigstad},
  title        = {Reference Capabilities for Flexible Memory Management},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{OOPSLA2}},
  pages        = {1363--1393},
  year         = {2023},
  url          = {https://doi.org/10.1145/3622846},
  doi          = {10.1145/3622846},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/ArvidssonCCDNPW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PalmkvistCHB23,
  author       = {Viktor Palmkvist and
                  Elias Castegren and
                  Philipp Haller and
                  David Broman},
  title        = {Statically Resolvable Ambiguity},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{POPL}},
  pages        = {1686--1712},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571251},
  doi          = {10.1145/3571251},
  timestamp    = {Fri, 10 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/PalmkvistCHB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-02983,
  author       = {Ellen Arvidsson and
                  Elias Castegren and
                  Sylvan Clebsch and
                  Sophia Drossopoulou and
                  James Noble and
                  Matthew J. Parkinson and
                  Tobias Wrigstad},
  title        = {Reference Capabilities for Flexible Memory Management: Extended Version},
  journal      = {CoRR},
  volume       = {abs/2309.02983},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2309.02983},
  doi          = {10.48550/ARXIV.2309.02983},
  eprinttype    = {arXiv},
  eprint       = {2309.02983},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02983.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/PalmkvistCHB21,
  author       = {Viktor Palmkvist and
                  Elias Castegren and
                  Philipp Haller and
                  David Broman},
  editor       = {Aaron Smith and
                  Delphine Demange and
                  Rajiv Gupta},
  title        = {Resolvable ambiguity: principled resolution of syntactically ambiguous
                  programs},
  booktitle    = {{CC} '21: 30th {ACM} {SIGPLAN} International Conference on Compiler
                  Construction, Virtual Event, Republic of Korea, March 2-3, 2021},
  pages        = {153--164},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3446804.3446846},
  doi          = {10.1145/3446804.3446846},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cc/PalmkvistCHB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agere/2021,
  editor       = {Elias Castegren and
                  Joeri De Koster and
                  Simon Fowler},
  title        = {{AGERE} 2021: Proceedings of the 11th {ACM} {SIGPLAN} International
                  Workshop on Programming Based on Actors, Agents, and Decentralized
                  Control, Virtual Event / Chicago, IL, USA, 17 October 2021},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3486601},
  doi          = {10.1145/3486601},
  isbn         = {978-1-4503-9104-7},
  timestamp    = {Thu, 11 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agere/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/AkerblomCW20,
  author       = {Beatrice {\AA}kerblom and
                  Elias Castegren and
                  Tobias Wrigstad},
  title        = {Reference Capabilities for Safe Parallel Array Programming},
  journal      = {Art Sci. Eng. Program.},
  volume       = {4},
  number       = {1},
  pages        = {1},
  year         = {2020},
  url          = {https://doi.org/10.22152/programming-journal.org/2020/4/1},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2020/4/1},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/AkerblomCW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agere/2020,
  editor       = {Elias Castegren and
                  Joeri De Koster and
                  Thomas C. Schmidt},
  title        = {{AGERE} 2020: Proceedings of the 10th {ACM} {SIGPLAN} International
                  Workshop on Programming Based on Actors, Agents, and Decentralized
                  Control, Virtual Event, USA, November 17, 2020},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3427760},
  doi          = {10.1145/3427760},
  isbn         = {978-1-4503-8185-7},
  timestamp    = {Thu, 11 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agere/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AkerblomCW19,
  author       = {Beatrice {\AA}kerblom and
                  Elias Castegren and
                  Tobias Wrigstad},
  title        = {Progress Report: Exploring {API} Design for Capabilities for Programming
                  with Arrays},
  booktitle    = {{ICOOOLPS} '19: Proceedings of the 14th Workshop on Implementation,
                  Compilation, Optimization of Object-Oriented Languages, Programs and
                  Systems, London, UK, 19 July 2019},
  pages        = {3:1--3:8},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3340670.3342427},
  doi          = {10.1145/3340670.3342427},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/AkerblomCW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/CastegrenF19,
  author       = {Elias Castegren and
                  Kiko Fernandez{-}Reyes},
  editor       = {Oscar Nierstrasz and
                  Jeff Gray and
                  Bruno C. d. S. Oliveira},
  title        = {Developing a monadic type checker for an object-oriented language:
                  an experience report},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
                  Software Language Engineering, {SLE} 2019, Athens, Greece, October
                  20-22, 2019},
  pages        = {184--196},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3357766.3359545},
  doi          = {10.1145/3357766.3359545},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/CastegrenF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agere/2019,
  editor       = {Federico Bergenti and
                  Elias Castegren and
                  Joeri De Koster and
                  Juliana Franco},
  title        = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Programming
                  Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH
                  2019, Athens, Greece, October 22, 2019},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3358499},
  doi          = {10.1145/3358499},
  isbn         = {978-1-4503-6982-4},
  timestamp    = {Thu, 11 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agere/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-13716,
  author       = {Beatrice {\AA}kerblom and
                  Elias Castegren and
                  Tobias Wrigstad},
  title        = {Reference Capabilities for Safe Parallel Array Programming},
  journal      = {CoRR},
  volume       = {abs/1905.13716},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.13716},
  eprinttype    = {arXiv},
  eprint       = {1905.13716},
  timestamp    = {Mon, 03 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-13716.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-03510,
  author       = {Tobias Wrigstad and
                  Elias Castegren},
  title        = {Mastery Learning-Like Teaching with Achievements},
  journal      = {CoRR},
  volume       = {abs/1906.03510},
  year         = {2019},
  url          = {http://arxiv.org/abs/1906.03510},
  eprinttype    = {arXiv},
  eprint       = {1906.03510},
  timestamp    = {Fri, 14 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-03510.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-05672,
  author       = {Viktor Palmkvist and
                  Elias Castegren and
                  Philipp Haller and
                  David Broman},
  title        = {Resolvable Ambiguity},
  journal      = {CoRR},
  volume       = {abs/1911.05672},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.05672},
  eprinttype    = {arXiv},
  eprint       = {1911.05672},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-05672.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Castegren18,
  author       = {Elias Castegren},
  title        = {Capability-Based Type Systems for Concurrency Control},
  school       = {Uppsala University, Sweden},
  year         = {2018},
  url          = {https://nbn-resolving.org/urn:nbn:se:uu:diva-336021},
  urn          = {urn:nbn:se:uu:diva-336021},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Castegren18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CastegrenWW18,
  author       = {Elias Castegren and
                  Joel Wallin and
                  Tobias Wrigstad},
  title        = {Bestow and atomic: Concurrent programming using isolation, delegation
                  and grouping},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {100},
  pages        = {130--151},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.06.007},
  doi          = {10.1016/J.JLAMP.2018.06.007},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/CastegrenWW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/Castegren0FWY18,
  author       = {Elias Castegren and
                  Dave Clarke and
                  Kiko Fernandez{-}Reyes and
                  Tobias Wrigstad and
                  Albert Mingkun Yang},
  editor       = {Joeri De Koster and
                  Federico Bergenti and
                  Juliana Franco},
  title        = {Attached and detached closures in actors},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Programming
                  Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH
                  2018, Boston, MA, USA, November 5, 2018},
  pages        = {54--61},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3281366.3281371},
  doi          = {10.1145/3281366.3281371},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agere/Castegren0FWY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Fernandez-Reyes18,
  author       = {Kiko Fernandez{-}Reyes and
                  Dave Clarke and
                  Elias Castegren and
                  Huu{-}Phuc Vo},
  editor       = {Giovanna Di Marzo Serugendo and
                  Michele Loreti},
  title        = {Forward to a Promising Future},
  booktitle    = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2018, Held as Part of the 13th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2018, Madrid, Spain, June 18-21, 2018. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10852},
  pages        = {162--180},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-92408-3\_7},
  doi          = {10.1007/978-3-319-92408-3\_7},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Fernandez-Reyes18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BrandauerCW18,
  author       = {Stephan Brandauer and
                  Elias Castegren and
                  Tobias Wrigstad},
  editor       = {Elisa Gonzalez Boix and
                  Richard P. Gabriel},
  title        = {C{\unicode{9837}}: a new modular approach to implementing efficient
                  and tunable collections},
  booktitle    = {Proceedings of the 2018 {ACM} {SIGPLAN} International Symposium on
                  New Ideas, New Paradigms, and Reflections on Programming and Software,
                  Onward! 2018, Boston, MA, USA, November 7-8, 2018},
  pages        = {57--71},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3276954.3276956},
  doi          = {10.1145/3276954.3276956},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/BrandauerCW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AkerblomCW18,
  author       = {Beatrice {\AA}kerblom and
                  Elias Castegren and
                  Tobias Wrigstad},
  editor       = {Sven{-}Bodo Scholz and
                  Olin Shivers},
  title        = {Parallel programming with arrays in Kappa},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on Libraries,
                  Languages, and Compilers for Array Programming, ARRAY@PLDI 2018, Philadelphia,
                  PA, USA, June 19, 2018},
  pages        = {24--33},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3219753.3219757},
  doi          = {10.1145/3219753.3219757},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/AkerblomCW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CastegrenW18,
  author       = {Elias Castegren and
                  Tobias Wrigstad},
  editor       = {Hisham M. Haddad and
                  Roger L. Wainwright and
                  Richard Chbeir},
  title        = {OOlong: an extensible concurrent object calculus},
  booktitle    = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
                  {SAC} 2018, Pau, France, April 09-13, 2018},
  pages        = {1022--1029},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3167132.3167243},
  doi          = {10.1145/3167132.3167243},
  timestamp    = {Wed, 25 Sep 2019 18:12:13 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/CastegrenW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-10130,
  author       = {Elias Castegren and
                  Joel Wallin and
                  Tobias Wrigstad},
  title        = {Bestow and Atomic: Concurrent Programming using Isolation, Delegation
                  and Grouping},
  journal      = {CoRR},
  volume       = {abs/1807.10130},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.10130},
  eprinttype    = {arXiv},
  eprint       = {1807.10130},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-10130.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CastegrenW17,
  author       = {Elias Castegren and
                  Tobias Wrigstad},
  editor       = {Peter M{\"{u}}ller},
  title        = {Relaxed Linear References for Lock-free Data Structures},
  booktitle    = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
                  June 19-23, 2017, Barcelona, Spain},
  series       = {LIPIcs},
  volume       = {74},
  pages        = {6:1--6:32},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.6},
  doi          = {10.4230/LIPICS.ECOOP.2017.6},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/CastegrenW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CastegrenW17,
  author       = {Elias Castegren and
                  Tobias Wrigstad},
  editor       = {Vasco T. Vasconcelos and
                  Philipp Haller},
  title        = {Actors without Borders: Amnesty for Imprisoned State},
  booktitle    = {Proceedings Tenth Workshop on Programming Language Approaches to Concurrency-
                  and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden,
                  29th April 2017},
  series       = {{EPTCS}},
  volume       = {246},
  pages        = {10--20},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.246.4},
  doi          = {10.4204/EPTCS.246.4},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CastegrenW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CastegrenW16,
  author       = {Elias Castegren and
                  Tobias Wrigstad},
  editor       = {Shriram Krishnamurthi and
                  Benjamin S. Lerner},
  title        = {Reference Capabilities for Concurrency Control},
  booktitle    = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
                  July 18-22, 2016, Rome, Italy},
  series       = {LIPIcs},
  volume       = {56},
  pages        = {5:1--5:26},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.5},
  doi          = {10.4230/LIPICS.ECOOP.2016.5},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/CastegrenW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BrandauerCCFJPT15,
  author       = {Stephan Brandauer and
                  Elias Castegren and
                  Dave Clarke and
                  Kiko Fernandez{-}Reyes and
                  Einar Broch Johnsen and
                  Ka I Pun and
                  Silvia Lizeth Tapia Tarifa and
                  Tobias Wrigstad and
                  Albert Mingkun Yang},
  editor       = {Marco Bernardo and
                  Einar Broch Johnsen},
  title        = {Parallel Objects for Multicores: {A} Glimpse at the Parallel Language
                  Encore},
  booktitle    = {Formal Methods for Multicore Programming - 15th International School
                  on Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {9104},
  pages        = {1--56},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-18941-3\_1},
  doi          = {10.1007/978-3-319-18941-3\_1},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/BrandauerCCFJPT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CastegrenOW15,
  author       = {Elias Castegren and
                  Johan {\"{O}}stlund and
                  Tobias Wrigstad},
  editor       = {Marco Bernardo and
                  Einar Broch Johnsen},
  title        = {Refined Ownership: - Fine-Grained Controlled Internal Sharing},
  booktitle    = {Formal Methods for Multicore Programming - 15th International School
                  on Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {9104},
  pages        = {179--210},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-18941-3\_5},
  doi          = {10.1007/978-3-319-18941-3\_5},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/CastegrenOW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics