Vladimiro Sassone
Title
Cited by
Cited by
Year
A formal model for trust in dynamic networks
M Carbone, M Nielsen, V Sassone
First International Conference onSoftware Engineering and Formal Methods …, 2003
3032003
From evidence‐based practice to practice‐based evidence: the idea of situated generalisation
H Simons, S Kushner, K Jones, D James
Research Papers in Education 18 (4), 347-364, 2003
1812003
Models for concurrency: Towards a classification
V Sassone, M Nielsen, G Winskel
Theoretical Computer Science 170 (1-2), 297-348, 1996
1541996
The language of belonging
UH Meinhof, D Galasiński
The Language of Belonging, 13-49, 2005
1532005
Blockchain-based database to ensure data integrity in cloud computing environments
E Gaetani, L Aniello, R Baldoni, F Lombardi, A Margheri, V Sassone
1462017
Relationships between models of concurrency
M Nielsen, V Sassone, G Winskel
Workshop/School/Symposium of the REX Project (Research and Education in …, 1993
1411993
Pbft vs proof-of-authority: applying the cap theorem to permissioned blockchain
S De Angelis, L Aniello, R Baldoni, F Lombardi, A Margheri, V Sassone
1272018
Intragroup social influence and intergroup competition.
T Wildschut, CA Insko, L Gaertner
Journal of Personality and Social Psychology 82 (6), 975, 2002
1252002
Reactive systems over cospans
V Sassone, P Sobocinski
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 311-320, 2005
1032005
Dynamic congruence vs. progressing bisimulation for CCS
U Montanari, V Sassone
Fundamenta informaticae 16 (2), 171-199, 1992
901992
A bayesian model for event-based trust
M Nielsen, K Krukow, V Sassone
Elsevier, 2007
892007
Higher dimensional transition systems
GL Cattani, V Sassone
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 55-62, 1996
871996
A classification of models for concurrency
V Sassone, M Nielsen, G Winskel
International Conference on Concurrency Theory, 82-96, 1993
751993
Process versus unfolding semantics for place/transition Petri nets
J Meseguer, U Montanari, V Sassone
Theoretical Computer Science 153 (1-2), 171-210, 1996
721996
On the sensitivity of urban hydrodynamic modelling to rainfall spatial and temporal resolution
G Bruni, R Reinoso, NC Van De Giesen, F Clemens, JAE Ten Veldhuis
Hydrology and Earth System Sciences 19 (2), 691, 2015
712015
Godskesen, Thomas Hildebrandt, and Vladimiro Sassone. A calculus of mobile resources
J Chr
Proceedings of the 13th International Conference on Concurrency Theory, 272-287, 2002
71*2002
Communication interference in mobile boxed ambients
M Bugliesi, S Crafa, M Merro, V Sassone
International Conference on Foundations of Software Technology and …, 2002
702002
On the semantics of place/transition Petri nets
J Meseguer, U Montanari, V Sassone
Mathematical Structures in Computer Science 7, 359-397, 1997
681997
Spatial logics for bigraphs
G Conforti, D Macedonio, V Sassone
International Colloquium on Automata, Languages, and Programming, 766-778, 2005
65*2005
Deriving bisimulation congruences using 2-categories
V Sassone, P Sobocinski
Nordic Journal of Computing 10, 163-183, 2003
652003
The system can't perform the operation now. Try again later.
Articles 1–20