BibTeX records: Matteo Sammartino

download as .bib file

@article{DBLP:journals/jlp/HeerdtMSS19,
  author    = {Gerco van Heerdt and
               Joshua Moerman and
               Matteo Sammartino and
               Alexandra Silva},
  title     = {A (co)algebraic theory of succinct automata},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {105},
  pages     = {112--125},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.jlamp.2019.02.008},
  doi       = {10.1016/j.jlamp.2019.02.008},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/HeerdtMSS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DAntoniFS019,
  author    = {Loris D'Antoni and
               Tiago Ferreira and
               Matteo Sammartino and
               Alexandra Silva},
  title     = {Symbolic Register Automata},
  booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
               2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
               {I}},
  pages     = {3--21},
  year      = {2019},
  crossref  = {DBLP:conf/cav/2019-1},
  url       = {https://doi.org/10.1007/978-3-030-25540-4\_1},
  doi       = {10.1007/978-3-030-25540-4\_1},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/DAntoniFS019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-08802,
  author    = {Gerco van Heerdt and
               Tobias Kapp{\'{e}} and
               Jurriaan Rot and
               Matteo Sammartino and
               Alexandra Silva},
  title     = {Tree Automata as Algebras: Minimisation and Determinisation},
  journal   = {CoRR},
  volume    = {abs/1904.08802},
  year      = {2019},
  url       = {http://arxiv.org/abs/1904.08802},
  archivePrefix = {arXiv},
  eprint    = {1904.08802},
  timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1904-08802},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-05519,
  author    = {Gerco van Heerdt and
               Joshua Moerman and
               Matteo Sammartino and
               Alexandra Silva},
  title     = {A (co)algebraic theory of succinct automata},
  journal   = {CoRR},
  volume    = {abs/1905.05519},
  year      = {2019},
  url       = {http://arxiv.org/abs/1905.05519},
  archivePrefix = {arXiv},
  eprint    = {1905.05519},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1905-05519},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MontanariSS18,
  author    = {Ugo Montanari and
               Matteo Sammartino and
               Alain Tcheukam Siwe},
  title     = {Decomposition Structures for Soft Constraint Evaluation Problems:
               An Algebraic Approach},
  booktitle = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut
               Ehrig},
  pages     = {179--200},
  year      = {2018},
  crossref  = {DBLP:conf/birthday/2018ehrig},
  url       = {https://doi.org/10.1007/978-3-319-75396-6\_10},
  doi       = {10.1007/978-3-319-75396-6\_10},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/MontanariSS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlbertGRS018,
  author    = {Elvira Albert and
               Miguel G{\'{o}}mez{-}Zamalloa and
               Albert Rubio and
               Matteo Sammartino and
               Alexandra Silva},
  title     = {SDN-Actors: Modeling and Verification of {SDN} Programs},
  booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
               Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
               15-17, 2018, Proceedings},
  pages     = {550--567},
  year      = {2018},
  crossref  = {DBLP:conf/fm/2018},
  url       = {https://doi.org/10.1007/978-3-319-95582-7\_33},
  doi       = {10.1007/978-3-319-95582-7\_33},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/AlbertGRS018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06968,
  author    = {Loris D'Antoni and
               Tiago Ferreira and
               Matteo Sammartino and
               Alexandra Silva},
  title     = {Symbolic Register Automata},
  journal   = {CoRR},
  volume    = {abs/1811.06968},
  year      = {2018},
  url       = {http://arxiv.org/abs/1811.06968},
  archivePrefix = {arXiv},
  eprint    = {1811.06968},
  timestamp = {Sun, 25 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1811-06968},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HeerdtS017,
  author    = {Gerco van Heerdt and
               Matteo Sammartino and
               Alexandra Silva},
  title     = {{CALF:} Categorical Automata Learning Framework},
  booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
               August 20-24, 2017, Stockholm, Sweden},
  pages     = {29:1--29:24},
  year      = {2017},
  crossref  = {DBLP:conf/csl/2017},
  url       = {https://doi.org/10.4230/LIPIcs.CSL.2017.29},
  doi       = {10.4230/LIPIcs.CSL.2017.29},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/HeerdtS017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MoermanS0KS17,
  author    = {Joshua Moerman and
               Matteo Sammartino and
               Alexandra Silva and
               Bartek Klin and
               Michal Szynwelski},
  title     = {Learning nominal automata},
  booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  pages     = {613--625},
  year      = {2017},
  crossref  = {DBLP:conf/popl/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3009879},
  timestamp = {Tue, 06 Nov 2018 11:07:42 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/MoermanS0KS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HeerdtS017,
  author    = {Gerco van Heerdt and
               Matteo Sammartino and
               Alexandra Silva},
  title     = {{CALF:} Categorical Automata Learning Framework},
  journal   = {CoRR},
  volume    = {abs/1704.05676},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.05676},
  archivePrefix = {arXiv},
  eprint    = {1704.05676},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HeerdtS017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HeerdtS017a,
  author    = {Gerco van Heerdt and
               Matteo Sammartino and
               Alexandra Silva},
  title     = {Learning Automata with Side-Effects},
  journal   = {CoRR},
  volume    = {abs/1704.08055},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.08055},
  archivePrefix = {arXiv},
  eprint    = {1704.08055},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HeerdtS017a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MoermanS0KS16,
  author    = {Joshua Moerman and
               Matteo Sammartino and
               Alexandra Silva and
               Bartek Klin and
               Michal Szynwelski},
  title     = {Learning Nominal Automata},
  journal   = {CoRR},
  volume    = {abs/1607.06268},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.06268},
  archivePrefix = {arXiv},
  eprint    = {1607.06268},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/MoermanS0KS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BruniMS15,
  author    = {Roberto Bruni and
               Ugo Montanari and
               Matteo Sammartino},
  title     = {Revisiting causality, coalgebraically},
  journal   = {Acta Inf.},
  volume    = {52},
  number    = {1},
  pages     = {5--33},
  year      = {2015},
  url       = {https://doi.org/10.1007/s00236-014-0207-9},
  doi       = {10.1007/s00236-014-0207-9},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/acta/BruniMS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/MontanariS15,
  author    = {Ugo Montanari and
               Matteo Sammartino},
  title     = {Network-Conscious {\(\pi\)}-calculus - {A} Model of Pastry},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {312},
  pages     = {3--17},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.entcs.2015.04.002},
  doi       = {10.1016/j.entcs.2015.04.002},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/MontanariS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BruniMS15,
  author    = {Roberto Bruni and
               Ugo Montanari and
               Matteo Sammartino},
  title     = {A coalgebraic semantics for causality in Petri nets},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {84},
  number    = {6},
  pages     = {853--883},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jlamp.2015.07.003},
  doi       = {10.1016/j.jlamp.2015.07.003},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/BruniMS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BruniMS15,
  author    = {Roberto Bruni and
               Ugo Montanari and
               Matteo Sammartino},
  title     = {Causal Trees, Finally},
  booktitle = {Programming Languages with Applications to Biology and Security -
               Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
  pages     = {27--43},
  year      = {2015},
  crossref  = {DBLP:conf/birthday/2015degano},
  url       = {https://doi.org/10.1007/978-3-319-25527-9\_4},
  doi       = {10.1007/978-3-319-25527-9\_4},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/BruniMS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HochMS15,
  author    = {Nicklas Hoch and
               Ugo Montanari and
               Matteo Sammartino},
  title     = {Dynamic Programming on Nominal Graphs},
  booktitle = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
               2015.},
  pages     = {80--96},
  year      = {2015},
  crossref  = {DBLP:journals/corr/RensinkZ15},
  url       = {https://doi.org/10.4204/EPTCS.181.6},
  doi       = {10.4204/EPTCS.181.6},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HochMS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BruniMS15,
  author    = {Roberto Bruni and
               Ugo Montanari and
               Matteo Sammartino},
  title     = {Reconfigurable and Software-Defined Networks of Connectors and Components},
  booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
               Approach},
  pages     = {73--106},
  year      = {2015},
  crossref  = {DBLP:series/lncs/8998},
  url       = {https://doi.org/10.1007/978-3-319-16310-9\_2},
  doi       = {10.1007/978-3-319-16310-9\_2},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/series/lncs/BruniMS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/HochMMSS15,
  author    = {Nicklas Hoch and
               Giacoma Valentina Monreale and
               Ugo Montanari and
               Matteo Sammartino and
               Alain Tcheukam Siwe},
  title     = {From Local to Global Knowledge and Back},
  booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
               Approach},
  pages     = {185--220},
  year      = {2015},
  crossref  = {DBLP:series/lncs/8998},
  url       = {https://doi.org/10.1007/978-3-319-16310-9\_5},
  doi       = {10.1007/978-3-319-16310-9\_5},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/series/lncs/HochMMSS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BruniMS15,
  author    = {Roberto Bruni and
               Ugo Montanari and
               Matteo Sammartino},
  title     = {A coalgebraic semantics for causality in Petri nets},
  journal   = {CoRR},
  volume    = {abs/1507.06462},
  year      = {2015},
  url       = {http://arxiv.org/abs/1507.06462},
  archivePrefix = {arXiv},
  eprint    = {1507.06462},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BruniMS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MontanariS14,
  author    = {Ugo Montanari and
               Matteo Sammartino},
  title     = {A network-conscious {\(\pi\)}-calculus and its coalgebraic semantics},
  journal   = {Theor. Comput. Sci.},
  volume    = {546},
  pages     = {188--224},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.tcs.2014.03.009},
  doi       = {10.1016/j.tcs.2014.03.009},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/MontanariS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/CianciaS14,
  author    = {Vincenzo Ciancia and
               Matteo Sammartino},
  title     = {A Class of Automata for the Verification of Infinite, Resource-Allocating
               Behaviours},
  booktitle = {Trustworthy Global Computing - 9th International Symposium, {TGC}
               2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
  pages     = {97--111},
  year      = {2014},
  crossref  = {DBLP:conf/tgc/2014},
  url       = {https://doi.org/10.1007/978-3-662-45917-1\_7},
  doi       = {10.1007/978-3-662-45917-1\_7},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/CianciaS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CianciaS13,
  author    = {Vincenzo Ciancia and
               Matteo Sammartino},
  title     = {A decidable class of (nominal) omega-regular languages over an infinite
               alphabet},
  journal   = {CoRR},
  volume    = {abs/1310.3945},
  year      = {2013},
  url       = {http://arxiv.org/abs/1310.3945},
  archivePrefix = {arXiv},
  eprint    = {1310.3945},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CianciaS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/MontanariS12,
  author    = {Ugo Montanari and
               Matteo Sammartino},
  title     = {Network Conscious {\(\pi\)}-calculus: {A} Concurrent Semantics},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {286},
  pages     = {291--306},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.entcs.2012.08.019},
  doi       = {10.1016/j.entcs.2012.08.019},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/MontanariS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2019-1,
  editor    = {Isil Dillig and
               Serdar Tasiran},
  title     = {Computer Aided Verification - 31st International Conference, {CAV}
               2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
               {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11561},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-25540-4},
  doi       = {10.1007/978-3-030-25540-4},
  isbn      = {978-3-030-25539-8},
  timestamp = {Mon, 15 Jul 2019 14:38:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2019-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2018ehrig,
  editor    = {Reiko Heckel and
               Gabriele Taentzer},
  title     = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut
               Ehrig},
  series    = {Lecture Notes in Computer Science},
  volume    = {10800},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-75396-6},
  doi       = {10.1007/978-3-319-75396-6},
  isbn      = {978-3-319-75395-9},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2018ehrig},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2018,
  editor    = {Klaus Havelund and
               Jan Peleska and
               Bill Roscoe and
               Erik P. de Vink},
  title     = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
               Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
               15-17, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10951},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-95582-7},
  doi       = {10.1007/978-3-319-95582-7},
  isbn      = {978-3-319-95581-0},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2017,
  editor    = {Valentin Goranko and
               Mads Dam},
  title     = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
               August 20-24, 2017, Stockholm, Sweden},
  series    = {LIPIcs},
  volume    = {82},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-045-3},
  isbn      = {978-3-95977-045-3},
  timestamp = {Thu, 02 May 2019 17:40:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2017,
  editor    = {Giuseppe Castagna and
               Andrew D. Gordon},
  title     = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3009837},
  doi       = {10.1145/3009837},
  isbn      = {978-1-4503-4660-3},
  timestamp = {Tue, 06 Nov 2018 11:07:42 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015degano,
  editor    = {Chiara Bodei and
               Gian Luigi Ferrari and
               Corrado Priami},
  title     = {Programming Languages with Applications to Biology and Security -
               Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {9465},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-25527-9},
  doi       = {10.1007/978-3-319-25527-9},
  isbn      = {978-3-319-25526-2},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2015degano},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/RensinkZ15,
  editor    = {Arend Rensink and
               Eduardo Zambon},
  title     = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
               2015},
  series    = {{EPTCS}},
  volume    = {181},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.181},
  doi       = {10.4204/EPTCS.181},
  timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/RensinkZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/8998,
  editor    = {Martin Wirsing and
               Matthias M. H{\"{o}}lzl and
               Nora Koch and
               Philip Mayer},
  title     = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
               Approach},
  series    = {Lecture Notes in Computer Science},
  volume    = {8998},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-16310-9},
  doi       = {10.1007/978-3-319-16310-9},
  isbn      = {978-3-319-16309-3},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/series/lncs/8998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2014,
  editor    = {Matteo Maffei and
               Emilio Tuosto},
  title     = {Trustworthy Global Computing - 9th International Symposium, {TGC}
               2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8902},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-45917-1},
  doi       = {10.1007/978-3-662-45917-1},
  isbn      = {978-3-662-45916-4},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics