BibTeX records: Alessio Mansutti

download as .bib file

@article{DBLP:journals/corr/abs-2401-09860,
  author       = {Luca Geatti and
                  Alessio Mansutti and
                  Angelo Montanari},
  title        = {Succinctness of Cosafety Fragments of {LTL} via Combinatorial Proof
                  Systems (extended version)},
  journal      = {CoRR},
  volume       = {abs/2401.09860},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.09860},
  doi          = {10.48550/ARXIV.2401.09860},
  eprinttype    = {arXiv},
  eprint       = {2401.09860},
  timestamp    = {Fri, 02 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-09860.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BednarczykDFM23,
  author       = {Bartosz Bednarczyk and
                  St{\'{e}}phane Demri and
                  Raul Fervari and
                  Alessio Mansutti},
  title        = {On Composing Finite Forests with Modal Logics},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {24},
  number       = {2},
  pages        = {12:1--12:46},
  year         = {2023},
  url          = {https://doi.org/10.1145/3569954},
  doi          = {10.1145/3569954},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/BednarczykDFM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Benedikt0M23,
  author       = {Michael Benedikt and
                  Dmitry Chistikov and
                  Alessio Mansutti},
  editor       = {Kousha Etessami and
                  Uriel Feige and
                  Gabriele Puppis},
  title        = {The Complexity of Presburger Arithmetic with Power or Powers},
  booktitle    = {50th International Colloquium on Automata, Languages, and Programming,
                  {ICALP} 2023, July 10-14, 2023, Paderborn, Germany},
  series       = {LIPIcs},
  volume       = {261},
  pages        = {112:1--112:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.ICALP.2023.112},
  doi          = {10.4230/LIPICS.ICALP.2023.112},
  timestamp    = {Wed, 05 Jul 2023 16:19:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Benedikt0M23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HaaseMP23,
  author       = {Christoph Haase and
                  Alessio Mansutti and
                  Amaury Pouly},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Sylvain Lombardy and
                  David Peleg},
  title        = {On Polynomial-Time Decidability of k-Negations Fragments of {FO} Theories
                  (Extended Abstract)},
  booktitle    = {48th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
  series       = {LIPIcs},
  volume       = {272},
  pages        = {52:1--52:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2023.52},
  doi          = {10.4230/LIPICS.MFCS.2023.52},
  timestamp    = {Mon, 28 Aug 2023 15:00:20 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/HaaseMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-03037,
  author       = {Michael Benedikt and
                  Dmitry Chistikov and
                  Alessio Mansutti},
  title        = {The complexity of Presburger arithmetic with power or powers},
  journal      = {CoRR},
  volume       = {abs/2305.03037},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.03037},
  doi          = {10.48550/ARXIV.2305.03037},
  eprinttype    = {arXiv},
  eprint       = {2305.03037},
  timestamp    = {Wed, 10 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-03037.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-13609,
  author       = {R{\'{e}}my Defossez and
                  Christoph Haase and
                  Alessio Mansutti and
                  Guillermo A. P{\'{e}}rez},
  title        = {Integer Programming with {GCD} Constraints},
  journal      = {CoRR},
  volume       = {abs/2308.13609},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2308.13609},
  doi          = {10.48550/ARXIV.2308.13609},
  eprinttype    = {arXiv},
  eprint       = {2308.13609},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-13609.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Mansutti22,
  author       = {Alessio Mansutti},
  title        = {An auxiliary logic on trees: On the tower-hardness of logics featuring
                  reachability and submodel reasoning},
  journal      = {Inf. Comput.},
  volume       = {285},
  number       = {Part},
  pages        = {104911},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.ic.2022.104911},
  doi          = {10.1016/J.IC.2022.104911},
  timestamp    = {Wed, 27 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/Mansutti22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ChistikovHM22,
  author       = {Dmitry Chistikov and
                  Christoph Haase and
                  Alessio Mansutti},
  editor       = {Patricia Bouyer and
                  Lutz Schr{\"{o}}der},
  title        = {Quantifier elimination for counting extensions of Presburger arithmetic},
  booktitle    = {Foundations of Software Science and Computation Structures - 25th
                  International Conference, {FOSSACS} 2022, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
                  Munich, Germany, April 2-7, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13242},
  pages        = {225--243},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99253-8\_12},
  doi          = {10.1007/978-3-030-99253-8\_12},
  timestamp    = {Fri, 29 Apr 2022 14:50:32 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/ChistikovHM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/FervariM22,
  author       = {Raul Fervari and
                  Alessio Mansutti},
  editor       = {Patricia Bouyer and
                  Lutz Schr{\"{o}}der},
  title        = {Modal Logics and Local Quantifiers: {A} Zoo in the Elementary Hierarchy},
  booktitle    = {Foundations of Software Science and Computation Structures - 25th
                  International Conference, {FOSSACS} 2022, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
                  Munich, Germany, April 2-7, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13242},
  pages        = {305--324},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99253-8\_16},
  doi          = {10.1007/978-3-030-99253-8\_16},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/FervariM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/0001HM22,
  author       = {Dmitry Chistikov and
                  Christoph Haase and
                  Alessio Mansutti},
  editor       = {Christel Baier and
                  Dana Fisman},
  title        = {Geometric decision procedures and the {VC} dimension of linear arithmetic
                  theories},
  booktitle    = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, Haifa, Israel, August 2 - 5, 2022},
  pages        = {59:1--59:13},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3531130.3533372},
  doi          = {10.1145/3531130.3533372},
  timestamp    = {Tue, 09 Aug 2022 12:30:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/0001HM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChistikovHHM22,
  author       = {Dmitry Chistikov and
                  Christoph Haase and
                  Zahra Hadizadeh and
                  Alessio Mansutti},
  editor       = {Stefan Szeider and
                  Robert Ganian and
                  Alexandra Silva},
  title        = {Higher-Order Quantified Boolean Satisfiability},
  booktitle    = {47th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2022, August 22-26, 2022, Vienna, Austria},
  series       = {LIPIcs},
  volume       = {241},
  pages        = {33:1--33:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2022.33},
  doi          = {10.4230/LIPICS.MFCS.2022.33},
  timestamp    = {Mon, 26 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/ChistikovHHM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DemriLM21,
  author       = {St{\'{e}}phane Demri and
                  {\'{E}}tienne Lozes and
                  Alessio Mansutti},
  title        = {A Complete Axiomatisation for Quantifier-Free Separation Logic},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {17},
  number       = {3},
  year         = {2021},
  url          = {https://doi.org/10.46298/lmcs-17(3:17)2021},
  doi          = {10.46298/LMCS-17(3:17)2021},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/DemriLM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DemriFM21,
  author       = {St{\'{e}}phane Demri and
                  Raul Fervari and
                  Alessio Mansutti},
  title        = {Internal proof calculi for modal logics with separating conjunction},
  journal      = {J. Log. Comput.},
  volume       = {31},
  number       = {3},
  pages        = {832--891},
  year         = {2021},
  url          = {https://doi.org/10.1093/logcom/exab016},
  doi          = {10.1093/LOGCOM/EXAB016},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/DemriFM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DemriLM21,
  author       = {St{\'{e}}phane Demri and
                  {\'{E}}tienne Lozes and
                  Alessio Mansutti},
  title        = {The Effects of Adding Reachability Predicates in Quantifier-Free Separation
                  Logic},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {22},
  number       = {2},
  pages        = {14:1--14:56},
  year         = {2021},
  url          = {https://doi.org/10.1145/3448269},
  doi          = {10.1145/3448269},
  timestamp    = {Wed, 01 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/DemriLM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HaaseM21,
  author       = {Christoph Haase and
                  Alessio Mansutti},
  editor       = {Filippo Bonchi and
                  Simon J. Puglisi},
  title        = {On Deciding Linear Arithmetic Constraints Over p-adic Integers for
                  All Primes},
  booktitle    = {46th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
  series       = {LIPIcs},
  volume       = {202},
  pages        = {55:1--55:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2021.55},
  doi          = {10.4230/LIPICS.MFCS.2021.55},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/HaaseM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-05087,
  author       = {Dmitry Chistikov and
                  Christoph Haase and
                  Alessio Mansutti},
  title        = {Presburger arithmetic with threshold counting quantifiers is easy},
  journal      = {CoRR},
  volume       = {abs/2103.05087},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.05087},
  eprinttype    = {arXiv},
  eprint       = {2103.05087},
  timestamp    = {Sat, 26 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-05087.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-05630,
  author       = {Alessio Mansutti},
  title        = {Notes on kAExp(pol) problems for deterministic machines},
  journal      = {CoRR},
  volume       = {abs/2110.05630},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.05630},
  eprinttype    = {arXiv},
  eprint       = {2110.05630},
  timestamp    = {Thu, 21 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-05630.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Mansutti20,
  author       = {Alessio Mansutti},
  title        = {Logiques de s{\'{e}}paration : complexit{\'{e}}, expressivit{\'{e}},
                  calculs. (Reasoning with separation logics : complexity, expressive
                  power, proof systems)},
  school       = {University of Paris-Saclay, France},
  year         = {2020},
  url          = {https://tel.archives-ouvertes.fr/tel-03094373},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Mansutti20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/DemriLM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Mansutti20,
  author       = {Alessio Mansutti},
  editor       = {Jean Goubault{-}Larrecq and
                  Barbara K{\"{o}}nig},
  title        = {An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring
                  Reachability and Submodel Reasoning},
  booktitle    = {Foundations of Software Science and Computation Structures - 23rd
                  International Conference, {FOSSACS} 2020, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
                  Dublin, Ireland, April 25-30, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12077},
  pages        = {462--481},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-45231-5\_24},
  doi          = {10.1007/978-3-030-45231-5\_24},
  timestamp    = {Fri, 14 May 2021 08:34:11 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Mansutti20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BednarczykDM20,
  author       = {Bartosz Bednarczyk and
                  St{\'{e}}phane Demri and
                  Alessio Mansutti},
  editor       = {Christian Bessiere},
  title        = {A Framework for Reasoning about Dynamic Axioms in Description Logics},
  booktitle    = {Proceedings of the Twenty-Ninth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2020},
  pages        = {1681--1687},
  publisher    = {ijcai.org},
  year         = {2020},
  url          = {https://doi.org/10.24963/ijcai.2020/233},
  doi          = {10.24963/IJCAI.2020/233},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BednarczykDM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BednarczykDFM20,
  author       = {Bartosz Bednarczyk and
                  St{\'{e}}phane Demri and
                  Raul Fervari and
                  Alessio Mansutti},
  editor       = {Holger Hermanns and
                  Lijun Zhang and
                  Naoki Kobayashi and
                  Dale Miller},
  title        = {Modal Logics with Composition on Finite Forests: Expressivity and
                  Complexity},
  booktitle    = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
  pages        = {167--180},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3373718.3394787},
  doi          = {10.1145/3373718.3394787},
  timestamp    = {Sat, 30 Sep 2023 09:52:07 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BednarczykDFM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-05156,
  author       = {St{\'{e}}phane Demri and
                  {\'{E}}tienne Lozes and
                  Alessio Mansutti},
  title        = {A Complete Axiomatisation for Quantifier-Free Separation Logic},
  journal      = {CoRR},
  volume       = {abs/2006.05156},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.05156},
  eprinttype    = {arXiv},
  eprint       = {2006.05156},
  timestamp    = {Fri, 12 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-05156.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-08598,
  author       = {Bartosz Bednarczyk and
                  St{\'{e}}phane Demri and
                  Raul Fervari and
                  Alessio Mansutti},
  title        = {Modal Logics with Composition on Finite Forests: Expressivity and
                  Complexity (Extra Material)},
  journal      = {CoRR},
  volume       = {abs/2007.08598},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.08598},
  eprinttype    = {arXiv},
  eprint       = {2007.08598},
  timestamp    = {Tue, 28 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-08598.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},
  eprinttype    = {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    = {Thu, 23 Sep 2021 01:00:00 +0200},
  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          = {https://ceur-ws.org/Vol-2243/paper22.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23: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},
  eprinttype    = {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},
  eprinttype    = {arXiv},
  eprint       = {1705.08241},
  timestamp    = {Thu, 14 Oct 2021 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},
  eprinttype    = {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},
  eprinttype    = {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      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {71},
  year         = {2014},
  url          = {https://doi.org/10.14279/tuj.eceasst.71.994},
  doi          = {10.14279/TUJ.ECEASST.71.994},
  timestamp    = {Thu, 23 Sep 2021 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