default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVladimiro Sassone
Person information
- affiliation: University of Southampton, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c89]Tadani Nasser Alyahya
, Leonardo Aniello, Vladimiro Sassone:
ScaNeF-IoT: Scalable Network Fingerprinting for IoT Device. ARES 2024: 195:1-195:9- [c88]Alked Ejupi, Stefano De Angelis, Vladimiro Sassone:
Performance and Scalability Testing for Blockchain Consensus Protocols: an Empirical Framework. DLT 2024 - [c87]Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone:
Designing Exception Handling Using Event-B. ABZ 2024: 270-277 - 2022
- [j43]Stephen Hart, Basel Halak, Vladimiro Sassone:
CIST: A Serious Game for Hardware Supply Chain. Comput. Secur. 122: 102912 (2022) - [c86]Stefano De Angelis, Gilberto Zanfino, Leonardo Aniello, Federico Lombardi, Vladimiro Sassone:
Evaluating Blockchain Systems: A Comprehensive Study of Security and Dependability Attributes. DLT@ITASEC 2022: 18-32 - [c85]Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang:
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. MoDELS (Companion) 2022: 83-84 - 2021
- [c84]Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone:
Verifying System-Level Security of a Smart Ballot Box. ABZ 2021: 34-49 - [c83]Robert Thorburn, Federica Paci, Vladimiro Sassone, Sophie Stalla-Bourdillon:
Connecting Regulatory Requirements to Audit Outcomes: A Model-driven Approach to Auditable Compliance. MoDELS (Companion) 2021: 641-642 - [i4]Stephen Hart, Basel Halak, Vladimiro Sassone:
MOTENS: A Pedagogical Design Model for Serious Cyber Games. CoRR abs/2110.11765 (2021) - 2020
- [j42]Stephen Hart, Andrea Margheri, Federica Paci, Vladimiro Sassone:
Riskio: A Serious Game for Cyber Security Awareness and Education. Comput. Secur. 95: 101827 (2020) - [j41]Susanne Albers, Nikhil Bansal, Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, David Peleg, Vladimiro Sassone, Alexandra Silva:
EATCS Distinguished Dissertation Award 2020 - Call for Nominations. Bull. EATCS 132 (2020) - [j40]Andrea Margheri, Massimiliano Masi, Abdallah Miladi, Vladimiro Sassone, Jason Rosenzweig:
Decentralised provenance for healthcare data. Int. J. Medical Informatics 141: 104197 (2020) - [j39]Michael O'Sullivan, Leonardo Aniello, Vladimiro Sassone:
A Methodology to Select Topology Generators for Ad Hoc Mesh Network Simulations. J. Commun. 15(10): 741-746 (2020)
2010 – 2019
- 2019
- [j38]David Peleg, Susanne Albers, Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, Vladimiro Sassone:
EATCS Distinguished Dissertation Award 2019 - Call for Nominations. Bull. EATCS 129 (2019) - [j37]Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone:
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. Int. J. Crit. Comput. Based Syst. 9(1/2): 56-75 (2019) - [i3]Michael O'Sullivan, Leonardo Aniello, Vladimiro Sassone:
A Methodology to Select Topology Generators for WANET Simulations (Extended Version). CoRR abs/1908.09577 (2019) - 2018
- [j36]Mu Yang, Andrea Margheri, Runshan Hu, Vladimiro Sassone:
Differentially Private Data Sharing in a Cloud Federation with Blockchain. IEEE Cloud Comput. 5(6): 69-79 (2018) - [c82]Luciano Argento, Andrea Margheri, Federica Paci, Vladimiro Sassone, Nicola Zannone:
Towards Adaptive Access Control. DBSec 2018: 99-109 - [c81]Stefano De Angelis, Leonardo Aniello, Roberto Baldoni, Federico Lombardi, Andrea Margheri, Vladimiro Sassone:
PBFT vs Proof-of-Authority: Applying the CAP Theorem to Permissioned Blockchain. ITASEC 2018 - [c80]Luca Nicoletti, Andrea Margheri, Federico Lombardi, Vladimiro Sassone, Francesco Paolo Schiavo:
Cross-Cloud Management of Sensitive Data via Blockchain: a Payslip Calculation Use Case. ITASEC 2018 - 2017
- [j35]Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone:
Quantifying leakage in the presence of unreliable sources of information. J. Comput. Syst. Sci. 88: 27-52 (2017) - [c79]Andrea Margheri, Md. Sadek Ferdous, Mu Yang, Vladimiro Sassone:
A Distributed Infrastructure for Democratic Cloud Federations. CLOUD 2017: 688-691 - [c78]Shorouq Alansari, Federica Paci, Andrea Margheri, Vladimiro Sassone:
Privacy-Preserving Access Control in Cloud Federations. CLOUD 2017: 757-760 - [c77]Leonardo Aniello, Roberto Baldoni, Edoardo Gaetani, Federico Lombardi, Andrea Margheri, Vladimiro Sassone:
A Prototype Evaluation of a Tamper-Resistant High Performance Blockchain-Based Transaction Log for a Distributed Database. EDCC 2017: 151-154 - [c76]Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone:
Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology. EuroS&P Workshops 2017: 174-180 - [c75]Shorouq Alansari, Federica Paci, Vladimiro Sassone:
A Distributed Access Control System for Cloud Federations. ICDCS 2017: 2131-2136 - [c74]Md. Sadek Ferdous, Andrea Margheri, Federica Paci, Mu Yang, Vladimiro Sassone:
Decentralised Runtime Monitoring for Access Control Systems in Cloud Federations. ICDCS 2017: 2632-2633 - [c73]Edoardo Gaetani, Leonardo Aniello, Roberto Baldoni, Federico Lombardi, Andrea Margheri, Vladimiro Sassone:
Blockchain-Based Database to Ensure Data Integrity in Cloud Computing Environments. ITASEC 2017: 146-155 - 2016
- [j34]Gabriel Ciobanu, Ross Horne, Vladimiro Sassone:
A descriptive type foundation for RDF Schema. J. Log. Algebraic Methods Program. 85(5): 681-706 (2016) - [i2]Francesco Paolo Schiavo, Vladimiro Sassone, Luca Nicoletti, Andrea Margheri:
FaaS: Federation-as-a-Service. CoRR abs/1612.03937 (2016) - 2015
- [j33]Fedor V. Fomin, Kim Larsen, Vladimiro Sassone:
EATCS Award 2015. Bull. EATCS 115 (2015) - [j32]Gabriel Ciobanu, Ross Horne, Vladimiro Sassone:
Minimal type inference for Linked Data consumers. J. Log. Algebraic Methods Program. 84(4): 485-504 (2015) - [j31]Sardaouna Hamadou, Vladimiro Sassone, Mu Yang:
An analysis of trust in anonymity networks in the presence of adaptive attackers. Math. Struct. Comput. Sci. 25(2): 429-456 (2015) - [c72]Jamal Ali Hussein, Luc Moreau, Vladimiro Sassone:
Obscuring Provenance Confidential Information via Graph Transformation. IFIPTM 2015: 109-125 - 2014
- [j30]Vladimiro Sassone:
ETAPS Award Laudatio for Kohei Honda. Bull. EATCS 112 (2014) - [j29]Vladimiro Sassone:
The EATCS Award 2015 - Call for Nominations. Bull. EATCS 114 (2014) - [j28]Ross Horne, Vladimiro Sassone:
A verified algebra for read-write Linked Data. Sci. Comput. Program. 89: 2-22 (2014) - [c71]Gabriel Ciobanu, Ross Horne, Vladimiro Sassone:
Descriptive Types for Linked Data Resources. Ershov Memorial Conference 2014: 1-25 - 2013
- [j27]Bartek Klin, Vladimiro Sassone:
Structural operational semantics for stochastic and weighted transition systems. Inf. Comput. 227: 58-83 (2013) - [c70]Ehab ElSalamouny, Vladimiro Sassone:
An HMM-Based Reputation Model. SecNet 2013: 111-121 - [c69]Gabriel Ciobanu, Ross Horne, Vladimiro Sassone:
Local Type Checking for Linked Data Consumers. WWV 2013: 19-33 - 2012
- [j26]Mariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone:
Tracing where and who provenance in Linked Data: A calculus. Theor. Comput. Sci. 464: 113-129 (2012) - [c68]Mu Yang, Vladimiro Sassone, Sardaouna Hamadou:
A Game-Theoretic Analysis of Cooperation in Anonymity Networks. POST 2012: 269-289 - [e13]Branislav Rovan, Vladimiro Sassone, Peter Widmayer:
Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Lecture Notes in Computer Science 7464, Springer 2012, ISBN 978-3-642-32588-5 [contents] - [e12]Roberto Bruni, Vladimiro Sassone:
Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7173, Springer 2012, ISBN 978-3-642-30064-6 [contents] - 2011
- [j25]Adrian Francalanza, Julian Rathke, Vladimiro Sassone:
Permission-Based Separation Logic for Message-Passing Concurrency. Log. Methods Comput. Sci. 7(3) (2011) - [c67]Ross Horne, Vladimiro Sassone, Nicholas Gibbins:
Operational Semantics for SPARQL Update. JIST 2011: 242-257 - [c66]Mu Yang, Vladimiro Sassone:
Minimising Anonymity Loss in Anonymity Networks under DoS Attacks. ICICS 2011: 414-429 - [c65]Ross Horne, Vladimiro Sassone:
A Verified Algebra for Linked Data. FOCLASA 2011: 20-33 - 2010
- [c64]Vladimiro Sassone, Sardaouna Hamadou, Mu Yang:
Trust in Anonymity Networks. CONCUR 2010: 48-70 - [c63]Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi:
Reconciling Belief and Vulnerability in Information Flow. IEEE Symposium on Security and Privacy 2010: 79-92 - [c62]Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou:
Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols. TGC 2010: 88-102 - [e11]Cristian S. Calude, Vladimiro Sassone:
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 Advances in Information and Communication Technology 323, Springer 2010, ISBN 978-3-642-15239-9 [contents]
2000 – 2009
- 2009
- [j24]Ehab ElSalamouny, Karl Tikjøb Krukow, Vladimiro Sassone:
An analysis of the exponential decay principle in probabilistic trust models. Theor. Comput. Sci. 410(41): 4067-4084 (2009) - [c61]Issam Souilah, Adrian Francalanza, Vladimiro Sassone:
A Formal Model of Provenance in Distributed Systems. Workshop on the Theory and Practice of Provenance 2009 - [c60]Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielsen:
HMM-Based Trust Model. Formal Aspects in Security and Trust 2009: 21-35 - [c59]Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny:
Probable Innocence in the Presence of Independent Knowledge. Formal Aspects in Security and Trust 2009: 141-156 - 2008
- [j23]Karl Krukow, Mogens Nielsen, Vladimiro Sassone:
A logical framework for history-based access control and reputation systems. J. Comput. Secur. 16(1): 63-101 (2008) - [j22]Vladimiro Sassone:
Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005. Theor. Comput. Sci. 390(2-3): 127-128 (2008) - [c58]Roberto Bruni, Vladimiro Sassone:
Models of Computation: A Tribute to Ugo Montanari's Vision. Concurrency, Graphs and Models 2008: 503-509 - [c57]Bartek Klin, Vladimiro Sassone:
Structural Operational Semantics for Stochastic Process Calculi. FoSSaCS 2008: 428-442 - [e10]Erol Gelenbe, Samson Abramsky, Vladimiro Sassone:
Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008. British Computer Society 2008 [contents] - 2007
- [j21]Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone:
Static BiLog: a Unifying Language for Spatial Structures. Fundam. Informaticae 80(1-3): 91-110 (2007) - [j20]Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone:
Space-aware ambients and processes. Theor. Comput. Sci. 373(1-2): 41-69 (2007) - [j19]Donald Sannella, Vladimiro Sassone:
Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005). Theor. Comput. Sci. 389(3): 337-340 (2007) - [c56]Julian Rathke, Vladimiro Sassone, Pawel Sobocinski:
Semantic Barbs and Biorthogonality. FoSSaCS 2007: 302-316 - [c55]Mogens Nielsen, Karl Krukow, Vladimiro Sassone:
A Bayesian Model for Event-based Trust. Computation, Meaning, and Logic 2007: 499-521 - 2006
- [j18]Chiara Braghin, Daniele Gorla, Vladimiro Sassone:
Role-based access control for a distributed calculus. J. Comput. Secur. 14(2): 113-155 (2006) - [j17]Rohit Chadha, Damiano Macedonio, Vladimiro Sassone:
A Hybrid Intuitionistic Logic: Semantics and Decidability. J. Log. Comput. 16(1): 27-59 (2006) - [c54]Vladimiro Sassone, Karl Krukow, Mogens Nielsen:
Towards a Formal Framework for Computational Trust. FMCO 2006: 175-184 - [c53]Mikkel Bundgaard, Vladimiro Sassone:
Typed polyadic pi-calculus in bigraphs. PPDP 2006: 1-12 - [c52]Daniele Gorla, Matthew Hennessy, Vladimiro Sassone:
Inferring dynamic credentials for rôle-based trust management. PPDP 2006: 213-224 - [e9]Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener:
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I. Lecture Notes in Computer Science 4051, Springer 2006, ISBN 3-540-35904-4 [contents] - [e8]Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener:
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II. Lecture Notes in Computer Science 4052, Springer 2006, ISBN 3-540-35907-9 [contents] - 2005
- [j16]Giuseppe Milicia, Vladimiro Sassone:
Jeeg: temporal constraints for the synchronization of concurrent objects. Concurr. Pract. Exp. 17(5-6): 539-572 (2005) - [j15]Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone:
Communication and mobility control in boxed ambients. Inf. Comput. 202(1): 39-86 (2005) - [j14]Daniele Gorla, Matthew Hennessy, Vladimiro Sassone:
Security Policies as Membranes in Systems for Global Computing. Log. Methods Comput. Sci. 1(3) (2005) - [j13]Vladimiro Sassone, Pawel Sobocinski:
Locating reaction with 2-categories. Theor. Comput. Sci. 333(1-2): 297-327 (2005) - [j12]Roberto Bruni, Ugo Montanari, Vladimiro Sassone:
Observational congruences for dynamically reconfigurable tile systems. Theor. Comput. Sci. 335(2-3): 331-372 (2005) - [c51]Bartek Klin, Vladimiro Sassone, Pawel Sobocinski:
Labels from Reductions: Towards a General Theory. CALCO 2005: 30-50 - [c50]Karl Krukow, Mogens Nielsen, Vladimiro Sassone:
A framework for concrete reputation-systems with applications to history-based access control. CCS 2005: 260-269 - [c49]Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone:
Spatial Logics for Bigraphs. ICALP 2005: 766-778 - [c48]Vladimiro Sassone, Pawel Sobocinski:
Reactive Systems over Cospans. LICS 2005: 311-320 - [c47]Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone:
Bigraphical Logics for XML. SEBD 2005: 392-399 - [e7]Vladimiro Sassone:
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. Lecture Notes in Computer Science 3441, Springer 2005, ISBN 3-540-25388-2 [contents] - [i1]Daniele Gorla, Matthew Hennessy, Vladimiro Sassone:
Security Policies as Membranes in Systems for Global Computing. CoRR abs/cs/0506061 (2005) - 2004
- [j11]Vladimiro Sassone:
Introduction to special issue on concurrency and coordination: Selected work from the International Workshop ConCoord. Math. Struct. Comput. Sci. 14(3): 283 (2004) - [j10]Vladimiro Sassone:
Preface. Theor. Comput. Sci. 322(3): 423-426 (2004) - [c46]Chiara Braghin, Daniele Gorla, Vladimiro Sassone:
A Distributed Calculus for Ro^le-Based Access Control. CSFW 2004: 48-60 - [c45]Cédric Lhoussaine, Vladimiro Sassone:
A Dependently Typed Ambient Calculus. ESOP 2004: 171-187 - [c44]Marco Carbone, Mogens Nielsen, Vladimiro Sassone:
A Calculus for Trust Management. FSTTCS 2004: 161-173 - [c43]Giuseppe Milicia, Vladimiro Sassone:
The inheritance anomaly: ten years after. SAC 2004: 1267-1274 - [c42]Daniele Gorla, Matthew Hennessy, Vladimiro Sassone:
Security Policies as Membranes in Systems for Global Computing. FGUC 2004: 23-42 - [c41]Vladimiro Sassone, Pawel Sobocinski:
A Congruence for Petri Nets. PNGT@ICGT 2004: 107-120 - 2003
- [j9]Vladimiro Sassone, Pawel Sobocinski:
Deriving Bisimulation Congruences using 2-categories. Nord. J. Comput. 10(2): 163- (2003) - [c40]Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone:
A Calculus of Bounded Capacities. ASIAN 2003: 205-223 - [c39]Vladimiro Sassone, Pawel Sobocinski:
Deriving Bisimulation Congruences: 2-Categories Vs Precategories. FoSSaCS 2003: 409-424 - [c38]Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone:
Secrecy in Untrusted Networks. ICALP 2003: 969-983 - [c37]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Algebraic Theories for Contextual Pre-nets. ICTCS 2003: 256-270 - [c36]Marco Carbone, Mogens Nielsen, Vladimiro Sassone:
A Formal Model for Trust in Dynamic Networks. SEFM 2003: 54- - [c35]Vladimiro Sassone:
Preface. FGC 2003: 1-2 - [c34]Giuseppe Milicia, Vladimiro Sassone:
Temporal constraints for concurrent object synchronisation. WOOD 2003: 30-32 - [e6]Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002. Electronic Notes in Theoretical Computer Science 81, Elsevier 2003 [contents] - 2002
- [c33]Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone:
A Calculus of Mobile Resources. CONCUR 2002: 272-287 - [c32]Massimo Merro, Vladimiro Sassone:
Typing and Subtyping Mobility in Boxed Ambients. CONCUR 2002: 304-320 - [c31]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone:
A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD 2002: 91-138 - [c30]Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone:
Communication Interference in Mobile Boxed Ambients. FSTTCS 2002: 71-84 - [c29]Giuseppe Milicia, Vladimiro Sassone:
Jeeg: a programming language for concurrent objects synchronization. Java Grande 2002: 212-221 - [c28]Vladimiro Sassone, Pawel Sobocinski:
Deriving Bisimulation Congruences: A 2-categorical Approach. EXPRESS 2002: 105-123 - [c27]Vladimiro Sassone:
Preface - F-WAN: Foundations of Wide Area Network Computing. F-WAN@ICALP 2002: 185-186 - [e5]Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001. Electronic Notes in Theoretical Computer Science 52(2), Elsevier 2002 [contents] - [e4]Vladimiro Sassone:
Foundations of Wide Area Network Computing, F-WAN 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002. Electronic Notes in Theoretical Computer Science 66(3), Elsevier 2002 [contents] - 2001
- [j8]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Functorial Models for Petri Nets. Inf. Comput. 170(2): 207-236 (2001) - [c26]Mogens Nielsen, Vladimiro Sassone, Jirí Srba:
Towards a Notion of Distributed Time for Petri Nets. ICATPN 2001: 23-31 - [c25]Roberto Bruni, Vladimiro Sassone:
Two Algebraic Process Semantics for Contextual Nets. Unifying Petri Nets 2001: 427-456 - [c24]Maria Grazia Buscemi, Vladimiro Sassone:
High-Level Petri Nets as Type Theories in the Join Calculus. FoSSaCS 2001: 104-120 - [c23]Mogens Nielsen, Vladimiro Sassone, Jirí Srba:
Properties of Distributed Timed-Arc Petri Nets. FSTTCS 2001: 280-291 - [c22]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone:
A Type Inference Algorithm for Secure Ambients. TOSCA 2001: 83-101 - [c21]Ugo Montanari, Vladimiro Sassone:
Preface. ConCoord 2001: 117 - [e3]Ugo Montanari, Vladimiro Sassone:
International Workshop on Concurrency and Coordination, ConCoord 2001, associated to the 13th Lipari School, Lipari Island, Italy, July 6-8, 2001. Electronic Notes in Theoretical Computer Science 54, Elsevier 2001 [contents] - 2000
- [j7]Vladimiro Sassone:
On the Algebraic Structure of Petri Nets. Bull. EATCS 72: 133-148 (2000) - [c20]Roberto Bruni, Vladimiro Sassone:
Algebraic Models for Contextual Nets. ICALP 2000: 175-186 - [c19]Roberto Bruni, Ugo Montanari, Vladimiro Sassone:
Open Ended Systems, Dynamic Bisimulation and Tile Logic. IFIP TCS 2000: 440-456 - [e2]Patrick Cousot, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000. Electronic Notes in Theoretical Computer Science 39(2), Elsevier 2000 [contents]
1990 – 1999
- 1999
- [c18]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Functorial semantics for Petri nets under the individual token philosophy. CTCS 1999: 21 - 1998
- [j6]Vladimiro Sassone:
An Axiomatization of the Category of Petri Net Computations. Math. Struct. Comput. Sci. 8(2): 117-151 (1998) - [c17]Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
A Comparison of Petri Net Semantics under the Collective Token Philosophy. ASIAN 1998: 225-244 - 1997
- [j5]José Meseguer, Ugo Montanari, Vladimiro Sassone:
On the Semantics of Place/Transition Petri Nets. Math. Struct. Comput. Sci. 7(4): 359-397 (1997) - [c16]José Meseguer, Ugo Montanari, Vladimiro Sassone:
Representation Theorems for Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 239-249 - 1996
- [j4]José Meseguer, Ugo Montanari, Vladimiro Sassone:
Process versus Unfolding Semantics for Place/Transition Petri Nets. Theor. Comput. Sci. 153(1&2): 171-210 (1996) - [j3]Vladimiro Sassone:
An Axiomatization of the Algebra of Petri Net Concatenable Processes. Theor. Comput. Sci. 170(1-2): 277-296 (1996) - [j2]Vladimiro Sassone, Mogens Nielsen, Glynn Winskel:
Models for Concurrency: Towards a Classification. Theor. Comput. Sci. 170(1-2): 297-348 (1996) - [c15]Mogens Nielsen, Vladimiro Sassone:
Petri Nets and Other Models of Concurrency. Petri Nets 1996: 587-642 - [c14]Thomas T. Hildebrandt, Vladimiro Sassone:
Comparing Transition Systems with Independence and Asynchronous Transition Systems. CONCUR 1996: 84-97 - [c13]Thomas T. Hildebrandt, Vladimiro Sassone:
Transition systems with independence and multi-arcs. Partial Order Methods in Verification 1996: 273-288 - [c12]Gian Luca Cattani, Vladimiro Sassone:
Higher Dimensional Transition Systems. LICS 1996: 55-62 - [e1]Ugo Montanari, Vladimiro Sassone:
CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings. Lecture Notes in Computer Science 1119, Springer 1996, ISBN 3-540-61604-7 [contents] - 1995
- [c11]Mogens Nielsen, Lutz Priese, Vladimiro Sassone:
Characterizing Behavioural Congruences for Petri Nets. CONCUR 1995: 175-189 - [c10]Vladimiro Sassone:
Axiomatizing Petri Net Concatenable Processes. FCT 1995: 414-423 - [c9]Vladimiro Sassone:
On the Category of Petri Net Computations. TAPSOFT 1995: 334-348 - 1994
- [c8]José Meseguer, Ugo Montanari, Vladimiro Sassone:
On the Model of Computation of Place/Transition Petri Nets. Application and Theory of Petri Nets 1994: 16-38 - 1993
- [c7]R. di Meglio, Vladimiro Sassone:
A Unification-Free Introduction to Logic Programming. GULP 1993: 21-38 - [c6]Vladimiro Sassone:
A Note on Logic Programming Fixed-Point Semantics. GULP 1993: 649-662 - [c5]Vladimiro Sassone, Mogens Nielsen, Glynn Winskel:
A Classification of Models for Concurrency. CONCUR 1993: 82-96 - [c4]Vladimiro Sassone, Mogens Nielsen, Glynn Winskel:
Deterministic Behavioural Models for Concurrency. MFCS 1993: 682-692 - [c3]Mogens Nielsen, Vladimiro Sassone, Glynn Winskel:
Relationships Between Models of Concurrency. REX School/Symposium 1993: 425-476 - 1992
- [j1]Ugo Montanari, Vladimiro Sassone:
Dynamic congruence vs. progressing bisimulation for CCS. Fundam. Informaticae 16(1): 171-199 (1992) - [c2]José Meseguer, Ugo Montanari, Vladimiro Sassone:
On the Semantics of Petri Nets. CONCUR 1992: 286-301 - 1991
- [c1]Ugo Montanari, Vladimiro Sassone:
CCS Dynamic Bisimulation is Progressing. MFCS 1991: 346-356
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
