Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Vladimiro Sassone
@article{DBLP:journals/compsec/HartHS22, author = {Stephen Hart and Basel Halak and Vladimiro Sassone}, title = {{CIST:} {A} Serious Game for Hardware Supply Chain}, journal = {Comput. Secur.}, volume = {122}, pages = {102912}, year = {2022}, url = {https://doi.org/10.1016/j.cose.2022.102912}, doi = {10.1016/J.COSE.2022.102912}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/compsec/HartHS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itasec/AngelisZALS22, author = {Stefano De Angelis and Gilberto Zanfino and Leonardo Aniello and Federico Lombardi and Vladimiro Sassone}, editor = {Maurizio Pizzonia and Andrea Vitaletti}, title = {Evaluating Blockchain Systems: {A} Comprehensive Study of Security and Dependability Attributes}, booktitle = {Proceedings of the 4th Workshop on Distributed Ledger Technology co-located with the Italian Conference on Cybersecurity 2022 {(ITASEC} 2022), Rome, Italy, June 20, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3166}, pages = {18--32}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3166/paper02.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:11 +0100}, biburl = {https://dblp.org/rec/conf/itasec/AngelisZALS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/ThorburnSFABDH22, author = {Robert Thorburn and Vladimiro Sassone and Asieh Salehi Fathabadi and Leonardo Aniello and Michael J. Butler and Dana Dghaym and Thai Son Hoang}, editor = {Thomas K{\"{u}}hn and Vasco Sousa}, title = {A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design}, booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal, Quebec, Canada, October 23-28, 2022}, pages = {83--84}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3550356.3559577}, doi = {10.1145/3550356.3559577}, timestamp = {Thu, 10 Nov 2022 12:50:00 +0100}, biburl = {https://dblp.org/rec/conf/models/ThorburnSFABDH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/DghaymHBHAS21, author = {Dana Dghaym and Thai Son Hoang and Michael J. Butler and Runshan Hu and Leonardo Aniello and Vladimiro Sassone}, editor = {Alexander Raschke and Dominique M{\'{e}}ry}, title = {Verifying System-Level Security of a Smart Ballot Box}, booktitle = {Rigorous State-Based Methods - 8th International Conference, {ABZ} 2021, Ulm, Germany, June 9-11, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12709}, pages = {34--49}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-77543-8\_3}, doi = {10.1007/978-3-030-77543-8\_3}, timestamp = {Wed, 09 Jun 2021 12:10:48 +0200}, biburl = {https://dblp.org/rec/conf/asm/DghaymHBHAS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/ThorburnPSS21, author = {Robert Thorburn and Federica Paci and Vladimiro Sassone and Sophie Stalla{-}Bourdillon}, title = {Connecting Regulatory Requirements to Audit Outcomes: {A} Model-driven Approach to Auditable Compliance}, booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems Companion, {MODELS} 2021 Companion, Fukuoka, Japan, October 10-15, 2021}, pages = {641--642}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/MODELS-C53483.2021.00100}, doi = {10.1109/MODELS-C53483.2021.00100}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/models/ThorburnPSS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-11765, author = {Stephen Hart and Basel Halak and Vladimiro Sassone}, title = {{MOTENS:} {A} Pedagogical Design Model for Serious Cyber Games}, journal = {CoRR}, volume = {abs/2110.11765}, year = {2021}, url = {https://arxiv.org/abs/2110.11765}, eprinttype = {arXiv}, eprint = {2110.11765}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-11765.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/compsec/HartMPS20, author = {Stephen Hart and Andrea Margheri and Federica Paci and Vladimiro Sassone}, title = {Riskio: {A} Serious Game for Cyber Security Awareness and Education}, journal = {Comput. Secur.}, volume = {95}, pages = {101827}, year = {2020}, url = {https://doi.org/10.1016/j.cose.2020.101827}, doi = {10.1016/J.COSE.2020.101827}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/compsec/HartMPS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/AlbersBMMNNPSS20, author = {Susanne Albers and Nikhil Bansal and Elvira Mayordomo and Dale Miller and Jaroslav Nesetril and Damian Niwinski and David Peleg and Vladimiro Sassone and Alexandra Silva}, title = {{EATCS} Distinguished Dissertation Award 2020 - Call for Nominations}, journal = {Bull. {EATCS}}, volume = {132}, year = {2020}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/636}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eatcs/AlbersBMMNNPSS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijmi/MargheriMMSR20, author = {Andrea Margheri and Massimiliano Masi and Abdallah Miladi and Vladimiro Sassone and Jason Rosenzweig}, title = {Decentralised provenance for healthcare data}, journal = {Int. J. Medical Informatics}, volume = {141}, pages = {104197}, year = {2020}, url = {https://doi.org/10.1016/j.ijmedinf.2020.104197}, doi = {10.1016/J.IJMEDINF.2020.104197}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijmi/MargheriMMSR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcm/OSullivanAS20, author = {Michael O'Sullivan and Leonardo Aniello and Vladimiro Sassone}, title = {A Methodology to Select Topology Generators for Ad Hoc Mesh Network Simulations}, journal = {J. Commun.}, volume = {15}, number = {10}, pages = {741--746}, year = {2020}, url = {https://doi.org/10.12720/jcm.15.10.741-746}, doi = {10.12720/JCM.15.10.741-746}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcm/OSullivanAS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/PelegAM0NNS19, author = {David Peleg and Susanne Albers and Elvira Mayordomo and Dale Miller and Jaroslav Nesetril and Damian Niwinski and Vladimiro Sassone}, title = {{EATCS} Distinguished Dissertation Award 2019 - Call for Nominations}, journal = {Bull. {EATCS}}, volume = {129}, year = {2019}, url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/601/610}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eatcs/PelegAM0NNS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijccbs/HowardBCS19, author = {Giles Howard and Michael J. Butler and John Colley and Vladimiro Sassone}, title = {A methodology for assuring the safety and security of critical infrastructure based on {STPA} and Event-B}, journal = {Int. J. Crit. Comput. Based Syst.}, volume = {9}, number = {1/2}, pages = {56--75}, year = {2019}, url = {https://doi.org/10.1504/IJCCBS.2019.098815}, doi = {10.1504/IJCCBS.2019.098815}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijccbs/HowardBCS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1908-09577, author = {Michael O'Sullivan and Leonardo Aniello and Vladimiro Sassone}, title = {A Methodology to Select Topology Generators for {WANET} Simulations (Extended Version)}, journal = {CoRR}, volume = {abs/1908.09577}, year = {2019}, url = {http://arxiv.org/abs/1908.09577}, eprinttype = {arXiv}, eprint = {1908.09577}, timestamp = {Thu, 29 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1908-09577.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cloudcomp/YangMHS18, author = {Mu Yang and Andrea Margheri and Runshan Hu and Vladimiro Sassone}, title = {Differentially Private Data Sharing in a Cloud Federation with Blockchain}, journal = {{IEEE} Cloud Comput.}, volume = {5}, number = {6}, pages = {69--79}, year = {2018}, url = {https://doi.org/10.1109/MCC.2018.064181122}, doi = {10.1109/MCC.2018.064181122}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cloudcomp/YangMHS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dbsec/ArgentoMPSZ18, author = {Luciano Argento and Andrea Margheri and Federica Paci and Vladimiro Sassone and Nicola Zannone}, editor = {Florian Kerschbaum and Stefano Paraboschi}, title = {Towards Adaptive Access Control}, booktitle = {Data and Applications Security and Privacy {XXXII} - 32nd Annual {IFIP} {WG} 11.3 Conference, DBSec 2018, Bergamo, Italy, July 16-18, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10980}, pages = {99--109}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-95729-6\_7}, doi = {10.1007/978-3-319-95729-6\_7}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/dbsec/ArgentoMPSZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itasec/AngelisABLMS18, author = {Stefano De Angelis and Leonardo Aniello and Roberto Baldoni and Federico Lombardi and Andrea Margheri and Vladimiro Sassone}, editor = {Elena Ferrari and Marco Baldi and Roberto Baldoni}, title = {{PBFT} vs Proof-of-Authority: Applying the {CAP} Theorem to Permissioned Blockchain}, booktitle = {Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to - 9th, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2058}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2058/paper-06.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:11 +0100}, biburl = {https://dblp.org/rec/conf/itasec/AngelisABLMS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itasec/NicolettiMLSS18, author = {Luca Nicoletti and Andrea Margheri and Federico Lombardi and Vladimiro Sassone and Francesco Paolo Schiavo}, editor = {Elena Ferrari and Marco Baldi and Roberto Baldoni}, title = {Cross-Cloud Management of Sensitive Data via Blockchain: a Payslip Calculation Use Case}, booktitle = {Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to - 9th, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2058}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2058/paper-12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/itasec/NicolettiMLSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/HamadouPS17, author = {Sardaouna Hamadou and Catuscia Palamidessi and Vladimiro Sassone}, title = {Quantifying leakage in the presence of unreliable sources of information}, journal = {J. Comput. Syst. Sci.}, volume = {88}, pages = {27--52}, year = {2017}, url = {https://doi.org/10.1016/j.jcss.2017.03.013}, doi = {10.1016/J.JCSS.2017.03.013}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcss/HamadouPS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEcloud/MargheriFYS17, author = {Andrea Margheri and Md. Sadek Ferdous and Mu Yang and Vladimiro Sassone}, editor = {Geoffrey C. Fox}, title = {A Distributed Infrastructure for Democratic Cloud Federations}, booktitle = {2017 {IEEE} 10th International Conference on Cloud Computing (CLOUD), Honolulu, HI, USA, June 25-30, 2017}, pages = {688--691}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/CLOUD.2017.93}, doi = {10.1109/CLOUD.2017.93}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEcloud/MargheriFYS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEcloud/AlansariPMS17, author = {Shorouq Alansari and Federica Paci and Andrea Margheri and Vladimiro Sassone}, editor = {Geoffrey C. Fox}, title = {Privacy-Preserving Access Control in Cloud Federations}, booktitle = {2017 {IEEE} 10th International Conference on Cloud Computing (CLOUD), Honolulu, HI, USA, June 25-30, 2017}, pages = {757--760}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/CLOUD.2017.108}, doi = {10.1109/CLOUD.2017.108}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEcloud/AlansariPMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edcc/AnielloBGLMS17, author = {Leonardo Aniello and Roberto Baldoni and Edoardo Gaetani and Federico Lombardi and Andrea Margheri and Vladimiro Sassone}, title = {A Prototype Evaluation of a Tamper-Resistant High Performance Blockchain-Based Transaction Log for a Distributed Database}, booktitle = {13th European Dependable Computing Conference, {EDCC} 2017, Geneva, Switzerland, September 4-8, 2017}, pages = {151--154}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/EDCC.2017.31}, doi = {10.1109/EDCC.2017.31}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edcc/AnielloBGLMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurosp/HowardBCS17, author = {Giles Howard and Michael J. Butler and John Colley and Vladimiro Sassone}, title = {Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended {STPA} Methodology}, booktitle = {2017 {IEEE} European Symposium on Security and Privacy Workshops, EuroS{\&}P Workshops 2017, Paris, France, April 26-28, 2017}, pages = {174--180}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/EuroSPW.2017.68}, doi = {10.1109/EUROSPW.2017.68}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/eurosp/HowardBCS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcs/AlansariPS17, author = {Shorouq Alansari and Federica Paci and Vladimiro Sassone}, editor = {Kisung Lee and Ling Liu}, title = {A Distributed Access Control System for Cloud Federations}, booktitle = {37th {IEEE} International Conference on Distributed Computing Systems, {ICDCS} 2017, Atlanta, GA, USA, June 5-8, 2017}, pages = {2131--2136}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ICDCS.2017.241}, doi = {10.1109/ICDCS.2017.241}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcs/AlansariPS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcs/FerdousMPYS17, author = {Md. Sadek Ferdous and Andrea Margheri and Federica Paci and Mu Yang and Vladimiro Sassone}, editor = {Kisung Lee and Ling Liu}, title = {Decentralised Runtime Monitoring for Access Control Systems in Cloud Federations}, booktitle = {37th {IEEE} International Conference on Distributed Computing Systems, {ICDCS} 2017, Atlanta, GA, USA, June 5-8, 2017}, pages = {2632--2633}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ICDCS.2017.178}, doi = {10.1109/ICDCS.2017.178}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcs/FerdousMPYS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itasec/GaetaniABLMS17, author = {Edoardo Gaetani and Leonardo Aniello and Roberto Baldoni and Federico Lombardi and Andrea Margheri and Vladimiro Sassone}, editor = {Alessandro Armando and Roberto Baldoni and Riccardo Focardi}, title = {Blockchain-Based Database to Ensure Data Integrity in Cloud Computing Environments}, booktitle = {Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), Venice, Italy, January 17-20, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1816}, pages = {146--155}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1816/paper-15.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:11 +0100}, biburl = {https://dblp.org/rec/conf/itasec/GaetaniABLMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/CiobanuHS16, author = {Gabriel Ciobanu and Ross Horne and Vladimiro Sassone}, title = {A descriptive type foundation for {RDF} Schema}, journal = {J. Log. Algebraic Methods Program.}, volume = {85}, number = {5}, pages = {681--706}, year = {2016}, url = {https://doi.org/10.1016/j.jlamp.2016.02.006}, doi = {10.1016/J.JLAMP.2016.02.006}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/CiobanuHS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SchiavoSNM16, author = {Francesco Paolo Schiavo and Vladimiro Sassone and Luca Nicoletti and Andrea Margheri}, title = {FaaS: Federation-as-a-Service}, journal = {CoRR}, volume = {abs/1612.03937}, year = {2016}, url = {http://arxiv.org/abs/1612.03937}, eprinttype = {arXiv}, eprint = {1612.03937}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SchiavoSNM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/FominLS15, author = {Fedor V. Fomin and Kim Larsen and Vladimiro Sassone}, title = {{EATCS} Award 2015}, journal = {Bull. {EATCS}}, volume = {115}, year = {2015}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/324}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eatcs/FominLS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/CiobanuHS15, author = {Gabriel Ciobanu and Ross Horne and Vladimiro Sassone}, title = {Minimal type inference for Linked Data consumers}, journal = {J. Log. Algebraic Methods Program.}, volume = {84}, number = {4}, pages = {485--504}, year = {2015}, url = {https://doi.org/10.1016/j.jlamp.2014.12.005}, doi = {10.1016/J.JLAMP.2014.12.005}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/CiobanuHS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/HamadouSY15, author = {Sardaouna Hamadou and Vladimiro Sassone and Mu Yang}, title = {An analysis of trust in anonymity networks in the presence of adaptive attackers}, journal = {Math. Struct. Comput. Sci.}, volume = {25}, number = {2}, pages = {429--456}, year = {2015}, url = {https://doi.org/10.1017/S0960129513000650}, doi = {10.1017/S0960129513000650}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/HamadouSY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifiptm/HusseinMS15, author = {Jamal Ali Hussein and Luc Moreau and Vladimiro Sassone}, editor = {Christian Damsgaard Jensen and Stephen Marsh and Theo Dimitrakos and Yuko Murayama}, title = {Obscuring Provenance Confidential Information via Graph Transformation}, booktitle = {Trust Management {IX} - 9th {IFIP} {WG} 11.11 International Conference, {IFIPTM} 2015, Hamburg, Germany, May 26-28, 2015, Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {454}, pages = {109--125}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-18491-3\_8}, doi = {10.1007/978-3-319-18491-3\_8}, timestamp = {Sun, 02 Oct 2022 16:07:38 +0200}, biburl = {https://dblp.org/rec/conf/ifiptm/HusseinMS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Sassone14, author = {Vladimiro Sassone}, title = {{ETAPS} Award Laudatio for Kohei Honda}, journal = {Bull. {EATCS}}, volume = {112}, year = {2014}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/231}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eatcs/Sassone14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Sassone14a, author = {Vladimiro Sassone}, title = {The {EATCS} Award 2015 - Call for Nominations}, journal = {Bull. {EATCS}}, volume = {114}, year = {2014}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/296}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eatcs/Sassone14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/HorneS14, author = {Ross Horne and Vladimiro Sassone}, title = {A verified algebra for read-write Linked Data}, journal = {Sci. Comput. Program.}, volume = {89}, pages = {2--22}, year = {2014}, url = {https://doi.org/10.1016/j.scico.2013.07.005}, doi = {10.1016/J.SCICO.2013.07.005}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/HorneS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/CiobanuHS14, author = {Gabriel Ciobanu and Ross Horne and Vladimiro Sassone}, editor = {Andrei Voronkov and Irina B. Virbitskaite}, title = {Descriptive Types for Linked Data Resources}, booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8974}, pages = {1--25}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-46823-4\_1}, doi = {10.1007/978-3-662-46823-4\_1}, timestamp = {Mon, 16 Dec 2019 13:26:25 +0100}, biburl = {https://dblp.org/rec/conf/ershov/CiobanuHS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/KlinS13, author = {Bartek Klin and Vladimiro Sassone}, title = {Structural operational semantics for stochastic and weighted transition systems}, journal = {Inf. Comput.}, volume = {227}, pages = {58--83}, year = {2013}, url = {https://doi.org/10.1016/j.ic.2013.04.001}, doi = {10.1016/J.IC.2013.04.001}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/KlinS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/secnet/ElSalamounyS13, author = {Ehab ElSalamouny and Vladimiro Sassone}, editor = {Ali Ismail Awad and Aboul Ella Hassanien and Kensuke Baba}, title = {An HMM-Based Reputation Model}, booktitle = {Advances in Security of Information and Communication Networks - First International Conference, SecNet 2013, Cairo, Egypt, September 3-5, 2013. Proceedings}, series = {Communications in Computer and Information Science}, volume = {381}, pages = {111--121}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40597-6\_9}, doi = {10.1007/978-3-642-40597-6\_9}, timestamp = {Wed, 19 May 2021 08:32:23 +0200}, biburl = {https://dblp.org/rec/conf/secnet/ElSalamounyS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/CiobanuHS13, author = {Gabriel Ciobanu and Ross Horne and Vladimiro Sassone}, editor = {Ant{\'{o}}nio Ravara and Josep Silva}, title = {Local Type Checking for Linked Data Consumers}, booktitle = {Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th June 2013}, series = {{EPTCS}}, volume = {123}, pages = {19--33}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.123.4}, doi = {10.4204/EPTCS.123.4}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/CiobanuHS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Dezani-CiancagliniHS12, author = {Mariangiola Dezani{-}Ciancaglini and Ross Horne and Vladimiro Sassone}, title = {Tracing where and who provenance in Linked Data: {A} calculus}, journal = {Theor. Comput. Sci.}, volume = {464}, pages = {113--129}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2012.06.020}, doi = {10.1016/J.TCS.2012.06.020}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/Dezani-CiancagliniHS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/post/YangSH12, author = {Mu Yang and Vladimiro Sassone and Sardaouna Hamadou}, editor = {Pierpaolo Degano and Joshua D. Guttman}, title = {A Game-Theoretic Analysis of Cooperation in Anonymity Networks}, booktitle = {Principles of Security and Trust - First International Conference, {POST} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7215}, pages = {269--289}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28641-4\_15}, doi = {10.1007/978-3-642-28641-4\_15}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/post/YangSH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mfcs/2012, editor = {Branislav Rovan and Vladimiro Sassone and Peter Widmayer}, title = {Mathematical Foundations of Computer Science 2012 - 37th International Symposium, {MFCS} 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7464}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32589-2}, doi = {10.1007/978-3-642-32589-2}, isbn = {978-3-642-32588-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tgc/2011, editor = {Roberto Bruni and Vladimiro Sassone}, title = {Trustworthy Global Computing - 6th International Symposium, {TGC} 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7173}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30065-3}, doi = {10.1007/978-3-642-30065-3}, isbn = {978-3-642-30064-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1106-5128, author = {Adrian Francalanza and Julian Rathke and Vladimiro Sassone}, title = {Permission-Based Separation Logic for Message-Passing Concurrency}, journal = {Log. Methods Comput. Sci.}, volume = {7}, number = {3}, year = {2011}, url = {https://doi.org/10.2168/LMCS-7(3:7)2011}, doi = {10.2168/LMCS-7(3:7)2011}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1106-5128.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aswc/HorneSG11, author = {Ross Horne and Vladimiro Sassone and Nicholas Gibbins}, editor = {Jeff Z. Pan and Huajun Chen and Hong{-}Gee Kim and Juanzi Li and Zhe Wu and Ian Horrocks and Riichiro Mizoguchi and Zhaohui Wu}, title = {Operational Semantics for {SPARQL} Update}, booktitle = {The Semantic Web - Joint International Semantic Technology Conference, {JIST} 2011, Hangzhou, China, December 4-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7185}, pages = {242--257}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-29923-0\_16}, doi = {10.1007/978-3-642-29923-0\_16}, timestamp = {Tue, 12 Apr 2022 14:46:29 +0200}, biburl = {https://dblp.org/rec/conf/aswc/HorneSG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icics/YangS11, author = {Mu Yang and Vladimiro Sassone}, editor = {Sihan Qing and Willy Susilo and Guilin Wang and Dongmei Liu}, title = {Minimising Anonymity Loss in Anonymity Networks under DoS Attacks}, booktitle = {Information and Communications Security - 13th International Conference, {ICICS} 2011, Beijing, China, November 23-26, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7043}, pages = {414--429}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25243-3\_33}, doi = {10.1007/978-3-642-25243-3\_33}, timestamp = {Thu, 31 Oct 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icics/YangS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1108-0229, author = {Ross Horne and Vladimiro Sassone}, editor = {Mohammad Reza Mousavi and Ant{\'{o}}nio Ravara}, title = {A Verified Algebra for Linked Data}, booktitle = {Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany, 10th September, 2011}, series = {{EPTCS}}, volume = {58}, pages = {20--33}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.58.2}, doi = {10.4204/EPTCS.58.2}, timestamp = {Sat, 11 Jul 2020 10:44:59 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1108-0229.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/SassoneHY10, author = {Vladimiro Sassone and Sardaouna Hamadou and Mu Yang}, editor = {Paul Gastin and Fran{\c{c}}ois Laroussinie}, title = {Trust in Anonymity Networks}, booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference, {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6269}, pages = {48--70}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15375-4\_5}, doi = {10.1007/978-3-642-15375-4\_5}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/SassoneHY10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/HamadouSP10, author = {Sardaouna Hamadou and Vladimiro Sassone and Catuscia Palamidessi}, title = {Reconciling Belief and Vulnerability in Information Flow}, booktitle = {31st {IEEE} Symposium on Security and Privacy, {SP} 2010, 16-19 May 2010, Berleley/Oakland, California, {USA}}, pages = {79--92}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/SP.2010.13}, doi = {10.1109/SP.2010.13}, timestamp = {Thu, 21 Sep 2023 16:14:16 +0200}, biburl = {https://dblp.org/rec/conf/sp/HamadouSP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/SassoneEH10, author = {Vladimiro Sassone and Ehab ElSalamouny and Sardaouna Hamadou}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {88--102}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_7}, doi = {10.1007/978-3-642-15640-3\_7}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/tgc/SassoneEH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifipTCS/2010, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5}, doi = {10.1007/978-3-642-15240-5}, isbn = {978-3-642-15239-9}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ElSalamounyKS09, author = {Ehab ElSalamouny and Karl Tikj{\o}b Krukow and Vladimiro Sassone}, title = {An analysis of the exponential decay principle in probabilistic trust models}, journal = {Theor. Comput. Sci.}, volume = {410}, number = {41}, pages = {4067--4084}, year = {2009}, url = {https://doi.org/10.1016/j.tcs.2009.06.011}, doi = {10.1016/J.TCS.2009.06.011}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ElSalamounyKS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fast/SouilahFS09, author = {Issam Souilah and Adrian Francalanza and Vladimiro Sassone}, editor = {James Cheney}, title = {A Formal Model of Provenance in Distributed Systems}, booktitle = {First Workshop on the Theory and Practice of Provenance, TaPP'09, San Francisco, CA, USA, February 23, 2009, Proceedings}, publisher = {{USENIX}}, year = {2009}, url = {http://www.usenix.org/events/tapp09/tech/full\_papers/souilah/souilah.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fast/SouilahFS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip1-7/ElSalamounySN09, author = {Ehab ElSalamouny and Vladimiro Sassone and Mogens Nielsen}, editor = {Pierpaolo Degano and Joshua D. Guttman}, title = {HMM-Based Trust Model}, booktitle = {Formal Aspects in Security and Trust, 6th International Workshop, {FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5983}, pages = {21--35}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-12459-4\_3}, doi = {10.1007/978-3-642-12459-4\_3}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/ifip1-7/ElSalamounySN09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip1-7/HamadouPSE09, author = {Sardaouna Hamadou and Catuscia Palamidessi and Vladimiro Sassone and Ehab ElSalamouny}, editor = {Pierpaolo Degano and Joshua D. Guttman}, title = {Probable Innocence in the Presence of Independent Knowledge}, booktitle = {Formal Aspects in Security and Trust, 6th International Workshop, {FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5983}, pages = {141--156}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-12459-4\_11}, doi = {10.1007/978-3-642-12459-4\_11}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip1-7/HamadouPSE09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcs/KrukowNS08, author = {Karl Krukow and Mogens Nielsen and Vladimiro Sassone}, title = {A logical framework for history-based access control and reputation systems}, journal = {J. Comput. Secur.}, volume = {16}, number = {1}, pages = {63--101}, year = {2008}, url = {https://doi.org/10.3233/jcs-2008-16102}, doi = {10.3233/JCS-2008-16102}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcs/KrukowNS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Sassone08, author = {Vladimiro Sassone}, title = {Foundations of Software Science and Computational Structures: Selected papers from {FOSSACS} 2005}, journal = {Theor. Comput. Sci.}, volume = {390}, number = {2-3}, pages = {127--128}, year = {2008}, url = {https://doi.org/10.1016/j.tcs.2007.09.019}, doi = {10.1016/J.TCS.2007.09.019}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Sassone08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BruniS08, author = {Roberto Bruni and Vladimiro Sassone}, editor = {Pierpaolo Degano and Rocco De Nicola and Jos{\'{e}} Meseguer}, title = {Models of Computation: {A} Tribute to Ugo Montanari's Vision}, booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {5065}, pages = {503--509}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68679-8\_31}, doi = {10.1007/978-3-540-68679-8\_31}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BruniS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/KlinS08, author = {Bartek Klin and Vladimiro Sassone}, editor = {Roberto M. Amadio}, title = {Structural Operational Semantics for Stochastic Process Calculi}, booktitle = {Foundations of Software Science and Computational Structures, 11th International Conference, {FOSSACS} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4962}, pages = {428--442}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78499-9\_30}, doi = {10.1007/978-3-540-78499-9\_30}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/KlinS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/bcs/2008, editor = {Erol Gelenbe and Samson Abramsky and Vladimiro Sassone}, title = {Visions of Computer Science - {BCS} International Academic Conference, Imperial College, London, UK, 22-24 September 2008}, publisher = {British Computer Society}, year = {2008}, timestamp = {Mon, 21 Sep 2009 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bcs/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/ConfortiMS07, author = {Giovanni Conforti and Damiano Macedonio and Vladimiro Sassone}, title = {Static BiLog: a Unifying Language for Spatial Structures}, journal = {Fundam. Informaticae}, volume = {80}, number = {1-3}, pages = {91--110}, year = {2007}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi80-1-3-06}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/ConfortiMS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BarbaneraBDS07, author = {Franco Barbanera and Michele Bugliesi and Mariangiola Dezani{-}Ciancaglini and Vladimiro Sassone}, title = {Space-aware ambients and processes}, journal = {Theor. Comput. Sci.}, volume = {373}, number = {1-2}, pages = {41--69}, year = {2007}, url = {https://doi.org/10.1016/j.tcs.2006.11.017}, doi = {10.1016/J.TCS.2006.11.017}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BarbaneraBDS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/SannellaS07, author = {Donald Sannella and Vladimiro Sassone}, title = {Semantic and logical foundations of global computing: Papers from the {EU-FET} global computing initiative {(2001-2005)}}, journal = {Theor. Comput. Sci.}, volume = {389}, number = {3}, pages = {337--340}, year = {2007}, url = {https://doi.org/10.1016/j.tcs.2007.09.017}, doi = {10.1016/J.TCS.2007.09.017}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/SannellaS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/RathkeSS07, author = {Julian Rathke and Vladimiro Sassone and Pawel Sobocinski}, editor = {Helmut Seidl}, title = {Semantic Barbs and Biorthogonality}, booktitle = {Foundations of Software Science and Computational Structures, 10th International Conference, {FOSSACS} 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4423}, pages = {302--316}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71389-0\_22}, doi = {10.1007/978-3-540-71389-0\_22}, timestamp = {Tue, 21 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/RathkeSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/NielsenKS07, author = {Mogens Nielsen and Karl Krukow and Vladimiro Sassone}, editor = {Luca Cardelli and Marcelo Fiore and Glynn Winskel}, title = {A Bayesian Model for Event-based Trust}, booktitle = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin}, series = {Electronic Notes in Theoretical Computer Science}, volume = {172}, pages = {499--521}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.02.017}, doi = {10.1016/J.ENTCS.2007.02.017}, timestamp = {Tue, 24 Jan 2023 11:36:28 +0100}, biburl = {https://dblp.org/rec/journals/entcs/NielsenKS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcs/BraghinGS06, author = {Chiara Braghin and Daniele Gorla and Vladimiro Sassone}, title = {Role-based access control for a distributed calculus}, journal = {J. Comput. Secur.}, volume = {14}, number = {2}, pages = {113--155}, year = {2006}, url = {https://doi.org/10.3233/jcs-2006-14202}, doi = {10.3233/JCS-2006-14202}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcs/BraghinGS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/ChadhaMS06, author = {Rohit Chadha and Damiano Macedonio and Vladimiro Sassone}, title = {A Hybrid Intuitionistic Logic: Semantics and Decidability}, journal = {J. Log. Comput.}, volume = {16}, number = {1}, pages = {27--59}, year = {2006}, url = {https://doi.org/10.1093/logcom/exi071}, doi = {10.1093/LOGCOM/EXI071}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/ChadhaMS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmco/SassoneKN06, author = {Vladimiro Sassone and Karl Krukow and Mogens Nielsen}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, title = {Towards a Formal Framework for Computational Trust}, booktitle = {Formal Methods for Components and Objects, 5th International Symposium, {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {4709}, pages = {175--184}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-74792-5\_8}, doi = {10.1007/978-3-540-74792-5\_8}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fmco/SassoneKN06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/BundgaardS06, author = {Mikkel Bundgaard and Vladimiro Sassone}, editor = {Annalisa Bossi and Michael J. Maher}, title = {Typed polyadic pi-calculus in bigraphs}, booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy}, pages = {1--12}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1140335.1140336}, doi = {10.1145/1140335.1140336}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/BundgaardS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/GorlaHS06, author = {Daniele Gorla and Matthew Hennessy and Vladimiro Sassone}, editor = {Annalisa Bossi and Michael J. Maher}, title = {Inferring dynamic credentials for r{\^{o}}le-based trust management}, booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy}, pages = {213--224}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1140335.1140361}, doi = {10.1145/1140335.1140361}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/GorlaHS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icalp/2006-1, editor = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener}, title = {Automata, Languages and Programming, 33rd International Colloquium, {ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {4051}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11786986}, doi = {10.1007/11786986}, isbn = {3-540-35904-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/2006-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icalp/2006-2, editor = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener}, title = {Automata, Languages and Programming, 33rd International Colloquium, {ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {4052}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11787006}, doi = {10.1007/11787006}, isbn = {3-540-35907-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/2006-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/concurrency/MiliciaS05, author = {Giuseppe Milicia and Vladimiro Sassone}, title = {Jeeg: temporal constraints for the synchronization of concurrent objects}, journal = {Concurr. Pract. Exp.}, volume = {17}, number = {5-6}, pages = {539--572}, year = {2005}, url = {https://doi.org/10.1002/cpe.849}, doi = {10.1002/CPE.849}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/concurrency/MiliciaS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BugliesiCMS05, author = {Michele Bugliesi and Silvia Crafa and Massimo Merro and Vladimiro Sassone}, title = {Communication and mobility control in boxed ambients}, journal = {Inf. Comput.}, volume = {202}, number = {1}, pages = {39--86}, year = {2005}, url = {https://doi.org/10.1016/j.ic.2005.06.002}, doi = {10.1016/J.IC.2005.06.002}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BugliesiCMS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/GorlaHS05, author = {Daniele Gorla and Matthew Hennessy and Vladimiro Sassone}, title = {Security Policies as Membranes in Systems for Global Computing}, journal = {Log. Methods Comput. Sci.}, volume = {1}, number = {3}, year = {2005}, url = {https://doi.org/10.2168/LMCS-1(3:2)2005}, doi = {10.2168/LMCS-1(3:2)2005}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/GorlaHS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/SassoneS05, author = {Vladimiro Sassone and Pawel Sobocinski}, title = {Locating reaction with 2-categories}, journal = {Theor. Comput. Sci.}, volume = {333}, number = {1-2}, pages = {297--327}, year = {2005}, url = {https://doi.org/10.1016/j.tcs.2004.10.025}, doi = {10.1016/J.TCS.2004.10.025}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/SassoneS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BruniMS05, author = {Roberto Bruni and Ugo Montanari and Vladimiro Sassone}, title = {Observational congruences for dynamically reconfigurable tile systems}, journal = {Theor. Comput. Sci.}, volume = {335}, number = {2-3}, pages = {331--372}, year = {2005}, url = {https://doi.org/10.1016/j.tcs.2004.10.044}, doi = {10.1016/J.TCS.2004.10.044}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BruniMS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/KlinSS05, author = {Bartek Klin and Vladimiro Sassone and Pawel Sobocinski}, editor = {Jos{\'{e}} Luiz Fiadeiro and Neil Harman and Markus Roggenbach and Jan J. M. M. Rutten}, title = {Labels from Reductions: Towards a General Theory}, booktitle = {Algebra and Coalgebra in Computer Science: First International Conference, {CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3629}, pages = {30--50}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11548133\_2}, doi = {10.1007/11548133\_2}, timestamp = {Wed, 19 May 2021 08:32:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/KlinSS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/KrukowNS05, author = {Karl Krukow and Mogens Nielsen and Vladimiro Sassone}, editor = {Vijay Atluri and Catherine Meadows and Ari Juels}, title = {A framework for concrete reputation-systems with applications to history-based access control}, booktitle = {Proceedings of the 12th {ACM} Conference on Computer and Communications Security, {CCS} 2005, Alexandria, VA, USA, November 7-11, 2005}, pages = {260--269}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1102120.1102155}, doi = {10.1145/1102120.1102155}, timestamp = {Tue, 19 Sep 2023 14:44:32 +0200}, biburl = {https://dblp.org/rec/conf/ccs/KrukowNS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/ConfortiMS05, author = {Giovanni Conforti and Damiano Macedonio and Vladimiro Sassone}, editor = {Lu{\'{\i}}s Caires and Giuseppe F. Italiano and Lu{\'{\i}}s Monteiro and Catuscia Palamidessi and Moti Yung}, title = {Spatial Logics for Bigraphs}, booktitle = {Automata, Languages and Programming, 32nd International Colloquium, {ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3580}, pages = {766--778}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11523468\_62}, doi = {10.1007/11523468\_62}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/ConfortiMS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/SassoneS05, author = {Vladimiro Sassone and Pawel Sobocinski}, title = {Reactive Systems over Cospans}, booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings}, pages = {311--320}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/LICS.2005.40}, doi = {10.1109/LICS.2005.40}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/SassoneS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sebd/ConfortiMS05, author = {Giovanni Conforti and Damiano Macedonio and Vladimiro Sassone}, editor = {Andrea Cal{\`{\i}} and Diego Calvanese and Enrico Franconi and Maurizio Lenzerini and Letizia Tanca}, title = {Bigraphical Logics for {XML}}, booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005}, pages = {392--399}, year = {2005}, timestamp = {Mon, 27 Jun 2005 14:46:36 +0200}, biburl = {https://dblp.org/rec/conf/sebd/ConfortiMS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fossacs/2005, editor = {Vladimiro Sassone}, title = {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}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/b106850}, doi = {10.1007/B106850}, isbn = {3-540-25388-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0506061, author = {Daniele Gorla and Matthew Hennessy and Vladimiro Sassone}, title = {Security Policies as Membranes in Systems for Global Computing}, journal = {CoRR}, volume = {abs/cs/0506061}, year = {2005}, url = {http://arxiv.org/abs/cs/0506061}, eprinttype = {arXiv}, eprint = {cs/0506061}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0506061.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/Sassone04, author = {Vladimiro Sassone}, title = {Introduction to special issue on concurrency and coordination: Selected work from the International Workshop ConCoord}, journal = {Math. Struct. Comput. Sci.}, volume = {14}, number = {3}, pages = {283}, year = {2004}, url = {https://doi.org/10.1017/S0960129504004190}, doi = {10.1017/S0960129504004190}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/Sassone04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Sassone04, author = {Vladimiro Sassone}, title = {Preface}, journal = {Theor. Comput. Sci.}, volume = {322}, number = {3}, pages = {423--426}, year = {2004}, url = {https://doi.org/10.1016/j.tcs.2004.03.001}, doi = {10.1016/J.TCS.2004.03.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Sassone04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BraghinGS04, author = {Chiara Braghin and Daniele Gorla and Vladimiro Sassone}, title = {A Distributed Calculus for Ro{\^{}}le-Based Access Control}, booktitle = {17th {IEEE} Computer Security Foundations Workshop, {(CSFW-17} 2004), 28-30 June 2004, Pacific Grove, CA, {USA}}, pages = {48--60}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.ieeecomputersociety.org/10.1109/CSFW.2004.1}, doi = {10.1109/CSFW.2004.1}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BraghinGS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/LhoussaineS04, author = {C{\'{e}}dric Lhoussaine and Vladimiro Sassone}, editor = {David A. Schmidt}, title = {A Dependently Typed Ambient Calculus}, booktitle = {Programming Languages and Systems, 13th European Symposium on Programming, {ESOP} 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 = {2986}, pages = {171--187}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24725-8\_13}, doi = {10.1007/978-3-540-24725-8\_13}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/LhoussaineS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/CarboneNS04, author = {Marco Carbone and Mogens Nielsen and Vladimiro Sassone}, editor = {Kamal Lodaya and Meena Mahajan}, title = {A Calculus for Trust Management}, booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3328}, pages = {161--173}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30538-5\_14}, doi = {10.1007/978-3-540-30538-5\_14}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/CarboneNS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/MiliciaS04, author = {Giuseppe Milicia and Vladimiro Sassone}, editor = {Hisham Haddad and Andrea Omicini and Roger L. Wainwright and Lorie M. Liebrock}, title = {The inheritance anomaly: ten years after}, booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004}, pages = {1267--1274}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/967900.968159}, doi = {10.1145/967900.968159}, timestamp = {Tue, 06 Nov 2018 11:06:44 +0100}, biburl = {https://dblp.org/rec/conf/sac/MiliciaS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GorlaHS05, author = {Daniele Gorla and Matthew Hennessy and Vladimiro Sassone}, editor = {Julian Rathke}, title = {Security Policies as Membranes in Systems for Global Computing}, booktitle = {Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous Computing, {FGUC} 2004, London, UK, September 3-4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {138}, number = {1}, pages = {23--42}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.05.003}, doi = {10.1016/J.ENTCS.2005.05.003}, timestamp = {Tue, 13 Dec 2022 09:03:49 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GorlaHS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SassoneS05, author = {Vladimiro Sassone and Pawel Sobocinski}, editor = {Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, title = {A Congruence for Petri Nets}, booktitle = {Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, October 2, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {127}, number = {2}, pages = {107--120}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.02.008}, doi = {10.1016/J.ENTCS.2005.02.008}, timestamp = {Mon, 12 Dec 2022 14:22:43 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SassoneS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/njc/SassoneS03, author = {Vladimiro Sassone and Pawel Sobocinski}, title = {Deriving Bisimulation Congruences using 2-categories}, journal = {Nord. J. Comput.}, volume = {10}, number = {2}, pages = {163}, year = {2003}, timestamp = {Tue, 21 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/njc/SassoneS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/BarbaneraBDS03, author = {Franco Barbanera and Michele Bugliesi and Mariangiola Dezani{-}Ciancaglini and Vladimiro Sassone}, editor = {Vijay A. Saraswat}, title = {A Calculus of Bounded Capacities}, booktitle = {Advances in Computing Science - {ASIAN} 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2896}, pages = {205--223}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40965-6\_14}, doi = {10.1007/978-3-540-40965-6\_14}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asian/BarbaneraBDS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/SassoneS03, author = {Vladimiro Sassone and Pawel Sobocinski}, editor = {Andrew D. Gordon}, title = {Deriving Bisimulation Congruences: 2-Categories Vs Precategories}, booktitle = {Foundations of Software Science and Computational Structures, 6th International Conference, {FOSSACS} 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2620}, pages = {409--424}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36576-1\_26}, doi = {10.1007/3-540-36576-1\_26}, timestamp = {Mon, 14 Feb 2022 09:20:26 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/SassoneS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BugliesiCPS03, author = {Michele Bugliesi and Silvia Crafa and Amela Prelic and Vladimiro Sassone}, editor = {Jos C. M. Baeten and Jan Karel Lenstra and Joachim Parrow and Gerhard J. Woeginger}, title = {Secrecy in Untrusted Networks}, booktitle = {Automata, Languages and Programming, 30th International Colloquium, {ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2719}, pages = {969--983}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45061-0\_75}, doi = {10.1007/3-540-45061-0\_75}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BugliesiCPS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/BruniMMS03, author = {Roberto Bruni and Jos{\'{e}} Meseguer and Ugo Montanari and Vladimiro Sassone}, editor = {Carlo Blundo and Cosimo Laneve}, title = {Algebraic Theories for Contextual Pre-nets}, booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2841}, pages = {256--270}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45208-9\_21}, doi = {10.1007/978-3-540-45208-9\_21}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ictcs/BruniMMS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/CarboneNS03, author = {Marco Carbone and Mogens Nielsen and Vladimiro Sassone}, title = {A Formal Model for Trust in Dynamic Networks}, booktitle = {1st International Conference on Software Engineering and Formal Methods {(SEFM} 2003), 22-27 September 2003, Brisbane, Australia}, pages = {54}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/SEFM.2003.1236207}, doi = {10.1109/SEFM.2003.1236207}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/CarboneNS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Sassone03, author = {Vladimiro Sassone}, editor = {Riccardo Focardi and Gianluigi Zavattaro}, title = {Preface}, booktitle = {2nd {EATCS} Workshop on Foundations of Global Computing, {FGC} 2003, Satellite Event of {ICALP} 2003, Eindhoven, The Netherlands, June 28-29, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {85}, number = {1}, pages = {1--2}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(05)80082-9}, doi = {10.1016/S1571-0661(05)80082-9}, timestamp = {Thu, 08 Dec 2022 14:02:42 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Sassone03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MiliciaS03, author = {Giuseppe Milicia and Vladimiro Sassone}, editor = {Viviana Bono and Michele Bugliesi}, title = {Temporal constraints for concurrent object synchronisation}, booktitle = {Workshop on Object Oriented Developments, {WOOD} 2003, Satellite Event of {ETAPS} 2003, Warsaw, Poland, April 13, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {82}, number = {8}, pages = {30--32}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(04)80800-4}, doi = {10.1016/S1571-0661(04)80800-4}, timestamp = {Thu, 08 Dec 2022 11:28:49 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MiliciaS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/getco/2002, editor = {Patrick Cousot and Lisbeth Fajstrup and Eric Goubault and Maurice Herlihy and Martin Raussen and Vladimiro Sassone}, title = {4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse, France, October 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {81}, publisher = {Elsevier}, year = {2003}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/81/suppl/C}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/getco/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/GodskesenHS02, author = {Jens Chr. Godskesen and Thomas T. Hildebrandt and Vladimiro Sassone}, editor = {Lubos Brim and Petr Jancar and Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and Anton{\'{\i}}n Kucera}, title = {A Calculus of Mobile Resources}, booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2421}, pages = {272--287}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45694-5\_19}, doi = {10.1007/3-540-45694-5\_19}, timestamp = {Fri, 30 Aug 2019 10:02:28 +0200}, biburl = {https://dblp.org/rec/conf/concur/GodskesenHS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/MerroS02, author = {Massimo Merro and Vladimiro Sassone}, editor = {Lubos Brim and Petr Jancar and Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and Anton{\'{\i}}n Kucera}, title = {Typing and Subtyping Mobility in Boxed Ambients}, booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2421}, pages = {304--320}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45694-5\_21}, doi = {10.1007/3-540-45694-5\_21}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/MerroS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fosad/BugliesiCCFS02, author = {Michele Bugliesi and Giuseppe Castagna and Silvia Crafa and Riccardo Focardi and Vladimiro Sassone}, editor = {Riccardo Focardi and Roberto Gorrieri}, title = {A Survey of Name-Passing Calculi and Crypto-Primitives}, booktitle = {Foundations of Security Analysis and Design II, {FOSAD} 2001/2002 Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {2946}, pages = {91--138}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24631-2\_3}, doi = {10.1007/978-3-540-24631-2\_3}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/fosad/BugliesiCCFS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BugliesiCMS02, author = {Michele Bugliesi and Silvia Crafa and Massimo Merro and Vladimiro Sassone}, editor = {Manindra Agrawal and Anil Seth}, title = {Communication Interference in Mobile Boxed Ambients}, booktitle = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2556}, pages = {71--84}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36206-1\_8}, doi = {10.1007/3-540-36206-1\_8}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/BugliesiCMS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/java/MiliciaS02, author = {Giuseppe Milicia and Vladimiro Sassone}, editor = {Jos{\'{e}} E. Moreira and Geoffrey C. Fox and Vladimir Getov}, title = {Jeeg: a programming language for concurrent objects synchronization}, booktitle = {Proceedings of the 2002 Joint {ACM-ISCOPE} Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002}, pages = {212--221}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/583810.583834}, doi = {10.1145/583810.583834}, timestamp = {Tue, 06 Nov 2018 11:07:44 +0100}, biburl = {https://dblp.org/rec/conf/java/MiliciaS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SassoneS02, author = {Vladimiro Sassone and Pawel Sobocinski}, editor = {Uwe Nestmann and Prakash Panangaden}, title = {Deriving Bisimulation Congruences: {A} 2-categorical Approach}, booktitle = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS} 2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic, August 19, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {68}, number = {2}, pages = {105--123}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(05)80367-6}, doi = {10.1016/S1571-0661(05)80367-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SassoneS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Sassone02, author = {Vladimiro Sassone}, editor = {Vladimiro Sassone}, title = {Preface - {F-WAN:} Foundations of Wide Area Network Computing}, booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP} 2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {66}, number = {3}, pages = {185--186}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(05)80422-0}, doi = {10.1016/S1571-0661(05)80422-0}, timestamp = {Tue, 06 Dec 2022 10:28:51 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Sassone02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/getco/2001, editor = {Patrick Cousot and Lisbeth Fajstrup and Eric Goubault and Jeremy Gunawardena and Maurice Herlihy and Martin Raussen and Vladimiro Sassone}, title = {3rd Workshop on GEometry and Topology in COncurrency theory, {GETCO} 2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark, August 25, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {52}, number = {2}, publisher = {Elsevier}, year = {2002}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/52/issue/2}, timestamp = {Thu, 01 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/getco/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icalp/2002fwan, editor = {Vladimiro Sassone}, title = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP} 2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {66}, number = {3}, publisher = {Elsevier}, year = {2002}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/66/issue/3}, timestamp = {Tue, 06 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icalp/2002fwan.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BruniMMS01, author = {Roberto Bruni and Jos{\'{e}} Meseguer and Ugo Montanari and Vladimiro Sassone}, title = {Functorial Models for Petri Nets}, journal = {Inf. Comput.}, volume = {170}, number = {2}, pages = {207--236}, year = {2001}, url = {https://doi.org/10.1006/inco.2001.3050}, doi = {10.1006/INCO.2001.3050}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/BruniMMS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/NielsenSS01, author = {Mogens Nielsen and Vladimiro Sassone and Jir{\'{\i}} Srba}, editor = {Jos{\'{e}} Manuel Colom and Maciej Koutny}, title = {Towards a Notion of Distributed Time for Petri Nets}, booktitle = {Application and Theory of Petri Nets 2001, 22nd International Conference, {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2075}, pages = {23--31}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45740-2\_3}, doi = {10.1007/3-540-45740-2\_3}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/NielsenSS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/BruniS01, author = {Roberto Bruni and Vladimiro Sassone}, editor = {Hartmut Ehrig and Gabriel Juh{\'{a}}s and Julia Padberg and Grzegorz Rozenberg}, title = {Two Algebraic Process Semantics for Contextual Nets}, booktitle = {Unifying Petri Nets, Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2128}, pages = {427--456}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45541-8\_13}, doi = {10.1007/3-540-45541-8\_13}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/BruniS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BuscemiS01, author = {Maria Grazia Buscemi and Vladimiro Sassone}, editor = {Furio Honsell and Marino Miculan}, title = {High-Level Petri Nets as Type Theories in the Join Calculus}, booktitle = {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}, pages = {104--120}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45315-6\_7}, doi = {10.1007/3-540-45315-6\_7}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BuscemiS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/NielsenSS01, author = {Mogens Nielsen and Vladimiro Sassone and Jir{\'{\i}} Srba}, editor = {Ramesh Hariharan and Madhavan Mukund and V. Vinay}, title = {Properties of Distributed Timed-Arc Petri Nets}, booktitle = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2245}, pages = {280--291}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45294-X\_24}, doi = {10.1007/3-540-45294-X\_24}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/NielsenSS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BarbaneraDSS01, author = {Franco Barbanera and Mariangiola Dezani{-}Ciancaglini and Ivano Salvo and Vladimiro Sassone}, editor = {Marina Lenisa and Marino Miculan}, title = {A Type Inference Algorithm for Secure Ambients}, 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 = {83--101}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00321-4}, doi = {10.1016/S1571-0661(04)00321-4}, timestamp = {Wed, 30 Nov 2022 12:15:34 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BarbaneraDSS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MontanariS01, author = {Ugo Montanari and Vladimiro Sassone}, editor = {Ugo Montanari and Vladimiro Sassone}, title = {Preface}, booktitle = {International Workshop on Concurrency and Coordination, ConCoord 2001, associated to the 13th Lipari School, Lipari Island, Italy, July 6-8, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {54}, pages = {117}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)80557-2}, doi = {10.1016/S1571-0661(05)80557-2}, timestamp = {Wed, 30 Nov 2022 11:59:11 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MontanariS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lipari/2001concoord, editor = {Ugo Montanari and Vladimiro Sassone}, title = {International Workshop on Concurrency and Coordination, ConCoord 2001, associated to the 13th Lipari School, Lipari Island, Italy, July 6-8, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {54}, publisher = {Elsevier}, year = {2001}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/54/suppl/C}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lipari/2001concoord.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Sassone00, author = {Vladimiro Sassone}, title = {On the Algebraic Structure of Petri Nets}, journal = {Bull. {EATCS}}, volume = {72}, pages = {133--148}, year = {2000}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Sassone00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BruniS00, author = {Roberto Bruni and Vladimiro Sassone}, editor = {Ugo Montanari and Jos{\'{e}} D. P. Rolim and Emo Welzl}, title = {Algebraic Models for Contextual Nets}, booktitle = {Automata, Languages and Programming, 27th International Colloquium, {ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1853}, pages = {175--186}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45022-X\_15}, doi = {10.1007/3-540-45022-X\_15}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BruniS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BruniMS00, author = {Roberto Bruni and Ugo Montanari and Vladimiro Sassone}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Open Ended Systems, Dynamic Bisimulation and Tile Logic}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {440--456}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_31}, doi = {10.1007/3-540-44929-9\_31}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BruniMS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/getco/2000, editor = {Patrick Cousot and Eric Goubault and Jeremy Gunawardena and Maurice Herlihy and Martin Raussen and Vladimiro Sassone}, title = {2nd Workshop on Geometry and Topology in Concurrency theory, {GETCO} 2000, Satellite Workshop of {CONCUR} 2000, State College, PA, USA, August 21, 2000}, series = {Electronic Notes in Theoretical Computer Science}, volume = {39}, number = {2}, publisher = {Elsevier}, year = {2000}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/39/issue/2}, timestamp = {Thu, 01 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/getco/2000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/tcs/BruniMMS99, author = {Roberto Bruni and Jos{\'{e}} Meseguer and Ugo Montanari and Vladimiro Sassone}, editor = {Martin Hofmann and Giuseppe Rosolini and Dusko Pavlovic}, title = {Functorial semantics for Petri nets under the individual token philosophy}, booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh, UK, December 10-12, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {29}, pages = {21}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80302-0}, doi = {10.1016/S1571-0661(05)80302-0}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BruniMMS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/Sassone98, author = {Vladimiro Sassone}, title = {An Axiomatization of the Category of Petri Net Computations}, journal = {Math. Struct. Comput. Sci.}, volume = {8}, number = {2}, pages = {117--151}, year = {1998}, url = {http://journals.cambridge.org/action/displayAbstract?aid=44739}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/Sassone98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/BruniMMS98, author = {Roberto Bruni and Jos{\'{e}} Meseguer and Ugo Montanari and Vladimiro Sassone}, editor = {Jieh Hsiang and Atsushi Ohori}, title = {A Comparison of Petri Net Semantics under the Collective Token Philosophy}, booktitle = {Advances in Computing Science - {ASIAN} '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1538}, pages = {225--244}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-49366-2\_18}, doi = {10.1007/3-540-49366-2\_18}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asian/BruniMMS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/MeseguerMS97, author = {Jos{\'{e}} Meseguer and Ugo Montanari and Vladimiro Sassone}, title = {On the Semantics of Place/Transition Petri Nets}, journal = {Math. Struct. Comput. Sci.}, volume = {7}, number = {4}, pages = {359--397}, year = {1997}, url = {https://doi.org/10.1017/S0960129597002314}, doi = {10.1017/S0960129597002314}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/MeseguerMS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/MeseguerMS97, author = {Jos{\'{e}} Meseguer and Ugo Montanari and Vladimiro Sassone}, editor = {Christian Freksa and Matthias Jantzen and R{\"{u}}diger Valk}, title = {Representation Theorems for Petri Nets}, booktitle = {Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday}, series = {Lecture Notes in Computer Science}, volume = {1337}, pages = {239--249}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0052092}, doi = {10.1007/BFB0052092}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/MeseguerMS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MeseguerMS96, author = {Jos{\'{e}} Meseguer and Ugo Montanari and Vladimiro Sassone}, title = {Process versus Unfolding Semantics for Place/Transition Petri Nets}, journal = {Theor. Comput. Sci.}, volume = {153}, number = {1{\&}2}, pages = {171--210}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00121-2}, doi = {10.1016/0304-3975(95)00121-2}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/MeseguerMS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Sassone96, author = {Vladimiro Sassone}, title = {An Axiomatization of the Algebra of Petri Net Concatenable Processes}, journal = {Theor. Comput. Sci.}, volume = {170}, number = {1-2}, pages = {277--296}, year = {1996}, url = {https://doi.org/10.1016/S0304-3975(96)80709-2}, doi = {10.1016/S0304-3975(96)80709-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Sassone96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/SassoneNW96, author = {Vladimiro Sassone and Mogens Nielsen and Glynn Winskel}, title = {Models for Concurrency: Towards a Classification}, journal = {Theor. Comput. Sci.}, volume = {170}, number = {1-2}, pages = {297--348}, year = {1996}, url = {https://doi.org/10.1016/S0304-3975(96)80710-9}, doi = {10.1016/S0304-3975(96)80710-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/SassoneNW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/NielsenS96, author = {Mogens Nielsen and Vladimiro Sassone}, editor = {Wolfgang Reisig and Grzegorz Rozenberg}, title = {Petri Nets and Other Models of Concurrency}, booktitle = {Lectures on Petri Nets {I:} Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996}, series = {Lecture Notes in Computer Science}, volume = {1491}, pages = {587--642}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-65306-6\_23}, doi = {10.1007/3-540-65306-6\_23}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ac/NielsenS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/HildebrandtS96, author = {Thomas T. Hildebrandt and Vladimiro Sassone}, editor = {Ugo Montanari and Vladimiro Sassone}, title = {Comparing Transition Systems with Independence and Asynchronous Transition Systems}, booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1119}, pages = {84--97}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61604-7\_49}, doi = {10.1007/3-540-61604-7\_49}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/HildebrandtS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dimacs/HildebrandtS96, author = {Thomas T. Hildebrandt and Vladimiro Sassone}, editor = {Doron A. Peled and Vaughan R. Pratt and Gerard J. Holzmann}, title = {Transition systems with independence and multi-arcs}, booktitle = {Partial Order Methods in Verification, Proceedings of a {DIMACS} Workshop, Princeton, New Jersey, USA, July 24-26, 1996}, series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science}, volume = {29}, pages = {273--288}, publisher = {{DIMACS/AMS}}, year = {1996}, url = {https://doi.org/10.1090/dimacs/029/15}, doi = {10.1090/DIMACS/029/15}, timestamp = {Mon, 22 May 2023 16:07:35 +0200}, biburl = {https://dblp.org/rec/conf/dimacs/HildebrandtS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/CattaniS96, author = {Gian Luca Cattani and Vladimiro Sassone}, title = {Higher Dimensional Transition Systems}, booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996}, pages = {55--62}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/LICS.1996.561303}, doi = {10.1109/LICS.1996.561303}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/CattaniS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/concur/1996, editor = {Ugo Montanari and Vladimiro Sassone}, title = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1119}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61604-7}, doi = {10.1007/3-540-61604-7}, isbn = {3-540-61604-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/1996.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/NielsenPS95, author = {Mogens Nielsen and Lutz Priese and Vladimiro Sassone}, editor = {Insup Lee and Scott A. Smolka}, title = {Characterizing Behavioural Congruences for Petri Nets}, booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {962}, pages = {175--189}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60218-6\_13}, doi = {10.1007/3-540-60218-6\_13}, timestamp = {Thu, 26 Jan 2023 14:05:52 +0100}, biburl = {https://dblp.org/rec/conf/concur/NielsenPS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/Sassone95, author = {Vladimiro Sassone}, editor = {Horst Reichel}, title = {Axiomatizing Petri Net Concatenable Processes}, booktitle = {Fundamentals of Computation Theory, 10th International Symposium, {FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {965}, pages = {414--423}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60249-6\_73}, doi = {10.1007/3-540-60249-6\_73}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fct/Sassone95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapsoft/Sassone95, author = {Vladimiro Sassone}, editor = {Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach}, title = {On the Category of Petri Net Computations}, booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {915}, pages = {334--348}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59293-8\_205}, doi = {10.1007/3-540-59293-8\_205}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/Sassone95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/MeseguerMS94, author = {Jos{\'{e}} Meseguer and Ugo Montanari and Vladimiro Sassone}, editor = {Robert Valette}, title = {On the Model of Computation of Place/Transition Petri Nets}, booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {815}, pages = {16--38}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58152-9\_3}, doi = {10.1007/3-540-58152-9\_3}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/MeseguerMS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/MeglioS93, author = {R. di Meglio and Vladimiro Sassone}, editor = {Domenico Sacc{\`{a}}}, title = {A Unification-Free Introduction to Logic Programming}, booktitle = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy, June 15-18, 1993}, pages = {21--38}, year = {1993}, timestamp = {Sun, 06 Aug 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/agp/MeglioS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/Sassone93, author = {Vladimiro Sassone}, editor = {Domenico Sacc{\`{a}}}, title = {A Note on Logic Programming Fixed-Point Semantics}, booktitle = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy, June 15-18, 1993}, pages = {649--662}, year = {1993}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/Sassone93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/SassoneNW93, author = {Vladimiro Sassone and Mogens Nielsen and Glynn Winskel}, editor = {Eike Best}, title = {A Classification of Models for Concurrency}, booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {715}, pages = {82--96}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57208-2\_7}, doi = {10.1007/3-540-57208-2\_7}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/SassoneNW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/SassoneNW93, author = {Vladimiro Sassone and Mogens Nielsen and Glynn Winskel}, editor = {Andrzej M. Borzyszkowski and Stefan Sokolowski}, title = {Deterministic Behavioural Models for Concurrency}, booktitle = {Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {711}, pages = {682--692}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57182-5\_59}, doi = {10.1007/3-540-57182-5\_59}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/SassoneNW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rex/NielsenSW93, author = {Mogens Nielsen and Vladimiro Sassone and Glynn Winskel}, editor = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg}, title = {Relationships Between Models of Concurrency}, booktitle = {A Decade of Concurrency, Reflections and Perspectives, {REX} School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {803}, pages = {425--476}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-58043-3\_25}, doi = {10.1007/3-540-58043-3\_25}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/rex/NielsenSW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/MontanariS92, author = {Ugo Montanari and Vladimiro Sassone}, title = {Dynamic congruence vs. progressing bisimulation for {CCS}}, journal = {Fundam. Informaticae}, volume = {16}, number = {1}, pages = {171--199}, year = {1992}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/MontanariS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/MeseguerMS92, author = {Jos{\'{e}} Meseguer and Ugo Montanari and Vladimiro Sassone}, editor = {Rance Cleaveland}, title = {On the Semantics of Petri Nets}, booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {630}, pages = {286--301}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/BFb0084798}, doi = {10.1007/BFB0084798}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/MeseguerMS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/MontanariS91, author = {Ugo Montanari and Vladimiro Sassone}, editor = {Andrzej Tarlecki}, title = {{CCS} Dynamic Bisimulation is Progressing}, booktitle = {Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {520}, pages = {346--356}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54345-7\_78}, doi = {10.1007/3-540-54345-7\_78}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/MontanariS91.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.