Edit Profile Sassone, Vladimiro Compute Distance To: Compute Author ID: sassone.vladimiro Published as: Sassone, V.; Sassone, Vladimiro External Links: ORCID Documents Indexed: 76 Publications since 1991, including 12 Books all top 5 Co-Authors 8 single-authored 13 Montanari, Ugo G. 10 Bruni, Roberto 8 Bugliesi, Michele 8 Nielsen, Mogens 7 Meseguer Guaita, José 7 Sobociński, Paweł 4 Crafa, Silvia 4 Dezani-Ciancaglini, Mariangiola 4 Hamadou, Sardaouna 4 Horne, Ross 4 Krukow, Karl Tikjøb 4 Macedonio, Damiano 3 Barbanera, Franco 3 Ciobanu, Gabriel 3 Conforti, Giovanni 3 Klin, Bartek 3 Merro, Massimo 3 Yang, Mu 2 Cousot, Patrick 2 Gorla, Daniele 2 Goubault, Eric 2 Hennessy, Matthew C. B. 2 Herlihy, Maurice P. 2 Hildebrandt, Thomas T. 2 Preneel, Bart 2 Rathke, Julian 2 Raussen, Martin 2 Srba, Jiří 2 Wegener, Ingo 1 Buscemi, Maria Grazia 1 Calude, Cristian S. 1 Carbone, Marco 1 Castagna, Giuseppe 1 Chadha, Rohit 1 ElSalamouny, Ehab 1 Fajstrup, Lisbeth 1 Focardi, Riccardo 1 Francalanza, Adrian 1 Godskesen, Jens Chr. 1 Gunawardena, Jeremy 1 Lhoussaine, Cédric 1 Palamidessi, Catuscia 1 Prelic, Amela 1 Rovan, Branislav 1 Salvo, Ivano 1 Widmayer, Peter 1 Winskel, Glynn all top 5 Serials 11 Theoretical Computer Science 6 Lecture Notes in Computer Science 4 MSCS. Mathematical Structures in Computer Science 3 Information and Computation 2 Electronic Notes in Theoretical Computer Science 2 Logical Methods in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Journal of Computer and System Sciences 1 Annales Societatis Mathematicae Polonae. Series IV 1 Journal of Logic and Computation 1 Nordic Journal of Computing 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Fundamenta Informaticae 1 IFIP Advances in Information and Communication Technology all top 5 Fields 74 Computer science (68-XX) 13 General and overarching topics; collections (00-XX) 9 Category theory; homological algebra (18-XX) 7 Mathematical logic and foundations (03-XX) 3 Information and communication theory, circuits (94-XX) 2 Operations research, mathematical programming (90-XX) 1 History and biography (01-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 52 Publications have been cited 306 times in 203 Documents Cited by ▼ Year ▼ Models for concurrency: Towards a classification. Zbl 0874.68120Sassone, Vladimiro; Nielsen, Mogens; Winskel, Glynn 31 1996 On the semantics of place/transition Petri nets. Zbl 0876.68072Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 21 1997 Dynamic congruence VS. Progressing bisimulation for CCS. Zbl 0762.68044Montanari, Ugo; Sassone, Vladimiro 20 1992 Structural operational semantics for stochastic process calculi. Zbl 1138.68468Klin, Bartek; Sassone, Vladimiro 14 2008 Deriving bisimulation congruences using 2-categories. Zbl 1062.68082Sassone, Vladimiro; Sobociński, Paweł 12 2003 Spatial logics for bigraphs. Zbl 1084.68081Conforti, Giovanni; Macedonio, Damiano; Sassone, Vladimiro 10 2005 Typing and subtyping mobility in boxed ambients. Zbl 1012.68529Merro, Massimo; Sassone, Vladimiro 10 2002 Process versus unfolding semantics for Place/Transition Petri nets. Zbl 0872.68130Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 10 1996 Communication and mobility control in boxed ambients. Zbl 1101.68943Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro 9 2005 Functorial models for Petri nets. Zbl 1005.68102Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 9 2001 Semantic barbs and biorthogonality. Zbl 1195.68073Rathke, Julian; Sassone, Vladimiro; Sobociński, Paweł 8 2007 Communication interference in mobile boxed ambients. Zbl 1027.68086Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro 8 2002 A calculus of mobile resources. Zbl 1012.68519Godskesen, Jens Chr.; Hildebrandt, Thomas; Sassone, Vladimiro 8 2002 Structural operational semantics for stochastic and weighted transition systems. Zbl 1358.68214Klin, Bartek; Sassone, Vladimiro 7 2013 Labels from reductions: Towards a general theory. Zbl 1151.68536Klin, Bartek; Sassone, Vladimiro; Sobociński, Paweł 7 2005 Locating reaction with 2-categories. Zbl 1070.68107Sassone, Vladimiro; Sobociński, Paweł 7 2005 Representation theorems for Petri nets. Zbl 0885.68115Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 7 1997 An axiomatization of the algebra of Petri net concatenable processes. Zbl 0874.68224Sassone, Vladimiro 7 1996 A congruence for Petri nets. Zbl 1272.68320Sassone, Vladimiro; Sobociński, Paweł 6 2005 A Bayesian model for event-based trust. Zbl 1277.68038Nielsen, Mogens; Krukow, Karl; Sassone, Vladimiro 5 2007 Security policies as membranes in systems for global computing. Zbl 1272.68062Gorla, Daniele; Hennessy, Matthew; Sassone, Vladimiro 5 2005 Deriving bisimulation congruences: a 2-categorical approach. Zbl 1270.68224Sassone, Vladimiro; Sobociński, Pawel 5 2002 Open ended systems, dynamic bisimulation and tile logic. Zbl 0998.68087Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro 5 2000 Functorial semantics for Petri nets under the individual token philosophy. Zbl 0966.68108Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V. 5 1999 A comparison of Petri net semantics under the collective token philosophy. Zbl 0932.68062Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 5 1998 Tracing where and who provenance in linked data: a calculus. Zbl 1253.68043Dezani-Ciancaglini, Mariangiola; Horne, Ross; Sassone, Vladimiro 4 2012 A dependently typed ambient calculus. Zbl 1126.68504Lhoussaine, Cédric; Sassone, Vladimiro 4 2004 A calculus for trust management. Zbl 1117.68446Carbone, Marco; Nielsen, Mogens; Sassone, Vladimiro 4 2004 A calculus of bounded capacities. Zbl 1215.68036Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro 4 2003 A type inference algorithm for secure ambients. Zbl 1268.68120Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro 4 2002 An axiomatization of the category of Petri net computations. Zbl 0916.68105Sassone, Vladimiro 4 1998 Descriptive types for linked data resources. Zbl 1434.68080Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro 3 2015 Minimal type inference for linked data consumers. Zbl 1329.68085Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro 3 2015 Towards a formal framework for computational trust. (Extended abstract). Zbl 1147.68778Sassone, Vladimiro; Krukow, Karl; Nielsen, Mogens 3 2007 A hybrid intuitionistic logic: semantics and decidability. Zbl 1107.03015Chadha, Rohit; Macedonio, Damiano; Sassone, Vladimiro 3 2006 High-level Petri nets as type theories in the join calculus. Zbl 0978.68104Buscemi, Maria Grazia; Sassone, Vladimiro 3 2001 Algebraic models for contextual nets. Zbl 0973.68161Bruni, Roberto; Sassone, Vladimiro 3 2000 CCS dynamic bisimulation is progressing. Zbl 0776.68082Montanari, Ugo; Sassone, Vladimiro 3 1991 An analysis of the exponential decay principle in probabilistic trust models. Zbl 1172.93395ElSalamouny, Ehab; Krukow, Karl Tikjøb; Sassone, Vladimiro 2 2009 Trust models in ubiquitous computing. Zbl 1153.68332Krukow, Karl; Nielsen, Mogens; Sassone, Vladimiro 2 2008 Space-aware ambients and processes. Zbl 1111.68011Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro 2 2007 Security policies as membranes in systems for global computing. Zbl 1125.68390Gorla, Daniele; Hennessy, Matthew; Sassone, Vladimiro 2 2005 Deriving bisimulation congruences: 2-categories vs precategories. Zbl 1029.68111Sassone, Vladimiro; Sobociński, Paweł 2 2003 Properties of distributed timed-arc Petri nets. Zbl 1052.68639Nielsen, Mogens; Sassone, Vladimiro; Srba, Jirí 2 2001 Quantifying leakage in the presence of unreliable sources of information. Zbl 1371.68073Hamadou, Sardaouna; Palamidessi, Catuscia; Sassone, Vladimiro 1 2017 Trustworthy global computing. 6th international symposium, TGC 2011, Aachen, Germany, June 9–10, 2011. Revised selected papers. Zbl 1245.68002Bruni, Roberto (ed.); Sassone, Vladimiro (ed.) 1 2012 Trust in anonymity networks. Zbl 1287.68016Sassone, Vladimiro; Hamadou, Sardaouna; Yang, Mu 1 2010 Static BiLog; a unifying language for spatial structures. Zbl 1137.03314Conforti, Giovanni; Macedonio, Damiano; Sassone, Vladimiro 1 2007 Special issue: F-WAN, foundations of wide area network computing. Selected papers based on the presentation at the meeting, Málaga, Spain, July 12–13, 2002. Zbl 1093.68526Sassone, V. (ed.) 1 2004 Secrecy in untrusted networks. Zbl 1039.68516Bugliesi, Michele; Crafa, Silvia; Prelic, Amela; Sassone, Vladimiro 1 2003 Two algebraic process semantics for contextual nets. Zbl 1017.68075Bruni, Roberto; Sassone, Vladimiro 1 2001 Petri nets and other models of concurrency. Zbl 0926.68089Nielsen, Mogens; Sassone, Vladimiro 1 1998 Quantifying leakage in the presence of unreliable sources of information. Zbl 1371.68073Hamadou, Sardaouna; Palamidessi, Catuscia; Sassone, Vladimiro 1 2017 Descriptive types for linked data resources. Zbl 1434.68080Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro 3 2015 Minimal type inference for linked data consumers. Zbl 1329.68085Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro 3 2015 Structural operational semantics for stochastic and weighted transition systems. Zbl 1358.68214Klin, Bartek; Sassone, Vladimiro 7 2013 Tracing where and who provenance in linked data: a calculus. Zbl 1253.68043Dezani-Ciancaglini, Mariangiola; Horne, Ross; Sassone, Vladimiro 4 2012 Trustworthy global computing. 6th international symposium, TGC 2011, Aachen, Germany, June 9–10, 2011. Revised selected papers. Zbl 1245.68002Bruni, Roberto (ed.); Sassone, Vladimiro (ed.) 1 2012 Trust in anonymity networks. Zbl 1287.68016Sassone, Vladimiro; Hamadou, Sardaouna; Yang, Mu 1 2010 An analysis of the exponential decay principle in probabilistic trust models. Zbl 1172.93395ElSalamouny, Ehab; Krukow, Karl Tikjøb; Sassone, Vladimiro 2 2009 Structural operational semantics for stochastic process calculi. Zbl 1138.68468Klin, Bartek; Sassone, Vladimiro 14 2008 Trust models in ubiquitous computing. Zbl 1153.68332Krukow, Karl; Nielsen, Mogens; Sassone, Vladimiro 2 2008 Semantic barbs and biorthogonality. Zbl 1195.68073Rathke, Julian; Sassone, Vladimiro; Sobociński, Paweł 8 2007 A Bayesian model for event-based trust. Zbl 1277.68038Nielsen, Mogens; Krukow, Karl; Sassone, Vladimiro 5 2007 Towards a formal framework for computational trust. (Extended abstract). Zbl 1147.68778Sassone, Vladimiro; Krukow, Karl; Nielsen, Mogens 3 2007 Space-aware ambients and processes. Zbl 1111.68011Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro 2 2007 Static BiLog; a unifying language for spatial structures. Zbl 1137.03314Conforti, Giovanni; Macedonio, Damiano; Sassone, Vladimiro 1 2007 A hybrid intuitionistic logic: semantics and decidability. Zbl 1107.03015Chadha, Rohit; Macedonio, Damiano; Sassone, Vladimiro 3 2006 Spatial logics for bigraphs. Zbl 1084.68081Conforti, Giovanni; Macedonio, Damiano; Sassone, Vladimiro 10 2005 Communication and mobility control in boxed ambients. Zbl 1101.68943Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro 9 2005 Labels from reductions: Towards a general theory. Zbl 1151.68536Klin, Bartek; Sassone, Vladimiro; Sobociński, Paweł 7 2005 Locating reaction with 2-categories. Zbl 1070.68107Sassone, Vladimiro; Sobociński, Paweł 7 2005 A congruence for Petri nets. Zbl 1272.68320Sassone, Vladimiro; Sobociński, Paweł 6 2005 Security policies as membranes in systems for global computing. Zbl 1272.68062Gorla, Daniele; Hennessy, Matthew; Sassone, Vladimiro 5 2005 Security policies as membranes in systems for global computing. Zbl 1125.68390Gorla, Daniele; Hennessy, Matthew; Sassone, Vladimiro 2 2005 A dependently typed ambient calculus. Zbl 1126.68504Lhoussaine, Cédric; Sassone, Vladimiro 4 2004 A calculus for trust management. Zbl 1117.68446Carbone, Marco; Nielsen, Mogens; Sassone, Vladimiro 4 2004 Special issue: F-WAN, foundations of wide area network computing. Selected papers based on the presentation at the meeting, Málaga, Spain, July 12–13, 2002. Zbl 1093.68526Sassone, V. (ed.) 1 2004 Deriving bisimulation congruences using 2-categories. Zbl 1062.68082Sassone, Vladimiro; Sobociński, Paweł 12 2003 A calculus of bounded capacities. Zbl 1215.68036Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro 4 2003 Deriving bisimulation congruences: 2-categories vs precategories. Zbl 1029.68111Sassone, Vladimiro; Sobociński, Paweł 2 2003 Secrecy in untrusted networks. Zbl 1039.68516Bugliesi, Michele; Crafa, Silvia; Prelic, Amela; Sassone, Vladimiro 1 2003 Typing and subtyping mobility in boxed ambients. Zbl 1012.68529Merro, Massimo; Sassone, Vladimiro 10 2002 Communication interference in mobile boxed ambients. Zbl 1027.68086Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro 8 2002 A calculus of mobile resources. Zbl 1012.68519Godskesen, Jens Chr.; Hildebrandt, Thomas; Sassone, Vladimiro 8 2002 Deriving bisimulation congruences: a 2-categorical approach. Zbl 1270.68224Sassone, Vladimiro; Sobociński, Pawel 5 2002 A type inference algorithm for secure ambients. Zbl 1268.68120Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro 4 2002 Functorial models for Petri nets. Zbl 1005.68102Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 9 2001 High-level Petri nets as type theories in the join calculus. Zbl 0978.68104Buscemi, Maria Grazia; Sassone, Vladimiro 3 2001 Properties of distributed timed-arc Petri nets. Zbl 1052.68639Nielsen, Mogens; Sassone, Vladimiro; Srba, Jirí 2 2001 Two algebraic process semantics for contextual nets. Zbl 1017.68075Bruni, Roberto; Sassone, Vladimiro 1 2001 Open ended systems, dynamic bisimulation and tile logic. Zbl 0998.68087Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro 5 2000 Algebraic models for contextual nets. Zbl 0973.68161Bruni, Roberto; Sassone, Vladimiro 3 2000 Functorial semantics for Petri nets under the individual token philosophy. Zbl 0966.68108Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V. 5 1999 A comparison of Petri net semantics under the collective token philosophy. Zbl 0932.68062Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 5 1998 An axiomatization of the category of Petri net computations. Zbl 0916.68105Sassone, Vladimiro 4 1998 Petri nets and other models of concurrency. Zbl 0926.68089Nielsen, Mogens; Sassone, Vladimiro 1 1998 On the semantics of place/transition Petri nets. Zbl 0876.68072Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 21 1997 Representation theorems for Petri nets. Zbl 0885.68115Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 7 1997 Models for concurrency: Towards a classification. Zbl 0874.68120Sassone, Vladimiro; Nielsen, Mogens; Winskel, Glynn 31 1996 Process versus unfolding semantics for Place/Transition Petri nets. Zbl 0872.68130Meseguer, José; Montanari, Ugo; Sassone, Vladimiro 10 1996 An axiomatization of the algebra of Petri net concatenable processes. Zbl 0874.68224Sassone, Vladimiro 7 1996 Dynamic congruence VS. Progressing bisimulation for CCS. Zbl 0762.68044Montanari, Ugo; Sassone, Vladimiro 20 1992 CCS dynamic bisimulation is progressing. Zbl 0776.68082Montanari, Ugo; Sassone, Vladimiro 3 1991 all cited Publications top 5 cited Publications all top 5 Cited by 276 Authors 21 Montanari, Ugo G. 16 Baldan, Paolo 14 Bonchi, Filippo 13 Corradini, Andrea 13 Gadducci, Fabio 12 Sassone, Vladimiro 11 Bruni, Roberto 8 Sobociński, Paweł 5 Ciobanu, Gabriel 5 De Nicola, Rocco 5 Gorla, Daniele 5 Horne, Ross 5 König, Barbara 5 Miculan, Marino 5 van Glabbeek, Robert Jan 4 Heindel, Tobias 4 Klin, Bartek 4 Melgratti, Hernán 4 Merro, Massimo 4 Meseguer Guaita, José 4 Monreale, Giacoma Valentina 4 Rathke, Julian 4 Virbitskaite, Irina B. 3 Dezani-Ciancaglini, Mariangiola 3 Hennessy, Matthew C. B. 3 Krukow, Karl Tikjøb 3 Loreti, Michele 3 Nielson, Flemming 3 Peressotti, Marco 3 Riis Nielson, Hanne 3 Tiu, Alwen Fernanto 2 Baez, John C. 2 Bernardo, Marco 2 Bossi, Annalisa 2 Bracciali, Andrea 2 Brengos, Tomasz 2 Bugliesi, Michele 2 Calder, Muffy 2 Ciancia, Vincenzo 2 Czaja, Ludwik 2 Gardner, Philippa Anne 2 Ghilezan, Silvia 2 Goltz, Ursula 2 Grohmann, Davide 2 Heckel, Reiko 2 Jakšić, Svetlana 2 Kahramanoğulları, Ozan 2 La Rosa, Marcello 2 Lenglet, Sergueï 2 Lluch Lafuente, Alberto 2 Maffeis, Sergio 2 Massink, Mieke 2 Master, Jade 2 Milner, Robin 2 Nielsen, Mogens 2 Pantović, Jovanka 2 Pattinson, Dirk 2 Phillips, Iain W. 2 Piazza, Carla 2 Pinna, G. Michele 2 Polyvyanyy, Artem 2 Popova-Zeugmann, Louchka 2 Pugliese, Rosario 2 Rossi, Sabina 2 Schicke, Jens-Wolfhard 2 Schmitt, Alan 2 Sevegnani, Michele 2 Sewell, Peter 2 Sibilio, Eleonora 2 Stefani, Jean-Bernard 2 ter Hofstede, Arthur H. M. 2 Tini, Simone 2 Varacca, Daniele 2 Winskel, Glynn 2 Yoshida, Nobuko 1 Abou-Saleh, Faris 1 Aceto, Luca 1 Agrigoroaiei, Oana 1 Ahn, Ki Yung 1 Aldini, Alessandro 1 Almeida Matos, Ana 1 Amadio, Roberto M. 1 Aman, Bogdan 1 Amtoft, Torben 1 Bacci, Giorgio 1 Ballardin, Francesco 1 Barbanera, Franco 1 Beggiato, Alessandro 1 Berardi, Stefano 1 Berger, Martin J. 1 Best, Eike 1 Bidinger, Philippe 1 Borovlev, V. A. 1 Borovlyov, Victor 1 Bortolussi, Luca 1 Bouras, Abdelaziz 1 Bracho, Felipe 1 Bradfield, Julian Charles 1 Braüner, Torben 1 Bravetti, Mario ...and 176 more Authors all top 5 Cited in 28 Serials 50 Theoretical Computer Science 29 Information and Computation 9 MSCS. Mathematical Structures in Computer Science 8 Journal of Logical and Algebraic Methods in Programming 7 Acta Informatica 5 Logical Methods in Computer Science 4 Formal Aspects of Computing 3 RAIRO. Theoretical Informatics and Applications 2 Information Processing Letters 2 Journal of Computer and System Sciences 2 Programming and Computer Software 1 Reviews in Mathematical Physics 1 Applied Mathematics and Computation 1 Fuzzy Sets and Systems 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Distributed Computing 1 Cybernetics and Systems Analysis 1 Formal Methods in System Design 1 Mathematical Problems in Engineering 1 Soft Computing 1 Higher-Order and Symbolic Computation 1 The Journal of Logic and Algebraic Programming 1 Natural Computing 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic all top 5 Cited in 15 Fields 194 Computer science (68-XX) 24 Mathematical logic and foundations (03-XX) 21 Category theory; homological algebra (18-XX) 4 Probability theory and stochastic processes (60-XX) 3 Information and communication theory, circuits (94-XX) 2 History and biography (01-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) Citations by Year