×

zbMATH — the first resource for mathematics

Sassone, Vladimiro

Compute Distance To:
Author ID: sassone.vladimiro Recent zbMATH articles by "Sassone, Vladimiro"
Published as: Sassone, V.; Sassone, Vladimiro
External Links: ORCID
Documents Indexed: 76 Publications since 1991, including 12 Books

Publications by Year

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.68120
Sassone, Vladimiro; Nielsen, Mogens; Winskel, Glynn
31
1996
On the semantics of place/transition Petri nets. Zbl 0876.68072
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
21
1997
Dynamic congruence VS. Progressing bisimulation for CCS. Zbl 0762.68044
Montanari, Ugo; Sassone, Vladimiro
20
1992
Structural operational semantics for stochastic process calculi. Zbl 1138.68468
Klin, Bartek; Sassone, Vladimiro
14
2008
Deriving bisimulation congruences using 2-categories. Zbl 1062.68082
Sassone, Vladimiro; Sobociński, Paweł
12
2003
Spatial logics for bigraphs. Zbl 1084.68081
Conforti, Giovanni; Macedonio, Damiano; Sassone, Vladimiro
10
2005
Typing and subtyping mobility in boxed ambients. Zbl 1012.68529
Merro, Massimo; Sassone, Vladimiro
10
2002
Process versus unfolding semantics for Place/Transition Petri nets. Zbl 0872.68130
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
10
1996
Communication and mobility control in boxed ambients. Zbl 1101.68943
Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
9
2005
Functorial models for Petri nets. Zbl 1005.68102
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
9
2001
Semantic barbs and biorthogonality. Zbl 1195.68073
Rathke, Julian; Sassone, Vladimiro; Sobociński, Paweł
8
2007
Communication interference in mobile boxed ambients. Zbl 1027.68086
Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
8
2002
A calculus of mobile resources. Zbl 1012.68519
Godskesen, Jens Chr.; Hildebrandt, Thomas; Sassone, Vladimiro
8
2002
Structural operational semantics for stochastic and weighted transition systems. Zbl 1358.68214
Klin, Bartek; Sassone, Vladimiro
7
2013
Labels from reductions: Towards a general theory. Zbl 1151.68536
Klin, Bartek; Sassone, Vladimiro; Sobociński, Paweł
7
2005
Locating reaction with 2-categories. Zbl 1070.68107
Sassone, Vladimiro; Sobociński, Paweł
7
2005
Representation theorems for Petri nets. Zbl 0885.68115
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
7
1997
An axiomatization of the algebra of Petri net concatenable processes. Zbl 0874.68224
Sassone, Vladimiro
7
1996
A congruence for Petri nets. Zbl 1272.68320
Sassone, Vladimiro; Sobociński, Paweł
6
2005
A Bayesian model for event-based trust. Zbl 1277.68038
Nielsen, Mogens; Krukow, Karl; Sassone, Vladimiro
5
2007
Security policies as membranes in systems for global computing. Zbl 1272.68062
Gorla, Daniele; Hennessy, Matthew; Sassone, Vladimiro
5
2005
Deriving bisimulation congruences: a 2-categorical approach. Zbl 1270.68224
Sassone, Vladimiro; Sobociński, Pawel
5
2002
Open ended systems, dynamic bisimulation and tile logic. Zbl 0998.68087
Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro
5
2000
Functorial semantics for Petri nets under the individual token philosophy. Zbl 0966.68108
Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V.
5
1999
A comparison of Petri net semantics under the collective token philosophy. Zbl 0932.68062
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
5
1998
Tracing where and who provenance in linked data: a calculus. Zbl 1253.68043
Dezani-Ciancaglini, Mariangiola; Horne, Ross; Sassone, Vladimiro
4
2012
A dependently typed ambient calculus. Zbl 1126.68504
Lhoussaine, Cédric; Sassone, Vladimiro
4
2004
A calculus for trust management. Zbl 1117.68446
Carbone, Marco; Nielsen, Mogens; Sassone, Vladimiro
4
2004
A calculus of bounded capacities. Zbl 1215.68036
Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro
4
2003
A type inference algorithm for secure ambients. Zbl 1268.68120
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro
4
2002
An axiomatization of the category of Petri net computations. Zbl 0916.68105
Sassone, Vladimiro
4
1998
Descriptive types for linked data resources. Zbl 1434.68080
Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro
3
2015
Minimal type inference for linked data consumers. Zbl 1329.68085
Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro
3
2015
Towards a formal framework for computational trust. (Extended abstract). Zbl 1147.68778
Sassone, Vladimiro; Krukow, Karl; Nielsen, Mogens
3
2007
A hybrid intuitionistic logic: semantics and decidability. Zbl 1107.03015
Chadha, Rohit; Macedonio, Damiano; Sassone, Vladimiro
3
2006
High-level Petri nets as type theories in the join calculus. Zbl 0978.68104
Buscemi, Maria Grazia; Sassone, Vladimiro
3
2001
Algebraic models for contextual nets. Zbl 0973.68161
Bruni, Roberto; Sassone, Vladimiro
3
2000
CCS dynamic bisimulation is progressing. Zbl 0776.68082
Montanari, Ugo; Sassone, Vladimiro
3
1991
An analysis of the exponential decay principle in probabilistic trust models. Zbl 1172.93395
ElSalamouny, Ehab; Krukow, Karl Tikjøb; Sassone, Vladimiro
2
2009
Trust models in ubiquitous computing. Zbl 1153.68332
Krukow, Karl; Nielsen, Mogens; Sassone, Vladimiro
2
2008
Space-aware ambients and processes. Zbl 1111.68011
Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro
2
2007
Security policies as membranes in systems for global computing. Zbl 1125.68390
Gorla, Daniele; Hennessy, Matthew; Sassone, Vladimiro
2
2005
Deriving bisimulation congruences: 2-categories vs precategories. Zbl 1029.68111
Sassone, Vladimiro; Sobociński, Paweł
2
2003
Properties of distributed timed-arc Petri nets. Zbl 1052.68639
Nielsen, Mogens; Sassone, Vladimiro; Srba, Jirí
2
2001
Quantifying leakage in the presence of unreliable sources of information. Zbl 1371.68073
Hamadou, 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.68002
Bruni, Roberto (ed.); Sassone, Vladimiro (ed.)
1
2012
Trust in anonymity networks. Zbl 1287.68016
Sassone, Vladimiro; Hamadou, Sardaouna; Yang, Mu
1
2010
Static BiLog; a unifying language for spatial structures. Zbl 1137.03314
Conforti, 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.68526
Sassone, V. (ed.)
1
2004
Secrecy in untrusted networks. Zbl 1039.68516
Bugliesi, Michele; Crafa, Silvia; Prelic, Amela; Sassone, Vladimiro
1
2003
Two algebraic process semantics for contextual nets. Zbl 1017.68075
Bruni, Roberto; Sassone, Vladimiro
1
2001
Petri nets and other models of concurrency. Zbl 0926.68089
Nielsen, Mogens; Sassone, Vladimiro
1
1998
Quantifying leakage in the presence of unreliable sources of information. Zbl 1371.68073
Hamadou, Sardaouna; Palamidessi, Catuscia; Sassone, Vladimiro
1
2017
Descriptive types for linked data resources. Zbl 1434.68080
Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro
3
2015
Minimal type inference for linked data consumers. Zbl 1329.68085
Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro
3
2015
Structural operational semantics for stochastic and weighted transition systems. Zbl 1358.68214
Klin, Bartek; Sassone, Vladimiro
7
2013
Tracing where and who provenance in linked data: a calculus. Zbl 1253.68043
Dezani-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.68002
Bruni, Roberto (ed.); Sassone, Vladimiro (ed.)
1
2012
Trust in anonymity networks. Zbl 1287.68016
Sassone, Vladimiro; Hamadou, Sardaouna; Yang, Mu
1
2010
An analysis of the exponential decay principle in probabilistic trust models. Zbl 1172.93395
ElSalamouny, Ehab; Krukow, Karl Tikjøb; Sassone, Vladimiro
2
2009
Structural operational semantics for stochastic process calculi. Zbl 1138.68468
Klin, Bartek; Sassone, Vladimiro
14
2008
Trust models in ubiquitous computing. Zbl 1153.68332
Krukow, Karl; Nielsen, Mogens; Sassone, Vladimiro
2
2008
Semantic barbs and biorthogonality. Zbl 1195.68073
Rathke, Julian; Sassone, Vladimiro; Sobociński, Paweł
8
2007
A Bayesian model for event-based trust. Zbl 1277.68038
Nielsen, Mogens; Krukow, Karl; Sassone, Vladimiro
5
2007
Towards a formal framework for computational trust. (Extended abstract). Zbl 1147.68778
Sassone, Vladimiro; Krukow, Karl; Nielsen, Mogens
3
2007
Space-aware ambients and processes. Zbl 1111.68011
Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro
2
2007
Static BiLog; a unifying language for spatial structures. Zbl 1137.03314
Conforti, Giovanni; Macedonio, Damiano; Sassone, Vladimiro
1
2007
A hybrid intuitionistic logic: semantics and decidability. Zbl 1107.03015
Chadha, Rohit; Macedonio, Damiano; Sassone, Vladimiro
3
2006
Spatial logics for bigraphs. Zbl 1084.68081
Conforti, Giovanni; Macedonio, Damiano; Sassone, Vladimiro
10
2005
Communication and mobility control in boxed ambients. Zbl 1101.68943
Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
9
2005
Labels from reductions: Towards a general theory. Zbl 1151.68536
Klin, Bartek; Sassone, Vladimiro; Sobociński, Paweł
7
2005
Locating reaction with 2-categories. Zbl 1070.68107
Sassone, Vladimiro; Sobociński, Paweł
7
2005
A congruence for Petri nets. Zbl 1272.68320
Sassone, Vladimiro; Sobociński, Paweł
6
2005
Security policies as membranes in systems for global computing. Zbl 1272.68062
Gorla, Daniele; Hennessy, Matthew; Sassone, Vladimiro
5
2005
Security policies as membranes in systems for global computing. Zbl 1125.68390
Gorla, Daniele; Hennessy, Matthew; Sassone, Vladimiro
2
2005
A dependently typed ambient calculus. Zbl 1126.68504
Lhoussaine, Cédric; Sassone, Vladimiro
4
2004
A calculus for trust management. Zbl 1117.68446
Carbone, 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.68526
Sassone, V. (ed.)
1
2004
Deriving bisimulation congruences using 2-categories. Zbl 1062.68082
Sassone, Vladimiro; Sobociński, Paweł
12
2003
A calculus of bounded capacities. Zbl 1215.68036
Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro
4
2003
Deriving bisimulation congruences: 2-categories vs precategories. Zbl 1029.68111
Sassone, Vladimiro; Sobociński, Paweł
2
2003
Secrecy in untrusted networks. Zbl 1039.68516
Bugliesi, Michele; Crafa, Silvia; Prelic, Amela; Sassone, Vladimiro
1
2003
Typing and subtyping mobility in boxed ambients. Zbl 1012.68529
Merro, Massimo; Sassone, Vladimiro
10
2002
Communication interference in mobile boxed ambients. Zbl 1027.68086
Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
8
2002
A calculus of mobile resources. Zbl 1012.68519
Godskesen, Jens Chr.; Hildebrandt, Thomas; Sassone, Vladimiro
8
2002
Deriving bisimulation congruences: a 2-categorical approach. Zbl 1270.68224
Sassone, Vladimiro; Sobociński, Pawel
5
2002
A type inference algorithm for secure ambients. Zbl 1268.68120
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro
4
2002
Functorial models for Petri nets. Zbl 1005.68102
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
9
2001
High-level Petri nets as type theories in the join calculus. Zbl 0978.68104
Buscemi, Maria Grazia; Sassone, Vladimiro
3
2001
Properties of distributed timed-arc Petri nets. Zbl 1052.68639
Nielsen, Mogens; Sassone, Vladimiro; Srba, Jirí
2
2001
Two algebraic process semantics for contextual nets. Zbl 1017.68075
Bruni, Roberto; Sassone, Vladimiro
1
2001
Open ended systems, dynamic bisimulation and tile logic. Zbl 0998.68087
Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro
5
2000
Algebraic models for contextual nets. Zbl 0973.68161
Bruni, Roberto; Sassone, Vladimiro
3
2000
Functorial semantics for Petri nets under the individual token philosophy. Zbl 0966.68108
Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V.
5
1999
A comparison of Petri net semantics under the collective token philosophy. Zbl 0932.68062
Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
5
1998
An axiomatization of the category of Petri net computations. Zbl 0916.68105
Sassone, Vladimiro
4
1998
Petri nets and other models of concurrency. Zbl 0926.68089
Nielsen, Mogens; Sassone, Vladimiro
1
1998
On the semantics of place/transition Petri nets. Zbl 0876.68072
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
21
1997
Representation theorems for Petri nets. Zbl 0885.68115
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
7
1997
Models for concurrency: Towards a classification. Zbl 0874.68120
Sassone, Vladimiro; Nielsen, Mogens; Winskel, Glynn
31
1996
Process versus unfolding semantics for Place/Transition Petri nets. Zbl 0872.68130
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro
10
1996
An axiomatization of the algebra of Petri net concatenable processes. Zbl 0874.68224
Sassone, Vladimiro
7
1996
Dynamic congruence VS. Progressing bisimulation for CCS. Zbl 0762.68044
Montanari, Ugo; Sassone, Vladimiro
20
1992
CCS dynamic bisimulation is progressing. Zbl 0776.68082
Montanari, Ugo; Sassone, Vladimiro
3
1991
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

Citations by Year