Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Alessio Mansutti
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.