Vladimiro Sassone

153 papers A* 7A 3B 25C 7Misc 2Journal 49Unranked 50

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Security and dependability analysis of blockchain systems in partially synchronous networks with Byzantine faults. Int. J. Parallel Emergent Distributed Syst. Stefano De Angelis, Federico Lombardi, Gilberto Zanfino, Leonardo Aniello, Vladimiro Sassone
2025	C	`conf`	Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis. ABZ Colin F. Snook, Asieh Salehi Fathabadi, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone
2025	B	`conf`	FaultSpy: On the Insecurity of SPDM Protocols under Fault Injection. TrustCom Peiyao Sun, Qifan Wang, David F. Oswald, Mark Dermot Ryan, Vladimiro Sassone, Ahmad Atamli
2025	J	`jnl`	Team Experience and ICO Success: An Empirical Study of Entrepreneurs in Blockchain Projects. IEEE Trans. Engineering Management Chunjia Han, Mu Yang, George Saridakis, Vladimiro Sassone
2024	C	`conf`	Designing Exception Handling Using Event-B. ABZ Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone
2024	C	`conf`	Performance and Scalability Testing for Blockchain Consensus Protocols: an Empirical Framework. DLT Alked Ejupi, Stefano De Angelis, Vladimiro Sassone
2024	B	`conf`	ScaNeF-IoT: Scalable Network Fingerprinting for IoT Device. ARES Tadani Nasser Alyahya, Leonardo Aniello, Vladimiro Sassone
2022	—	`conf`	A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. MoDELS (Companion) Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang
2022	J	`jnl`	CIST: A Serious Game for Hardware Supply Chain. Comput. Secur. Stephen Hart, Basel Halak, Vladimiro Sassone
2022	—	`conf`	Evaluating Blockchain Systems: A Comprehensive Study of Security and Dependability Attributes. DLT@ITASEC Stefano De Angelis, Gilberto Zanfino, Leonardo Aniello, Federico Lombardi, Vladimiro Sassone
2021	—	`conf`	Connecting Regulatory Requirements to Audit Outcomes: A Model-driven Approach to Auditable Compliance. MoDELS (Companion) Robert Thorburn, Federica Paci, Vladimiro Sassone, Sophie Stalla-Bourdillon
2021	J	`jnl`	MOTENS: A Pedagogical Design Model for Serious Cyber Games. CoRR Stephen Hart, Basel Halak, Vladimiro Sassone
2021	C	`conf`	Verifying System-Level Security of a Smart Ballot Box. ABZ Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone
2020	J	`jnl`	A Methodology to Select Topology Generators for Ad Hoc Mesh Network Simulations. J. Commun. Michael O'Sullivan, Leonardo Aniello, Vladimiro Sassone
2020	J	`jnl`	Decentralised provenance for healthcare data. Int. J. Medical Informatics Andrea Margheri, Massimiliano Masi, Abdallah Miladi, Vladimiro Sassone, Jason Rosenzweig
2020	J	`jnl`	EATCS Distinguished Dissertation Award 2020 - Call for Nominations. Bull. EATCS Susanne Albers, Nikhil Bansal, Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, David Peleg, Vladimiro Sassone, Alexandra Silva
2020	J	`jnl`	Riskio: A Serious Game for Cyber Security Awareness and Education. Comput. Secur. Stephen Hart, Andrea Margheri, Federica Paci, Vladimiro Sassone
2019	J	`jnl`	A Methodology to Select Topology Generators for WANET Simulations (Extended Version). CoRR Michael O'Sullivan, Leonardo Aniello, Vladimiro Sassone
2019	J	`jnl`	A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. Int. J. Crit. Comput. Based Syst. Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone
2019	J	`jnl`	EATCS Distinguished Dissertation Award 2019 - Call for Nominations. Bull. EATCS David Peleg, Susanne Albers, Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, Vladimiro Sassone
2018	—	`conf`	Cross-Cloud Management of Sensitive Data via Blockchain: a Payslip Calculation Use Case. ITASEC Luca Nicoletti, Andrea Margheri, Federico Lombardi, Vladimiro Sassone, Francesco Paolo Schiavo
2018	J	`jnl`	Differentially Private Data Sharing in a Cloud Federation with Blockchain. IEEE Cloud Comput. Mu Yang, Andrea Margheri, Runshan Hu, Vladimiro Sassone
2018	—	`conf`	PBFT vs Proof-of-Authority: Applying the CAP Theorem to Permissioned Blockchain. ITASEC Stefano De Angelis, Leonardo Aniello, Roberto Baldoni, Federico Lombardi, Andrea Margheri, Vladimiro Sassone
2018	B	`conf`	Towards Adaptive Access Control. DBSec Luciano Argento, Andrea Margheri, Federica Paci, Vladimiro Sassone, Nicola Zannone
2017	A	`conf`	A Distributed Access Control System for Cloud Federations. ICDCS Shorouq Alansari, Federica Paci, Vladimiro Sassone
2017	B	`conf`	A Distributed Infrastructure for Democratic Cloud Federations. CLOUD Andrea Margheri, Md Sadek Ferdous, Mu Yang, Vladimiro Sassone
2017	Misc	`conf`	A Prototype Evaluation of a Tamper-Resistant High Performance Blockchain-Based Transaction Log for a Distributed Database. EDCC Leonardo Aniello, Roberto Baldoni, Edoardo Gaetani, Federico Lombardi, Andrea Margheri, Vladimiro Sassone
2017	—	`conf`	Blockchain-Based Database to Ensure Data Integrity in Cloud Computing Environments. ITASEC Edoardo Gaetani, Leonardo Aniello, Roberto Baldoni, Federico Lombardi, Andrea Margheri, Vladimiro Sassone
2017	A	`conf`	Decentralised Runtime Monitoring for Access Control Systems in Cloud Federations. ICDCS Md Sadek Ferdous, Andrea Margheri, Federica Paci, Mu Yang, Vladimiro Sassone
2017	—	`conf`	Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology. EuroS&P Workshops Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone
2017	B	`conf`	Privacy-Preserving Access Control in Cloud Federations. CLOUD Shorouq Alansari, Federica Paci, Andrea Margheri, Vladimiro Sassone
2017	J	`jnl`	Quantifying leakage in the presence of unreliable sources of information. J. Comput. Syst. Sci. Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone
2016	J	`jnl`	A descriptive type foundation for RDF Schema. J. Log. Algebraic Methods Program. Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
2016	J	`jnl`	FaaS: Federation-as-a-Service. CoRR Francesco Paolo Schiavo, Vladimiro Sassone, Luca Nicoletti, Andrea Margheri
2015	J	`jnl`	An analysis of trust in anonymity networks in the presence of adaptive attackers. Math. Struct. Comput. Sci. Sardaouna Hamadou, Vladimiro Sassone, Mu Yang
2015	J	`jnl`	EATCS Award 2015. Bull. EATCS Fedor V. Fomin, Kim Larsen, Vladimiro Sassone
2015	J	`jnl`	Minimal type inference for Linked Data consumers. J. Log. Algebraic Methods Program. Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
2015	—	`conf`	Obscuring Provenance Confidential Information via Graph Transformation. IFIPTM Jamal Ali Hussein, Luc Moreau, Vladimiro Sassone
2014	J	`jnl`	A verified algebra for read-write Linked Data. Sci. Comput. Program. Ross Horne, Vladimiro Sassone
2014	—	`conf`	Descriptive Types for Linked Data Resources. Ershov Memorial Conference Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
2014	J	`jnl`	ETAPS Award Laudatio for Kohei Honda. Bull. EATCS Vladimiro Sassone
2014	J	`jnl`	The EATCS Award 2015 - Call for Nominations. Bull. EATCS Vladimiro Sassone
2013	—	`conf`	An HMM-Based Reputation Model. SecNet Ehab ElSalamouny, Vladimiro Sassone
2013	—	`conf`	Local Type Checking for Linked Data Consumers. WWV Gabriel Ciobanu, Ross Horne, Vladimiro Sassone
2013	J	`jnl`	Structural operational semantics for stochastic and weighted transition systems. Inf. Comput. Bartek Klin, Vladimiro Sassone
2012	—	`conf`	A Game-Theoretic Analysis of Cooperation in Anonymity Networks. POST Mu Yang, Vladimiro Sassone, Sardaouna Hamadou
2012	B	`ed.`	Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings MFCS Branislav Rovan, Vladimiro Sassone, Peter Widmayer
2012	J	`jnl`	Tracing where and who provenance in Linked Data: A calculus. Theor. Comput. Sci. Mariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone
2012	—	`ed.`	Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers TGC Roberto Bruni, Vladimiro Sassone
2011	—	`conf`	A Verified Algebra for Linked Data FOCLASA Ross Horne, Vladimiro Sassone
2011	C	`conf`	Minimising Anonymity Loss in Anonymity Networks under DoS Attacks. ICICS Mu Yang, Vladimiro Sassone
2011	—	`conf`	Operational Semantics for SPARQL Update. JIST Ross Horne, Vladimiro Sassone, Nicholas Gibbins
2011	J	`jnl`	Permission-Based Separation Logic for Message-Passing Concurrency Log. Methods Comput. Sci. Adrian Francalanza, Julian Rathke, Vladimiro Sassone
2010	A*	`conf`	Reconciling Belief and Vulnerability in Information Flow. IEEE Symposium on Security and Privacy Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi
2010	—	`ed.`	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 IFIP TCS Cristian S. Calude, Vladimiro Sassone
2010	B	`conf`	Trust in Anonymity Networks. CONCUR Vladimiro Sassone, Sardaouna Hamadou, Mu Yang
2010	—	`conf`	Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols. TGC Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou
2009	—	`conf`	A Formal Model of Provenance in Distributed Systems. Workshop on the Theory and Practice of Provenance Issam Souilah, Adrian Francalanza, Vladimiro Sassone
2009	J	`jnl`	An analysis of the exponential decay principle in probabilistic trust models. Theor. Comput. Sci. Ehab ElSalamouny, Karl Tikjøb Krukow, Vladimiro Sassone
2009	—	`conf`	HMM-Based Trust Model. Formal Aspects in Security and Trust Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielsen
2009	—	`conf`	Probable Innocence in the Presence of Independent Knowledge. Formal Aspects in Security and Trust Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny
2008	J	`jnl`	A logical framework for history-based access control and reputation systems. J. Comput. Secur. Karl Krukow, Mogens Nielsen, Vladimiro Sassone
2008	J	`jnl`	Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005. Theor. Comput. Sci. Vladimiro Sassone
2008	—	`conf`	Models of Computation: A Tribute to Ugo Montanari's Vision. Concurrency, Graphs and Models Roberto Bruni, Vladimiro Sassone
2008	B	`conf`	Structural Operational Semantics for Stochastic Process Calculi. FoSSaCS Bartek Klin, Vladimiro Sassone
2008	—	`ed.`	Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008 BCS Int. Acad. Conf. Erol Gelenbe, Samson Abramsky, Vladimiro Sassone
2007	—	`conf`	A Bayesian Model for Event-based Trust. Computation, Meaning, and Logic Mogens Nielsen, Karl Krukow, Vladimiro Sassone
2007	B	`conf`	Semantic Barbs and Biorthogonality. FoSSaCS Julian Rathke, Vladimiro Sassone, Pawel Sobocinski
2007	J	`jnl`	Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005). Theor. Comput. Sci. Donald Sannella, Vladimiro Sassone
2007	J	`jnl`	Space-aware ambients and processes. Theor. Comput. Sci. Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
2007	J	`jnl`	Static BiLog: a Unifying Language for Spatial Structures. Fundam. Informaticae Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone
2006	J	`jnl`	A Hybrid Intuitionistic Logic: Semantics and Decidability. J. Log. Comput. Rohit Chadha, Damiano Macedonio, Vladimiro Sassone
2006	—	`ed.`	Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I ICALP (1) Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener
2006	—	`ed.`	Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II ICALP (2) Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener
2006	C	`conf`	Inferring dynamic credentials for rôle-based trust management. PPDP Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
2006	J	`jnl`	Role-based access control for a distributed calculus. J. Comput. Secur. Chiara Braghin, Daniele Gorla, Vladimiro Sassone
2006	—	`conf`	Towards a Formal Framework for Computational Trust. FMCO Vladimiro Sassone, Karl Krukow, Mogens Nielsen
2006	C	`conf`	Typed polyadic pi-calculus in bigraphs. PPDP Mikkel Bundgaard, Vladimiro Sassone
2005	A*	`conf`	A framework for concrete reputation-systems with applications to history-based access control. CCS Karl Krukow, Mogens Nielsen, Vladimiro Sassone
2005	—	`conf`	Bigraphical Logics for XML. SEBD Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone
2005	J	`jnl`	Communication and mobility control in boxed ambients. Inf. Comput. Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
2005	B	`ed.`	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 FoSSaCS Vladimiro Sassone
2005	J	`jnl`	Jeeg: temporal constraints for the synchronization of concurrent objects. Concurr. Pract. Exp. Giuseppe Milicia, Vladimiro Sassone
2005	B	`conf`	Labels from Reductions: Towards a General Theory. CALCO Bartek Klin, Vladimiro Sassone, Pawel Sobocinski
2005	J	`jnl`	Locating reaction with 2-categories. Theor. Comput. Sci. Vladimiro Sassone, Pawel Sobocinski
2005	J	`jnl`	Observational congruences for dynamically reconfigurable tile systems. Theor. Comput. Sci. Roberto Bruni, Ugo Montanari, Vladimiro Sassone
2005	A*	`conf`	Reactive Systems over Cospans. LICS Vladimiro Sassone, Pawel Sobocinski
2005	J	`jnl`	Security Policies as Membranes in Systems for Global Computing CoRR Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
2005	J	`jnl`	Security Policies as Membranes in Systems for Global Computing. Log. Methods Comput. Sci. Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
2005	A*	`conf`	Spatial Logics for Bigraphs. ICALP Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone
2004	—	`conf`	A Calculus for Trust Management. FSTTCS Marco Carbone, Mogens Nielsen, Vladimiro Sassone
2004	—	`conf`	A Congruence for Petri Nets. PNGT@ICGT Vladimiro Sassone, Pawel Sobocinski
2004	A	`conf`	A Dependently Typed Ambient Calculus. ESOP Cédric Lhoussaine, Vladimiro Sassone
2004	—	`conf`	A Distributed Calculus for Ro^le-Based Access Control. CSFW Chiara Braghin, Daniele Gorla, Vladimiro Sassone
2004	J	`jnl`	Introduction to special issue on concurrency and coordination: Selected work from the International Workshop ConCoord. Math. Struct. Comput. Sci. Vladimiro Sassone
2004	J	`jnl`	Preface. Theor. Comput. Sci. Vladimiro Sassone
2004	—	`conf`	Security Policies as Membranes in Systems for Global Computing. FGUC Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
2004	Misc	`conf`	The inheritance anomaly: ten years after. SAC Giuseppe Milicia, Vladimiro Sassone
2003	—	`ed.`	4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002 GETCO Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2003	—	`conf`	A Calculus of Bounded Capacities. ASIAN Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
2003	B	`conf`	A Formal Model for Trust in Dynamic Networks. SEFM Marco Carbone, Mogens Nielsen, Vladimiro Sassone
2003	—	`conf`	Algebraic Theories for Contextual Pre-nets. ICTCS Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
2003	J	`jnl`	Deriving Bisimulation Congruences using 2-categories. Nord. J. Comput. Vladimiro Sassone, Pawel Sobocinski
2003	B	`conf`	Deriving Bisimulation Congruences: 2-Categories Vs Precategories. FoSSaCS Vladimiro Sassone, Pawel Sobocinski
2003	—	`conf`	Preface. FGC Vladimiro Sassone
2003	A*	`conf`	Secrecy in Untrusted Networks. ICALP Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone
2003	—	`conf`	Temporal constraints for concurrent object synchronisation. WOOD Giuseppe Milicia, Vladimiro Sassone
2002	—	`ed.`	3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001 GETCO Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2002	B	`conf`	A Calculus of Mobile Resources. CONCUR Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone
2002	—	`conf`	A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone
2002	—	`conf`	Communication Interference in Mobile Boxed Ambients. FSTTCS Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
2002	—	`conf`	Deriving Bisimulation Congruences: A 2-categorical Approach. EXPRESS Vladimiro Sassone, Pawel Sobocinski
2002	—	`ed.`	Foundations of Wide Area Network Computing, F-WAN 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002 F-WAN@ICALP Vladimiro Sassone
2002	—	`conf`	Jeeg: a programming language for concurrent objects synchronization. Java Grande Giuseppe Milicia, Vladimiro Sassone
2002	—	`conf`	Preface - F-WAN: Foundations of Wide Area Network Computing. F-WAN@ICALP Vladimiro Sassone
2002	B	`conf`	Typing and Subtyping Mobility in Boxed Ambients. CONCUR Massimo Merro, Vladimiro Sassone
2001	—	`conf`	A Type Inference Algorithm for Secure Ambients. TOSCA Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone
2001	J	`jnl`	Functorial Models for Petri Nets. Inf. Comput. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
2001	B	`conf`	High-Level Petri Nets as Type Theories in the Join Calculus. FoSSaCS Maria Grazia Buscemi, Vladimiro Sassone
2001	—	`ed.`	International Workshop on Concurrency and Coordination, ConCoord 2001, associated to the 13th Lipari School, Lipari Island, Italy, July 6-8, 2001 ConCoord Ugo Montanari, Vladimiro Sassone
2001	—	`conf`	Preface. ConCoord Ugo Montanari, Vladimiro Sassone
2001	—	`conf`	Properties of Distributed Timed-Arc Petri Nets. FSTTCS Mogens Nielsen, Vladimiro Sassone, Jirí Srba
2001	—	`conf`	Towards a Notion of Distributed Time for Petri Nets. ICATPN Mogens Nielsen, Vladimiro Sassone, Jirí Srba
2001	—	`conf`	Two Algebraic Process Semantics for Contextual Nets. Unifying Petri Nets Roberto Bruni, Vladimiro Sassone
2000	—	`ed.`	2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000 GETCO Patrick Cousot, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2000	A*	`conf`	Algebraic Models for Contextual Nets. ICALP Roberto Bruni, Vladimiro Sassone
2000	J	`jnl`	On the Algebraic Structure of Petri Nets. Bull. EATCS Vladimiro Sassone
2000	—	`conf`	Open Ended Systems, Dynamic Bisimulation and Tile Logic. IFIP TCS Roberto Bruni, Ugo Montanari, Vladimiro Sassone
1999	—	`conf`	Functorial semantics for Petri nets under the individual token philosophy. CTCS Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
1998	—	`conf`	A Comparison of Petri Net Semantics under the Collective Token Philosophy. ASIAN Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
1998	J	`jnl`	An Axiomatization of the Category of Petri Net Computations. Math. Struct. Comput. Sci. Vladimiro Sassone
1997	J	`jnl`	On the Semantics of Place/Transition Petri Nets. Math. Struct. Comput. Sci. José Meseguer, Ugo Montanari, Vladimiro Sassone
1997	—	`conf`	Representation Theorems for Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition José Meseguer, Ugo Montanari, Vladimiro Sassone
1996	J	`jnl`	An Axiomatization of the Algebra of Petri Net Concatenable Processes. Theor. Comput. Sci. Vladimiro Sassone
1996	B	`ed.`	CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings CONCUR Ugo Montanari, Vladimiro Sassone
1996	B	`conf`	Comparing Transition Systems with Independence and Asynchronous Transition Systems. CONCUR Thomas T. Hildebrandt, Vladimiro Sassone
1996	A*	`conf`	Higher Dimensional Transition Systems. LICS Gian Luca Cattani, Vladimiro Sassone
1996	J	`jnl`	Models for Concurrency: Towards a Classification. Theor. Comput. Sci. Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
1996	B	`conf`	Petri Nets and Other Models of Concurrency. Petri Nets Mogens Nielsen, Vladimiro Sassone
1996	J	`jnl`	Process versus Unfolding Semantics for Place/Transition Petri Nets. Theor. Comput. Sci. José Meseguer, Ugo Montanari, Vladimiro Sassone
1996	—	`conf`	Transition systems with independence and multi-arcs. Partial Order Methods in Verification Thomas T. Hildebrandt, Vladimiro Sassone
1995	B	`conf`	Axiomatizing Petri Net Concatenable Processes. FCT Vladimiro Sassone
1995	B	`conf`	Characterizing Behavioural Congruences for Petri Nets. CONCUR Mogens Nielsen, Lutz Priese, Vladimiro Sassone
1995	—	`conf`	On the Category of Petri Net Computations. TAPSOFT Vladimiro Sassone
1994	—	`conf`	On the Model of Computation of Place/Transition Petri Nets. Application and Theory of Petri Nets José Meseguer, Ugo Montanari, Vladimiro Sassone
1993	B	`conf`	A Classification of Models for Concurrency. CONCUR Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
1993	—	`conf`	A Note on Logic Programming Fixed-Point Semantics. GULP Vladimiro Sassone
1993	—	`conf`	A Unification-Free Introduction to Logic Programming. GULP R. di Meglio, Vladimiro Sassone
1993	B	`conf`	Deterministic Behavioural Models for Concurrency. MFCS Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
1993	—	`conf`	Relationships Between Models of Concurrency. REX School/Symposium Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
1992	J	`jnl`	Dynamic congruence vs. progressing bisimulation for CCS. Fundam. Informaticae Ugo Montanari, Vladimiro Sassone
1992	B	`conf`	On the Semantics of Petri Nets. CONCUR José Meseguer, Ugo Montanari, Vladimiro Sassone
1991	B	`conf`	CCS Dynamic Bisimulation is Progressing. MFCS Ugo Montanari, Vladimiro Sassone