BibTeX records: Alessio Mansutti

download as .bib file

@inproceedings{DBLP:conf/csl/DemriLM20,
  author    = {St{\'{e}}phane Demri and
               {\'{E}}tienne Lozes and
               Alessio Mansutti},
  editor    = {Maribel Fern{\'{a}}ndez and
               Anca Muscholl},
  title     = {Internal Calculi for Separation Logics},
  booktitle = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020,
               January 13-16, 2020, Barcelona, Spain},
  series    = {LIPIcs},
  volume    = {152},
  pages     = {19:1--19:18},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2020},
  url       = {https://doi.org/10.4230/LIPIcs.CSL.2020.19},
  doi       = {10.4230/LIPIcs.CSL.2020.19},
  timestamp = {Mon, 06 Jan 2020 16:44:23 +0100},
  biburl    = {https://dblp.org/rec/conf/csl/DemriLM20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DemriFM19,
  author    = {St{\'{e}}phane Demri and
               Raul Fervari and
               Alessio Mansutti},
  editor    = {Francesco Calimeri and
               Nicola Leone and
               Marco Manna},
  title     = {Axiomatising Logics with Separating Conjunction and Modalities},
  booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
               2019, Rende, Italy, May 7-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11468},
  pages     = {692--708},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-19570-0\_45},
  doi       = {10.1007/978-3-030-19570-0\_45},
  timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
  biburl    = {https://dblp.org/rec/conf/jelia/DemriFM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-05016,
  author    = {St{\'{e}}phane Demri and
               {\'{E}}tienne Lozes and
               Alessio Mansutti},
  title     = {Internal Calculi for Separation Logics},
  journal   = {CoRR},
  volume    = {abs/1910.05016},
  year      = {2019},
  url       = {http://arxiv.org/abs/1910.05016},
  archivePrefix = {arXiv},
  eprint    = {1910.05016},
  timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1910-05016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DemriLM18,
  author    = {St{\'{e}}phane Demri and
               {\'{E}}tienne Lozes and
               Alessio Mansutti},
  editor    = {Christel Baier and
               Ugo Dal Lago},
  title     = {The Effects of Adding Reachability Predicates in Propositional Separation
               Logic},
  booktitle = {Foundations of Software Science and Computation Structures - 21st
               International Conference, {FOSSACS} 2018, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
               Thessaloniki, Greece, April 14-20, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10803},
  pages     = {476--493},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89366-2\_26},
  doi       = {10.1007/978-3-319-89366-2\_26},
  timestamp = {Fri, 31 Jan 2020 21:32:20 +0100},
  biburl    = {https://dblp.org/rec/conf/fossacs/DemriLM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Mansutti18,
  author    = {Alessio Mansutti},
  editor    = {Sumit Ganguly and
               Paritosh K. Pandya},
  title     = {Extending Propositional Separation Logic for Robustness Properties},
  booktitle = {38th {IARCS} Annual Conference on Foundations of Software Technology
               and Theoretical Computer Science, {FSTTCS} 2018, December 11-13, 2018,
               Ahmedabad, India},
  series    = {LIPIcs},
  volume    = {122},
  pages     = {42:1--42:23},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2018},
  url       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.42},
  doi       = {10.4230/LIPIcs.FSTTCS.2018.42},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/fsttcs/Mansutti18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MansuttiM18,
  author    = {Alessio Mansutti and
               Marino Miculan},
  editor    = {Alessandro Aldini and
               Marco Bernardo},
  title     = {Deciding Hedged Bisimilarity},
  booktitle = {Proceedings of the 19th Italian Conference on Theoretical Computer
               Science, Urbino, Italy, September 18-20, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2243},
  pages     = {218--229},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2243/paper22.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:17 +0100},
  biburl    = {https://dblp.org/rec/conf/ictcs/MansuttiM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-05410,
  author    = {St{\'{e}}phane Demri and
               {\'{E}}tienne Lozes and
               Alessio Mansutti},
  title     = {The Effects of Adding Reachability Predicates in Propositional Separation
               Logic},
  journal   = {CoRR},
  volume    = {abs/1810.05410},
  year      = {2018},
  url       = {http://arxiv.org/abs/1810.05410},
  archivePrefix = {arXiv},
  eprint    = {1810.05410},
  timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1810-05410.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/MansuttiMP17,
  author    = {Alessio Mansutti and
               Marino Miculan and
               Marco Peressotti},
  editor    = {Martina Seidl and
               Steffen Zschaler},
  title     = {Loose Graph Simulations},
  booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
               Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10748},
  pages     = {109--126},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-74730-9\_9},
  doi       = {10.1007/978-3-319-74730-9\_9},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/staf/MansuttiMP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MansuttiMP17,
  author    = {Alessio Mansutti and
               Marino Miculan and
               Marco Peressotti},
  title     = {Loose Graph Simulations},
  journal   = {CoRR},
  volume    = {abs/1705.08241},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.08241},
  archivePrefix = {arXiv},
  eprint    = {1705.08241},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/MansuttiMP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MansuttiM16,
  author    = {Alessio Mansutti and
               Marino Miculan},
  title     = {Deciding Hedged Bisimilarity},
  journal   = {CoRR},
  volume    = {abs/1611.03424},
  year      = {2016},
  url       = {http://arxiv.org/abs/1611.03424},
  archivePrefix = {arXiv},
  eprint    = {1611.03424},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/MansuttiM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MansuttiMP15,
  author    = {Alessio Mansutti and
               Marino Miculan and
               Marco Peressotti},
  title     = {Distributed execution of bigraphical reactive systems},
  journal   = {CoRR},
  volume    = {abs/1503.02434},
  year      = {2015},
  url       = {http://arxiv.org/abs/1503.02434},
  archivePrefix = {arXiv},
  eprint    = {1503.02434},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/MansuttiMP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MansuttiMP14,
  author    = {Alessio Mansutti and
               Marino Miculan and
               Marco Peressotti},
  title     = {Distributed execution of bigraphical reactive systems},
  journal   = {{ECEASST}},
  volume    = {71},
  year      = {2014},
  url       = {https://doi.org/10.14279/tuj.eceasst.71.994},
  doi       = {10.14279/tuj.eceasst.71.994},
  timestamp = {Wed, 29 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/eceasst/MansuttiMP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/MansuttiMP14,
  author    = {Alessio Mansutti and
               Marino Miculan and
               Marco Peressotti},
  editor    = {Kostas Magoutis and
               Peter R. Pietzuch},
  title     = {Multi-agent Systems Design and Prototyping with Bigraphical Reactive
               Systems},
  booktitle = {Distributed Applications and Interoperable Systems - 14th {IFIP} {WG}
               6.1 International Conference, {DAIS} 2014, Held as Part of the 9th
               International Federated Conference on Distributed Computing Techniques,
               DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8460},
  pages     = {201--208},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43352-2\_16},
  doi       = {10.1007/978-3-662-43352-2\_16},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/dais/MansuttiMP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics