Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Marino Miculan
@article{DBLP:journals/tcs/CastelnovoGM24, author = {Davide Castelnovo and Fabio Gadducci and Marino Miculan}, title = {A simple criterion for M,N-adhesivity}, journal = {Theor. Comput. Sci.}, volume = {982}, pages = {114280}, year = {2024}, url = {https://doi.org/10.1016/j.tcs.2023.114280}, doi = {10.1016/J.TCS.2023.114280}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CastelnovoGM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2401-12638, author = {Davide Castelnovo and Marino Miculan}, title = {On The Axioms Of M, N-Adhesive Categories}, journal = {CoRR}, volume = {abs/2401.12638}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.12638}, doi = {10.48550/ARXIV.2401.12638}, eprinttype = {arXiv}, eprint = {2401.12638}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-12638.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/compsec/MiculanV23, author = {Marino Miculan and Nicola Vitacolonna}, title = {Automated verification of Telegram's MTProto 2.0 in the symbolic model}, journal = {Comput. Secur.}, volume = {126}, pages = {103072}, year = {2023}, url = {https://doi.org/10.1016/j.cose.2022.103072}, doi = {10.1016/J.COSE.2022.103072}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/compsec/MiculanV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/StolzeMG23, author = {Claude Stolze and Marino Miculan and Pietro Di Gianantonio}, title = {Composable partial multiparty session types for open systems}, journal = {Softw. Syst. Model.}, volume = {22}, number = {2}, pages = {473--494}, year = {2023}, url = {https://doi.org/10.1007/s10270-022-01040-x}, doi = {10.1007/S10270-022-01040-X}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/StolzeMG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/PasquaM23, author = {Michele Pasqua and Marino Miculan}, title = {AbU: {A} calculus for distributed event-driven programming with attribute-based interaction}, journal = {Theor. Comput. Sci.}, volume = {958}, pages = {113841}, year = {2023}, url = {https://doi.org/10.1016/j.tcs.2023.113841}, doi = {10.1016/J.TCS.2023.113841}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/PasquaM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlt2/BistarelliFMTM23, author = {Stefano Bistarelli and Francesco Faloci and Paolo Mori and Carlo Taticchi and Marino Miculan}, editor = {Paolo Mori and Ivan Visconti and Stefano Bistarelli}, title = {Modeling Carne {PRI} supply chain with the *-Chain Platform}, booktitle = {Proceedings of the Fifth Distributed Ledger Technology Workshop {(DLT} 2023), Bologna, Italy, May 25-26, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3460}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3460/papers/DLT\_2023\_paper\_10.pdf}, timestamp = {Mon, 28 Aug 2023 17:23:08 +0200}, biburl = {https://dblp.org/rec/conf/dlt2/BistarelliFMTM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/MiculanP23, author = {Marino Miculan and Matteo Paier}, editor = {Giuseppa Castiglione and Marinella Sciortino}, title = {Assembling Coherent Network Topologies Using Round-Trip Graphs (short paper)}, booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3587}, pages = {110--115}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3587/6692.pdf}, timestamp = {Mon, 18 Dec 2023 16:58:34 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/MiculanP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ital-ia/VoltanFM23, author = {Gabriele Voltan and Gian Luca Foresti and Marino Miculan}, editor = {Fabrizio Falchi and Fosca Giannotti and Anna Monreale and Chiara Boldrini and Salvatore Rinzivillo and Sara Colantonio}, title = {Pairing an Autoencoder and a {SF-SOINN} for Implementing an Intrusion Detection System}, booktitle = {Proceedings of the Italia Intelligenza Artificiale - Thematic Workshops co-located with the 3rd {CINI} National Lab {AIIS} Conference on Artificial Intelligence (Ital {IA} 2023), Pisa, Italy, May 29-30, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3486}, pages = {409--414}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3486/23.pdf}, timestamp = {Thu, 21 Sep 2023 17:01:40 +0200}, biburl = {https://dblp.org/rec/conf/ital-ia/VoltanFM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itasec/AltaruiMP23, author = {Andrea Altarui and Marino Miculan and Matteo Paier}, editor = {Francesco Buccafurri and Elena Ferrari and Gianluca Lax}, title = {DBCChecker: a Bigraph-based Tool for Checking Security Properties of Container Compositions}, booktitle = {Proceedings of the Italian Conference on Cyber Security {(ITASEC} 2023), Bari, Italy, May 2-5, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3488}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3488/paper01.pdf}, timestamp = {Thu, 21 Sep 2023 17:01:40 +0200}, biburl = {https://dblp.org/rec/conf/itasec/AltaruiMP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/PasquaCM22, author = {Michele Pasqua and Massimo Comuzzo and Marino Miculan}, title = {The AbU Language: IoT Distributed Programming Made Easy}, journal = {{IEEE} Access}, volume = {10}, pages = {132763--132776}, year = {2022}, url = {https://doi.org/10.1109/ACCESS.2022.3230287}, doi = {10.1109/ACCESS.2022.3230287}, timestamp = {Sun, 15 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/PasquaCM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/ChiapperiniMP22, author = {Alessio Chiapperini and Marino Miculan and Marco Peressotti}, title = {Computing (optimal) embeddings of directed bigraphs}, journal = {Sci. Comput. Program.}, volume = {221}, pages = {102842}, year = {2022}, url = {https://doi.org/10.1016/j.scico.2022.102842}, doi = {10.1016/J.SCICO.2022.102842}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/ChiapperiniMP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/CastelnovoM22, author = {Davide Castelnovo and Marino Miculan}, editor = {Florin Manea and Alex Simpson}, title = {Fuzzy Algebraic Theories}, booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022, February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)}, series = {LIPIcs}, volume = {216}, pages = {13:1--13:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.CSL.2022.13}, doi = {10.4230/LIPICS.CSL.2022.13}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csl/CastelnovoM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/CastelnovoGM22, author = {Davide Castelnovo and Fabio Gadducci and Marino Miculan}, editor = {Patricia Bouyer and Lutz Schr{\"{o}}der}, title = {A new criterion for \emph{M}, \emph{N}-adhesivity, with an application to hierarchical graphs}, 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 = {205--224}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99253-8\_11}, doi = {10.1007/978-3-030-99253-8\_11}, timestamp = {Fri, 29 Apr 2022 14:50:32 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/CastelnovoGM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/MiculanP22, author = {Marino Miculan and Matteo Paier}, editor = {Ugo Dal Lago and Daniele Gorla}, title = {A Calculus for Subjective Communication}, booktitle = {Proceedings of the 23rd Italian Conference on Theoretical Computer Science, {ICTCS} 2022, Rome, Italy, September 7-9, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3284}, pages = {148--160}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3284/1841.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/MiculanP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/PasquaM22, author = {Michele Pasqua and Marino Miculan}, editor = {Ugo Dal Lago and Daniele Gorla}, title = {Distributed Programming of Smart Systems with Event-Condition-Action Rules}, booktitle = {Proceedings of the 23rd Italian Conference on Theoretical Computer Science, {ICTCS} 2022, Rome, Italy, September 7-9, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3284}, pages = {201--206}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3284/7982.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/PasquaM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2201-00233, author = {Davide Castelnovo and Fabio Gadducci and Marino Miculan}, title = {A new criterion for M, N-adhesivity, with an application to hierarchical graphs}, journal = {CoRR}, volume = {abs/2201.00233}, year = {2022}, url = {https://arxiv.org/abs/2201.00233}, eprinttype = {arXiv}, eprint = {2201.00233}, timestamp = {Mon, 10 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2201-00233.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/CastelnovoM21, author = {Davide Castelnovo and Marino Miculan}, editor = {Fabio Gadducci and Alexandra Silva}, title = {Closure Hyperdoctrines}, booktitle = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2021, August 31 to September 3, 2021, Salzburg, Austria}, series = {LIPIcs}, volume = {211}, pages = {12:1--12:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2021.12}, doi = {10.4230/LIPICS.CALCO.2021.12}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/calco/CastelnovoM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/StolzeMG21, author = {Claude Stolze and Marino Miculan and Pietro Di Gianantonio}, editor = {Gwen Sala{\"{u}}n and Anton Wijs}, title = {Composable Partial Multiparty Session Types}, booktitle = {Formal Aspects of Component Software - 17th International Conference, {FACS} 2021, Virtual Event, October 28-29, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13077}, pages = {44--62}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-90636-8\_3}, doi = {10.1007/978-3-030-90636-8\_3}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/facs2/StolzeMG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/MiculanP21, author = {Marino Miculan and Michele Pasqua}, editor = {Antonio Cerone and Peter Csaba {\"{O}}lveczky}, title = {A Calculus for Attribute-Based Memory Updates}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12819}, pages = {366--385}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-85315-0\_21}, doi = {10.1007/978-3-030-85315-0\_21}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictac/MiculanP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itasec/NardinMPF21, author = {Axel De Nardin and Marino Miculan and Claudio Piciarelli and Gian Luca Foresti}, editor = {Alessandro Armando and Michele Colajanni}, title = {A Time-series Classification Approach to Shallow Web Traffic De-anonymization}, booktitle = {Proceedings of the Italian Conference on Cybersecurity, {ITASEC} 2021, All Digital Event, April 7-9, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2940}, pages = {156--165}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2940/paper14.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:11 +0100}, biburl = {https://dblp.org/rec/conf/itasec/NardinMPF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/secrypt/MiculanV21, author = {Marino Miculan and Nicola Vitacolonna}, editor = {Sabrina De Capitani di Vimercati and Pierangela Samarati}, title = {Automated Symbolic Verification of Telegram's MTProto 2.0}, booktitle = {Proceedings of the 18th International Conference on Security and Cryptography, {SECRYPT} 2021, July 6-8, 2021}, pages = {185--197}, publisher = {{SCITEPRESS}}, year = {2021}, url = {https://doi.org/10.5220/0010549601850197}, doi = {10.5220/0010549601850197}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/secrypt/MiculanV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/PasquaM21, author = {Michele Pasqua and Marino Miculan}, editor = {Radu Calinescu and Corina S. Pasareanu}, title = {On the Security and Safety of AbU Systems}, booktitle = {Software Engineering and Formal Methods - 19th International Conference, {SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13085}, pages = {178--198}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-92124-8\_11}, doi = {10.1007/978-3-030-92124-8\_11}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/PasquaM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-10970, author = {Davide Castelnovo and Marino Miculan}, title = {Fuzzy Algebraic Theories}, journal = {CoRR}, volume = {abs/2110.10970}, year = {2021}, url = {https://arxiv.org/abs/2110.10970}, eprinttype = {arXiv}, eprint = {2110.10970}, timestamp = {Thu, 28 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-10970.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/ChiapperiniMP20, author = {Alessio Chiapperini and Marino Miculan and Marco Peressotti}, editor = {Fabio Gadducci and Timo Kehrer}, title = {Computing Embeddings of Directed Bigraphs}, booktitle = {Graph Transformation - 13th International Conference, {ICGT} 2020, Held as Part of {STAF} 2020, Bergen, Norway, June 25-26, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12150}, pages = {38--56}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51372-6\_3}, doi = {10.1007/978-3-030-51372-6\_3}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/ChiapperiniMP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/MiculanP20, author = {Marino Miculan and Marco Peressotti}, editor = {Gennaro Cordasco and Luisa Gargano and Adele A. Rescigno}, title = {Software Transactional Memory with Interactions}, booktitle = {Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2756}, pages = {67--80}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2756/paper\_7.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/MiculanP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itasec/MiculanT20, author = {Marino Miculan and Daniel Tosone}, editor = {Franco Chiaraluce and Leonardo Mostarda}, title = {Securing the Art Market with Distributed Public Ledgers}, booktitle = {Proceedings of the 3rd Distributed Ledger Technology Workshop Co-located with {ITASEC} 2020, Ancona, Italy, February 4, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2580}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2580/DLT\_2020\_paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:11 +0100}, biburl = {https://dblp.org/rec/conf/itasec/MiculanT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/BurcoMP20, author = {Fabio Burco and Marino Miculan and Marco Peressotti}, editor = {Chih{-}Cheng Hung and Tom{\'{a}}s Cern{\'{y}} and Dongwan Shin and Alessio Bechini}, title = {Towards a formal model for composable container systems}, booktitle = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020}, pages = {173--175}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3341105.3374121}, doi = {10.1145/3341105.3374121}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/BurcoMP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2003-10209, author = {Alessio Chiapperini and Marino Miculan and Marco Peressotti}, title = {A {CSP} implementation of the directed bigraph embedding problem}, journal = {CoRR}, volume = {abs/2003.10209}, year = {2020}, url = {https://arxiv.org/abs/2003.10209}, eprinttype = {arXiv}, eprint = {2003.10209}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2003-10209.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-04213, author = {Davide Castelnovo and Marino Miculan}, title = {Closure hyperdoctrines, with paths}, journal = {CoRR}, volume = {abs/2007.04213}, year = {2020}, url = {https://arxiv.org/abs/2007.04213}, eprinttype = {arXiv}, eprint = {2007.04213}, timestamp = {Mon, 20 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-04213.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-10809, author = {Marino Miculan and Marco Peressotti}, title = {Software Transactional Memory with Interactions}, journal = {CoRR}, volume = {abs/2007.10809}, year = {2020}, url = {https://arxiv.org/abs/2007.10809}, eprinttype = {arXiv}, eprint = {2007.10809}, timestamp = {Tue, 28 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-10809.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-03141, author = {Marino Miculan and Nicola Vitacolonna}, title = {Automated Symbolic Verification of Telegram's MTProto 2.0}, journal = {CoRR}, volume = {abs/2012.03141}, year = {2020}, url = {https://arxiv.org/abs/2012.03141}, eprinttype = {arXiv}, eprint = {2012.03141}, timestamp = {Wed, 09 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-03141.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BernardoM19, author = {Marco Bernardo and Marino Miculan}, title = {Constructive logical characterizations of bisimilarity for reactive probabilistic systems}, journal = {Theor. Comput. Sci.}, volume = {764}, pages = {80--99}, year = {2019}, url = {https://doi.org/10.1016/j.tcs.2018.12.003}, doi = {10.1016/J.TCS.2018.12.003}, timestamp = {Fri, 12 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BernardoM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/GeattiIM19, author = {Luca Geatti and Federico Igne and Marino Miculan}, editor = {Alessandra Cherubini and Nicoletta Sabadini and Simone Tini}, title = {An Abstract Distributed Middleware for Transactions over Heterogeneous Stores}, booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2504}, pages = {171--183}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2504/paper20.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/GeattiIM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itasec/MiculanFP19, author = {Marino Miculan and Gian Luca Foresti and Claudio Piciarelli}, editor = {Pierpaolo Degano and Roberto Zunino}, title = {Towards User Recognition by Shallow Web Traffic Inspection}, booktitle = {Proceedings of the Third Italian Conference on Cyber Security, Pisa, Italy, February 13-15, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2315}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2315/paper08.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:11 +0100}, biburl = {https://dblp.org/rec/conf/itasec/MiculanFP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1912-01107, author = {Fabio Burco and Marino Miculan and Marco Peressotti}, title = {Towards a Formal Model for Composable Container Systems}, journal = {CoRR}, volume = {abs/1912.01107}, year = {2019}, url = {http://arxiv.org/abs/1912.01107}, eprinttype = {arXiv}, eprint = {1912.01107}, timestamp = {Thu, 02 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1912-01107.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/HildebrandtM18, author = {Thomas T. Hildebrandt and Marino Miculan}, title = {Guest editors' foreword}, journal = {J. Log. Algebraic Methods Program.}, volume = {95}, pages = {147}, year = {2018}, url = {https://doi.org/10.1016/j.jlamp.2017.12.001}, doi = {10.1016/J.JLAMP.2017.12.001}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/HildebrandtM18.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} }
@inproceedings{DBLP:conf/ictcs/MiculanP17, author = {Marino Miculan and Marco Peressotti}, editor = {Dario Della Monica and Aniello Murano and Sasha Rubin and Luigi Sauro}, title = {Deciding Weak Weighted Bisimulation}, booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 {IEEE} International Workshop on Measurements and Networking {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1949}, pages = {126--137}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1949/ICTCSpaper11.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/MiculanP17.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/MiculanP17, author = {Marino Miculan and Marco Peressotti}, title = {Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation}, journal = {CoRR}, volume = {abs/1704.07181}, year = {2017}, url = {http://arxiv.org/abs/1704.07181}, eprinttype = {arXiv}, eprint = {1704.07181}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MiculanP17.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/tcs/MiculanP16, author = {Marino Miculan and Marco Peressotti}, title = {Structural operational semantics for non-deterministic processes with quantitative aspects}, journal = {Theor. Comput. Sci.}, volume = {655}, pages = {135--154}, year = {2016}, url = {https://doi.org/10.1016/j.tcs.2016.01.012}, doi = {10.1016/J.TCS.2016.01.012}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/MiculanP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/MiculanP16, author = {Marino Miculan and Marco Peressotti}, editor = {Vittorio Bil{\`{o}} and Antonio Caruso}, title = {On the Bisimulation Hierarchy of State-to-Function Transition Systems}, booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1720}, pages = {88--102}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1720/full7.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/MiculanP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/BernardoM16, author = {Marco Bernardo and Marino Miculan}, editor = {Vittorio Bil{\`{o}} and Antonio Caruso}, title = {Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems}, booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1720}, pages = {203--220}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1720/full15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/BernardoM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BernardoM16, author = {Marco Bernardo and Marino Miculan}, title = {Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems}, journal = {CoRR}, volume = {abs/1601.06198}, year = {2016}, url = {http://arxiv.org/abs/1601.06198}, eprinttype = {arXiv}, eprint = {1601.06198}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BernardoM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MiculanP16, author = {Marino Miculan and Marco Peressotti}, title = {A Specification of Open Transactional Memory for Haskell}, journal = {CoRR}, volume = {abs/1602.05365}, year = {2016}, url = {http://arxiv.org/abs/1602.05365}, eprinttype = {arXiv}, eprint = {1602.05365}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MiculanP16.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/jcss/BacciM15, author = {Giorgio Bacci and Marino Miculan}, title = {Structural operational semantics for continuous state stochastic transition systems}, journal = {J. Comput. Syst. Sci.}, volume = {81}, number = {5}, pages = {834--858}, year = {2015}, url = {https://doi.org/10.1016/j.jcss.2014.12.003}, doi = {10.1016/J.JCSS.2014.12.003}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/BacciM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/BrengosMP15, author = {Tomasz Brengos and Marino Miculan and Marco Peressotti}, title = {Behavioural equivalences for coalgebras with unobservable moves}, journal = {J. Log. Algebraic Methods Program.}, volume = {84}, number = {6}, pages = {826--852}, year = {2015}, url = {https://doi.org/10.1016/j.jlamp.2015.09.002}, doi = {10.1016/J.JLAMP.2015.09.002}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/BrengosMP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/MiculanPT15, author = {Marino Miculan and Marco Peressotti and Andrea Toneguzzo}, editor = {Tom Holvoet and Mirko Viroli}, title = {Open Transactions on Shared Memory}, booktitle = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9037}, pages = {213--229}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19282-6\_14}, doi = {10.1007/978-3-319-19282-6\_14}, timestamp = {Fri, 27 Mar 2020 08:47:36 +0100}, biburl = {https://dblp.org/rec/conf/coordination/MiculanPT15.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/corr/MiculanPT15, author = {Marino Miculan and Marco Peressotti and Andrea Toneguzzo}, title = {Open Transactions on Shared Memory}, journal = {CoRR}, volume = {abs/1503.09097}, year = {2015}, url = {http://arxiv.org/abs/1503.09097}, eprinttype = {arXiv}, eprint = {1503.09097}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MiculanPT15.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} }
@inproceedings{DBLP:conf/rta/BizjakBM14, author = {Ales Bizjak and Lars Birkedal and Marino Miculan}, editor = {Gilles Dowek}, title = {A Model of Countable Nondeterminism in Guarded Type Theory}, booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference, {RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8560}, pages = {108--123}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08918-8\_8}, doi = {10.1007/978-3-319-08918-8\_8}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/BizjakBM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BacciMR14, author = {Giorgio Bacci and Marino Miculan and Romeo Rizzi}, editor = {Matteo Maffei and Emilio Tuosto}, title = {Finding a Forest in a Tree - The Matching Problem for Wide Reactive Systems}, booktitle = {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}, pages = {17--33}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-45917-1\_2}, doi = {10.1007/978-3-662-45917-1\_2}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BacciMR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/MiculanP14, author = {Marino Miculan and Marco Peressotti}, editor = {Nathalie Bertrand and Luca Bortolussi}, title = {{GSOS} for non-deterministic processes with quantitative aspects}, booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2014, Grenoble, France, 12-13 April 2014}, series = {{EPTCS}}, volume = {154}, pages = {17--33}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.154.2}, doi = {10.4204/EPTCS.154.2}, timestamp = {Tue, 29 Dec 2020 18:21:13 +0100}, biburl = {https://dblp.org/rec/journals/corr/MiculanP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MiculanP14a, author = {Marino Miculan and Marco Peressotti}, title = {Structural operational semantics for non-deterministic processes with quantitative aspects}, journal = {CoRR}, volume = {abs/1410.0893}, year = {2014}, url = {http://arxiv.org/abs/1410.0893}, eprinttype = {arXiv}, eprint = {1410.0893}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MiculanP14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BrengosMP14, author = {Tomasz Brengos and Marino Miculan and Marco Peressotti}, title = {Behavioural equivalences for coalgebras with unobservable moves}, journal = {CoRR}, volume = {abs/1411.0090}, year = {2014}, url = {http://arxiv.org/abs/1411.0090}, eprinttype = {arXiv}, eprint = {1411.0090}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BrengosMP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MiculanP14b, author = {Marino Miculan and Marco Peressotti}, title = {A {CSP} implementation of the bigraph embedding problem}, journal = {CoRR}, volume = {abs/1412.1042}, year = {2014}, url = {http://arxiv.org/abs/1412.1042}, eprinttype = {arXiv}, eprint = {1412.1042}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MiculanP14b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MiculanP13, author = {Marino Miculan and Marco Peressotti}, title = {Weak bisimulations for labelled transition systems weighted over semirings}, journal = {CoRR}, volume = {abs/1310.4106}, year = {2013}, url = {http://arxiv.org/abs/1310.4106}, eprinttype = {arXiv}, eprint = {1310.4106}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MiculanP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BacciM12, author = {Giorgio Bacci and Marino Miculan}, title = {Measurable stochastics for Brane Calculus}, journal = {Theor. Comput. Sci.}, volume = {431}, pages = {117--136}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2011.12.055}, doi = {10.1016/J.TCS.2011.12.055}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BacciM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cmcs/BacciM12, author = {Giorgio Bacci and Marino Miculan}, editor = {Dirk Pattinson and Lutz Schr{\"{o}}der}, title = {Structural Operational Semantics for Continuous State Probabilistic Processes}, booktitle = {Coalgebraic Methods in Computer Science - 11th International Workshop, {CMCS} 2012, Colocated with {ETAPS} 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7399}, pages = {71--89}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32784-1\_5}, doi = {10.1007/978-3-642-32784-1\_5}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/cmcs/BacciM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itp/MiculanP12, author = {Marino Miculan and Marco Paviotti}, editor = {Lennart Beringer and Amy P. Felty}, title = {Synthesis of Distributed Mobile Programs Using Monadic Types in Coq}, booktitle = {Interactive Theorem Proving - Third International Conference, {ITP} 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7406}, pages = {183--200}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32347-8\_13}, doi = {10.1007/978-3-642-32347-8\_13}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/itp/MiculanP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1211-4094, author = {Marino Miculan and Ilaria Sambarino}, editor = {Gabriel Ciobanu}, title = {Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine}, booktitle = {Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012}, series = {{EPTCS}}, volume = {100}, pages = {82--100}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.100.6}, doi = {10.4204/EPTCS.100.6}, timestamp = {Tue, 29 Dec 2020 18:21:24 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1211-4094.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/secrypt/MaieroM11, author = {Carlo Maiero and Marino Miculan}, editor = {Javier L{\'{o}}pez and Pierangela Samarati}, title = {Unobservable Intrusion Detection based on Call Traces in Paravirtualized Systems}, booktitle = {{SECRYPT} 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18 - 21 July, 2011, {SECRYPT} is part of {ICETE} - The International Joint Conference on e-Business and Telecommunications}, pages = {300--306}, publisher = {SciTePress}, year = {2011}, timestamp = {Thu, 29 Aug 2019 08:10:02 +0200}, biburl = {https://dblp.org/rec/conf/secrypt/MaieroM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/GrohmannM10, author = {Davide Grohmann and Marino Miculan}, title = {Graph Algebras for Bigraphs}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {29}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.29.414}, doi = {10.14279/TUJ.ECEASST.29.414}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/GrohmannM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1011-0488, author = {Giorgio Bacci and Marino Miculan}, editor = {Gabriel Ciobanu and Maciej Koutny}, title = {Measurable Stochastics for Brane Calculus}, booktitle = {Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010}, series = {{EPTCS}}, volume = {40}, pages = {6--22}, year = {2010}, url = {https://doi.org/10.4204/EPTCS.40.2}, doi = {10.4204/EPTCS.40.2}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1011-0488.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1009-2189, editor = {Karl Crary and Marino Miculan}, title = {Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, {LFMTP} 2010, Edinburgh, UK, 14th July 2010}, series = {{EPTCS}}, volume = {34}, year = {2010}, url = {https://doi.org/10.4204/EPTCS.34}, doi = {10.4204/EPTCS.34}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1009-2189.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/BacciGM09, author = {Giorgio Bacci and Davide Grohmann and Marino Miculan}, editor = {Alexander Kurz and Marina Lenisa and Andrzej Tarlecki}, title = {DBtk: {A} Toolkit for Directed Bigraphs}, booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference, {CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5728}, pages = {413--422}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03741-2\_28}, doi = {10.1007/978-3-642-03741-2\_28}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/calco/BacciGM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-0911-4510, author = {Giorgio Bacci and Davide Grohmann and Marino Miculan}, editor = {Gabriel Ciobanu}, title = {Bigraphical models for protein and membrane interactions}, booktitle = {Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009}, series = {{EPTCS}}, volume = {11}, pages = {3--18}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.11.1}, doi = {10.4204/EPTCS.11.1}, timestamp = {Tue, 29 Dec 2020 18:21:21 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-0911-4510.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-0911-4513, author = {Giorgio Bacci and Davide Grohmann and Marino Miculan}, editor = {Gabriel Ciobanu}, title = {A framework for protein and membrane interactions}, booktitle = {Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009}, series = {{EPTCS}}, volume = {11}, pages = {19--33}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.11.2}, doi = {10.4204/EPTCS.11.2}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-0911-4513.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/GrohmannM08, author = {Davide Grohmann and Marino Miculan}, title = {Controlling resource access in Directed Bigraphs}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {10}, year = {2008}, url = {https://doi.org/10.14279/tuj.eceasst.10.142}, doi = {10.14279/TUJ.ECEASST.10.142}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/GrohmannM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/GrohmannM08a, author = {Davide Grohmann and Marino Miculan}, title = {Deriving Barbed Bisimulations for Bigraphical Reactive Systems}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {16}, year = {2008}, url = {https://doi.org/10.14279/tuj.eceasst.16.254}, doi = {10.14279/TUJ.ECEASST.16.254}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eceasst/GrohmannM08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/CrafaMMPR08, author = {Silvia Crafa and Matteo Mio and Marino Miculan and Carla Piazza and Sabina Rossi}, editor = {Jonathan Billington and Zhenhua Duan and Maciej Koutny}, title = {PicNIc - Pi-calculus non-interference checker}, booktitle = {8th International Conference on Application of Concurrency to System Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008}, pages = {33--38}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/ACSD.2008.4574592}, doi = {10.1109/ACSD.2008.4574592}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/acsd/CrafaMMPR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/KahsaiM08, author = {Temesghen Kahsai and Marino Miculan}, editor = {Arnold Beckmann and Costas Dimitracopoulos and Benedikt L{\"{o}}we}, title = {Implementing Spi Calculus Using Nominal Techniques}, booktitle = {Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5028}, pages = {294--305}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-69407-6\_33}, doi = {10.1007/978-3-540-69407-6\_33}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/cie/KahsaiM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Miculan08, author = {Marino Miculan}, editor = {Andrej Bauer and Michael W. Mislove}, title = {A Categorical Model of the Fusion Calculus}, booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May 22-25, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {218}, pages = {275--293}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.10.017}, doi = {10.1016/J.ENTCS.2008.10.017}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Miculan08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/types/2007, editor = {Marino Miculan and Ivan Scagnetto and Furio Honsell}, title = {Types for Proofs and Programs, International Conference, {TYPES} 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4941}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68103-8}, doi = {10.1007/978-3-540-68103-8}, isbn = {978-3-540-68084-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/types/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/CiaffaglioneLM07, author = {Alberto Ciaffaglione and Luigi Liquori and Marino Miculan}, title = {Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts}, journal = {J. Autom. Reason.}, volume = {39}, number = {1}, pages = {1--47}, year = {2007}, url = {https://doi.org/10.1007/s10817-006-9061-y}, doi = {10.1007/S10817-006-9061-Y}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/CiaffaglioneLM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/GrohmannM07, author = {Davide Grohmann and Marino Miculan}, editor = {Lu{\'{\i}}s Caires and Vasco Thudichum Vasconcelos}, title = {Reactive Systems over Directed Bigraphs}, booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference, {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4703}, pages = {380--394}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74407-8\_26}, doi = {10.1007/978-3-540-74407-8\_26}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/GrohmannM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BacciM08, author = {Giorgio Bacci and Marino Miculan}, editor = {Vincent Danos and Mariangiola Dezani}, title = {Undecidability of Model Checking in Brane Logic}, booktitle = {Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {192}, number = {3}, pages = {23--37}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.10.025}, doi = {10.1016/J.ENTCS.2008.10.025}, timestamp = {Thu, 09 Feb 2023 11:01:17 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BacciM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GrohmannM08, author = {Davide Grohmann and Marino Miculan}, editor = {Ian Mackie and Detlef Plump}, title = {An Algebra for Directed Bigraphs}, booktitle = {Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {203}, number = {1}, pages = {49--63}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.03.033}, doi = {10.1016/J.ENTCS.2008.03.033}, timestamp = {Mon, 13 Feb 2023 11:34:10 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GrohmannM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GrohmannM07, author = {Davide Grohmann and Marino Miculan}, editor = {Marcelo Fiore}, title = {Directed Bigraphs}, booktitle = {Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2007, New Orleans, LA, USA, April 11-14, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {173}, pages = {121--137}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.02.031}, doi = {10.1016/J.ENTCS.2007.02.031}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GrohmannM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/BucaloHMSH06, author = {Anna Bucalo and Furio Honsell and Marino Miculan and Ivan Scagnetto and Martin Hofmann}, title = {Consistency of the theory of contexts}, journal = {J. Funct. Program.}, volume = {16}, number = {3}, pages = {327--372}, year = {2006}, url = {https://doi.org/10.1017/S0956796806005892}, doi = {10.1017/S0956796806005892}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/BucaloHMSH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/GadducciMM06, author = {Fabio Gadducci and Marino Miculan and Ugo Montanari}, title = {About permutation algebras, (pre)sheaves and named sets}, journal = {High. Order Symb. Comput.}, volume = {19}, number = {2-3}, pages = {283--304}, year = {2006}, url = {https://doi.org/10.1007/s10990-006-8749-3}, doi = {10.1007/S10990-006-8749-3}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/GadducciMM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cmsb/MiculanB06, author = {Marino Miculan and Giorgio Bacci}, editor = {Corrado Priami}, title = {Modal Logics for Brane Calculus}, booktitle = {Computational Methods in Systems Biology, International Conference, {CMSB} 2006, Trento, Italy, October 18-19, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4210}, pages = {1--16}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11885191\_1}, doi = {10.1007/11885191\_1}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cmsb/MiculanB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/MiculanY05, author = {Marino Miculan and Kidane Yemane}, editor = {Vladimiro Sassone}, title = {A Unifying Model of Variables and Names}, booktitle = {Foundations of Software Science and Computational Structures, 8th International Conference, {FOSSACS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3441}, pages = {170--186}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31982-5\_11}, doi = {10.1007/978-3-540-31982-5\_11}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/MiculanY05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/MiculanSH05, author = {Marino Miculan and Ivan Scagnetto and Furio Honsell}, editor = {Randy Pollack}, title = {Translating specifications from nominal logic to {CIC} with the theory of contexts}, booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, {MERLIN} 2005, Tallinn, Estonia, September 30, 2005}, pages = {41--49}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1088454.1088460}, doi = {10.1145/1088454.1088460}, timestamp = {Mon, 12 Jul 2021 15:34:15 +0200}, biburl = {https://dblp.org/rec/conf/icfp/MiculanSH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/GianantonioM04, author = {Pietro Di Gianantonio and Marino Miculan}, editor = {Igor Walukiewicz}, title = {Unifying Recursive and Co-recursive Definitions in Sheaf Categories}, booktitle = {Foundations of Software Science and Computation Structures, 7th International Conference, {FOSSACS} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2987}, pages = {136--150}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24727-2\_11}, doi = {10.1007/978-3-540-24727-2\_11}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/GianantonioM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BruniHLM04, author = {Roberto Bruni and Furio Honsell and Marina Lenisa and Marino Miculan}, editor = {Jir{\'{\i}} Ad{\'{a}}mek and Stefan Milius}, title = {Modeling Fresh Names in the ?-calculus Using Abstractions}, booktitle = {Proceedings of the Workshop on Coalgebraic Methods in Computer Science, {CMCS} 2004, Barcelona, Spain, March 27-29, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {106}, pages = {25--41}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.02.039}, doi = {10.1016/J.ENTCS.2004.02.039}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BruniHLM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cometa/2003, editor = {Furio Honsell and Marina Lenisa and Marino Miculan}, title = {Proceedings of the Workshop of the {COMETA} Project on Computational Metamodels, {COMETA} 2003, Udine, Italy, December 15-17, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {104}, publisher = {Elsevier}, year = {2004}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/104/suppl/C}, timestamp = {Fri, 09 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cometa/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/CiaffaglioneLM03, author = {Alberto Ciaffaglione and Luigi Liquori and Marino Miculan}, title = {Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax}, booktitle = {Eighth {ACM} {SIGPLAN} International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, {MERLIN} 2003, Uppsala, Sweden, August 2003}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/976571.976574}, doi = {10.1145/976571.976574}, timestamp = {Mon, 12 Jul 2021 15:34:15 +0200}, biburl = {https://dblp.org/rec/conf/icfp/CiaffaglioneLM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/CiaffaglioneLM03, author = {Alberto Ciaffaglione and Luigi Liquori and Marino Miculan}, editor = {Moshe Y. Vardi and Andrei Voronkov}, title = {Imperative Object-Based Calculi in Co-inductive Type Theories}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, {LPAR} 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2850}, pages = {59--77}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39813-4\_4}, doi = {10.1007/978-3-540-39813-4\_4}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpar/CiaffaglioneLM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/MiculanS03, author = {Marino Miculan and Ivan Scagnetto}, title = {A framework for typed {HOAS} and semantics}, booktitle = {Proceedings of the 5th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden}, pages = {184--194}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/888251.888269}, doi = {10.1145/888251.888269}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/MiculanS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HonsellLM04, author = {Furio Honsell and Marina Lenisa and Marino Miculan}, editor = {Furio Honsell and Marina Lenisa and Marino Miculan}, title = {Preface}, booktitle = {Proceedings of the Workshop of the {COMETA} Project on Computational Metamodels, {COMETA} 2003, Udine, Italy, December 15-17, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {104}, pages = {1--3}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/j.entcs.2004.04.041}, doi = {10.1016/J.ENTCS.2004.04.041}, timestamp = {Fri, 09 Dec 2022 11:43:33 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HonsellLM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GadducciMM04, author = {Fabio Gadducci and Marino Miculan and Ugo Montanari}, editor = {Furio Honsell and Marina Lenisa and Marino Miculan}, title = {Some Characterization Results for Permutation Algebras}, booktitle = {Proceedings of the Workshop of the {COMETA} Project on Computational Metamodels, {COMETA} 2003, Udine, Italy, December 15-17, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {104}, pages = {129--147}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/j.entcs.2004.08.022}, doi = {10.1016/J.ENTCS.2004.08.022}, timestamp = {Fri, 09 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GadducciMM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/types/GianantonioM02, author = {Pietro Di Gianantonio and Marino Miculan}, editor = {Herman Geuvers and Freek Wiedijk}, title = {A Unifying Approach to Recursive and Co-recursive Definitions}, booktitle = {Types for Proofs and Programs, Second International Workshop, {TYPES} 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2646}, pages = {148--161}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-39185-1\_9}, doi = {10.1007/3-540-39185-1\_9}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/types/GianantonioM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ScagnettoM02, author = {Ivan Scagnetto and Marino Miculan}, editor = {Frank Pfenning}, title = {Ambient Calculus and its Logic in the Calculus of Inductive Constructions}, booktitle = {International Workshop on Logical Frameworks and Meta-Languages, {LFM} 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {70}, number = {2}, pages = {76--95}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80507-3}, doi = {10.1016/S1571-0661(04)80507-3}, timestamp = {Tue, 06 Dec 2022 14:32:51 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ScagnettoM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tosca2/2001, editor = {Marina Lenisa and Marino Miculan}, title = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001, Udine, Italy, November 19-21, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {62}, publisher = {Elsevier}, year = {2002}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/62/suppl/C}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tosca2/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Miculan01, author = {Marino Miculan}, title = {On the Formalization of the Modal {\(\mathrm{\mu}\)}-Calculus in the Calculus of Inductive Constructions}, journal = {Inf. Comput.}, volume = {164}, number = {1}, pages = {199--231}, year = {2001}, url = {https://doi.org/10.1006/inco.2000.2902}, doi = {10.1006/INCO.2000.2902}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Miculan01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HonsellMS01, author = {Furio Honsell and Marino Miculan and Ivan Scagnetto}, title = {pi-calculus in (Co)inductive-type theory}, journal = {Theor. Comput. Sci.}, volume = {253}, number = {2}, pages = {239--285}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00095-5}, doi = {10.1016/S0304-3975(00)00095-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/HonsellMS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/HonsellMS01, author = {Furio Honsell and Marino Miculan and Ivan Scagnetto}, editor = {Fernando Orejas and Paul G. Spirakis and Jan van Leeuwen}, title = {An Axiomatic Approach to Metareasoning on Nominal Algebras in {HOAS}}, booktitle = {Automata, Languages and Programming, 28th International Colloquium, {ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2076}, pages = {963--978}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-48224-5\_78}, doi = {10.1007/3-540-48224-5\_78}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/HonsellMS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HonsellMS01, author = {Furio Honsell and Marino Miculan and Ivan Scagnetto}, editor = {Marina Lenisa and Marino Miculan}, title = {The Theory of Contexts for First Order and Higher Order Abstract Syntax}, booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001, Udine, Italy, November 19-21, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {62}, pages = {116--135}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00323-8}, doi = {10.1016/S1571-0661(04)00323-8}, timestamp = {Wed, 30 Nov 2022 12:15:34 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HonsellMS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BruniHLM01, author = {Roberto Bruni and Furio Honsell and Marina Lenisa and Marino Miculan}, editor = {Marina Lenisa and Marino Miculan}, title = {Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic}, booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001, Udine, Italy, November 19-21, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {62}, pages = {136--156}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00324-X}, doi = {10.1016/S1571-0661(04)00324-X}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BruniHLM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LenisaM01, author = {Marina Lenisa and Marino Miculan}, editor = {Marina Lenisa and Marino Miculan}, title = {Preface}, booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001, Udine, Italy, November 19-21, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {62}, pages = {257--258}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)80561-4}, doi = {10.1016/S1571-0661(05)80561-4}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LenisaM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/tcs/Miculan01, author = {Marino Miculan}, editor = {Simon Ambler and Roy L. Crole and Alberto Momigliano}, title = {Developing (Meta)Theory of Lambda-calculus in the Theory of Context}, booktitle = {Mechanized Reasoning about Languages with Variable Binding, {MERLIN} 2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {58}, number = {1}, pages = {37--58}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00278-6}, doi = {10.1016/S1571-0661(04)00278-6}, timestamp = {Thu, 01 Dec 2022 15:28:01 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Miculan01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fossacs/2001, editor = {Furio Honsell and Marino Miculan}, title = {Foundations of Software Science and Computation Structures, 4th International Conference, {FOSSACS} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2030}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45315-6}, doi = {10.1007/3-540-45315-6}, isbn = {3-540-41864-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Miculan99, author = {Marino Miculan}, editor = {Jir{\'{\i}} Wiedermann and Peter van Emde Boas and Mogens Nielsen}, title = {Formalizing a Lazy Substitution Proof System for {\(\mathrm{\mu}\)}-calculus in the Calculus of Inductive Constructions}, booktitle = {Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1644}, pages = {554--564}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48523-6\_52}, doi = {10.1007/3-540-48523-6\_52}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/Miculan99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/webnet/CerratoADFFMNCM99, author = {Simona Cerrato and Fabio A. Asnicar and Paolo Dall'Aglio and Amanda de Felice and Massimo Di Fant and Marco Mizzaro and Fabrizio Nesti and Maria Candusso and Marino Miculan}, editor = {Paul De Bra and John J. Leggett}, title = {The Journal of High Energy Physics: Scientific Publishing on the Web}, booktitle = {Proceedings of WebNet 99 - World Conference on the {WWW} and Internet, Honolulu, Hawaii, USA, October 24-30, 1999}, pages = {1482--1483}, publisher = {{AACE}}, year = {1999}, timestamp = {Sat, 07 Sep 2019 11:59:24 +0200}, biburl = {https://dblp.org/rec/conf/webnet/CerratoADFFMNCM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/AvronHMP98, author = {Arnon Avron and Furio Honsell and Marino Miculan and Cristian Paravano}, title = {Encoding Modal Logics in Logical Frameworks}, journal = {Stud Logica}, volume = {60}, number = {1}, pages = {161--208}, year = {1998}, url = {https://doi.org/10.1023/A:1005060022386}, doi = {10.1023/A:1005060022386}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sLogica/AvronHMP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-9809120, author = {Marino Miculan}, title = {A Natural Deduction style proof system for propositional {\(\mu\)}-calculus and its formalization in inductive type theories}, journal = {CoRR}, volume = {cs.LO/9809120}, year = {1998}, url = {https://arxiv.org/abs/cs/9809120}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-9809120.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/MiculanG95, author = {Marino Miculan and Fabio Gadducci}, title = {Modal mu-Types for Processes}, booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995}, pages = {221--231}, publisher = {{IEEE} Computer Society}, year = {1995}, url = {https://doi.org/10.1109/LICS.1995.523701}, doi = {10.1109/LICS.1995.523701}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/MiculanG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/types/HonsellM95, author = {Furio Honsell and Marino Miculan}, editor = {Stefano Berardi and Mario Coppo}, title = {A Natural Deduction Approach to Dynamic Logic}, booktitle = {Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1158}, pages = {165--182}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-61780-9\_69}, doi = {10.1007/3-540-61780-9\_69}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/types/HonsellM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/types/Miculan93, author = {Marino Miculan}, editor = {Henk Barendregt and Tobias Nipkow}, title = {The Expressive Power of Structural Operational Semantics with Explicit Assumptions}, booktitle = {Types for Proofs and Programs, International Workshop TYPES'93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {806}, pages = {263--290}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-58085-9\_80}, doi = {10.1007/3-540-58085-9\_80}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/types/Miculan93.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.