2009 |
85 | EE | Issam Souilah,
Adrian Francalanza,
Vladimiro Sassone:
A Formal Model of Provenance in Distributed Systems.
Workshop on the Theory and Practice of Provenance 2009 |
2008 |
84 | EE | Roberto Bruni,
Vladimiro Sassone:
Models of Computation: A Tribute to Ugo Montanari's Vision.
Concurrency, Graphs and Models 2008: 503-509 |
83 | EE | Bartek Klin,
Vladimiro Sassone:
Structural Operational Semantics for Stochastic Process Calculi.
FoSSaCS 2008: 428-442 |
82 | EE | Karl Krukow,
Mogens Nielsen,
Vladimiro Sassone:
A logical framework for history-based access control and reputation systems.
Journal of Computer Security 16(1): 63-101 (2008) |
81 | EE | Vladimiro Sassone:
Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005.
Theor. Comput. Sci. 390(2-3): 127-128 (2008) |
2007 |
80 | EE | Julian Rathke,
Vladimiro Sassone,
Pawel Sobocinski:
Semantic Barbs and Biorthogonality.
FoSSaCS 2007: 302-316 |
79 | EE | Mogens Nielsen,
Karl Krukow,
Vladimiro Sassone:
A Bayesian Model for Event-based Trust.
Electr. Notes Theor. Comput. Sci. 172: 499-521 (2007) |
78 | EE | Giovanni Conforti,
Damiano Macedonio,
Vladimiro Sassone:
Static BiLog: a Unifying Language for Spatial Structures.
Fundam. Inform. 80(1-3): 91-110 (2007) |
77 | EE | Franco Barbanera,
Michele Bugliesi,
Mariangiola Dezani-Ciancaglini,
Vladimiro Sassone:
Space-aware ambients and processes.
Theor. Comput. Sci. 373(1-2): 41-69 (2007) |
76 | EE | 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) |
2006 |
75 | | 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
Springer 2006 |
74 | | 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
Springer 2006 |
73 | EE | Vladimiro Sassone,
Karl Krukow,
Mogens Nielsen:
Towards a Formal Framework for Computational Trust.
FMCO 2006: 175-184 |
72 | EE | Mikkel Bundgaard,
Vladimiro Sassone:
Typed polyadic pi-calculus in bigraphs.
PPDP 2006: 1-12 |
71 | EE | Daniele Gorla,
Matthew Hennessy,
Vladimiro Sassone:
Inferring dynamic credentials for rôle-based trust management.
PPDP 2006: 213-224 |
70 | EE | Rohit Chadha,
Damiano Macedonio,
Vladimiro Sassone:
A Hybrid Intuitionistic Logic: Semantics and Decidability.
J. Log. Comput. 16(1): 27-59 (2006) |
69 | EE | Chiara Braghin,
Daniele Gorla,
Vladimiro Sassone:
Role-based access control for a distributed calculus.
Journal of Computer Security 14(2): 113-155 (2006) |
2005 |
68 | | 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
Springer 2005 |
67 | EE | Karl Krukow,
Mogens Nielsen,
Vladimiro Sassone:
A framework for concrete reputation-systems with applications to history-based access control.
ACM Conference on Computer and Communications Security 2005: 260-269 |
66 | EE | Bartek Klin,
Vladimiro Sassone,
Pawel Sobocinski:
Labels from Reductions: Towards a General Theory.
CALCO 2005: 30-50 |
65 | EE | Giovanni Conforti,
Damiano Macedonio,
Vladimiro Sassone:
Spatial Logics for Bigraphs.
ICALP 2005: 766-778 |
64 | EE | Vladimiro Sassone,
Pawel Sobocinski:
Reactive Systems over Cospans.
LICS 2005: 311-320 |
63 | | Giovanni Conforti,
Damiano Macedonio,
Vladimiro Sassone:
Bigraphical Logics for XML.
SEBD 2005: 392-399 |
62 | EE | Daniele Gorla,
Matthew Hennessy,
Vladimiro Sassone:
Security Policies as Membranes in Systems for Global Computing
CoRR abs/cs/0506061: (2005) |
61 | EE | Giuseppe Milicia,
Vladimiro Sassone:
Jeeg: temporal constraints for the synchronization of concurrent objects.
Concurrency - Practice and Experience 17(5-6): 539-572 (2005) |
60 | EE | Vladimiro Sassone,
Pawel Sobocinski:
A Congruence for Petri Nets.
Electr. Notes Theor. Comput. Sci. 127(2): 107-120 (2005) |
59 | EE | Daniele Gorla,
Matthew Hennessy,
Vladimiro Sassone:
Security Policies as Membranes in Systems for Global Computing.
Electr. Notes Theor. Comput. Sci. 138(1): 23-42 (2005) |
58 | EE | Michele Bugliesi,
Silvia Crafa,
Massimo Merro,
Vladimiro Sassone:
Communication and mobility control in boxed ambients.
Inf. Comput. 202(1): 39-86 (2005) |
57 | EE | Daniele Gorla,
Matthew Hennessy,
Vladimiro Sassone:
Security Policies as Membranes in Systems for Global Computing.
Logical Methods in Computer Science 1(3): (2005) |
56 | EE | Vladimiro Sassone,
Pawel Sobocinski:
Locating reaction with 2-categories.
Theor. Comput. Sci. 333(1-2): 297-327 (2005) |
55 | EE | Roberto Bruni,
Ugo Montanari,
Vladimiro Sassone:
Observational congruences for dynamically reconfigurable tile systems.
Theor. Comput. Sci. 335(2-3): 331-372 (2005) |
2004 |
54 | EE | Chiara Braghin,
Daniele Gorla,
Vladimiro Sassone:
A Distributed Calculus for Ro^le-Based Access Control.
CSFW 2004: 48-60 |
53 | EE | Cédric Lhoussaine,
Vladimiro Sassone:
A Dependently Typed Ambient Calculus.
ESOP 2004: 171-187 |
52 | EE | Marco Carbone,
Mogens Nielsen,
Vladimiro Sassone:
A Calculus for Trust Management.
FSTTCS 2004: 161-173 |
51 | EE | Giuseppe Milicia,
Vladimiro Sassone:
The inheritance anomaly: ten years after.
SAC 2004: 1267-1274 |
50 | EE | Vladimiro Sassone:
Introduction to special issue on concurrency and coordination: Selected work from the International Workshop ConCoord.
Mathematical Structures in Computer Science 14(3): 283- (2004) |
49 | EE | Vladimiro Sassone:
Preface.
Theor. Comput. Sci. 322(3): 423-426 (2004) |
2003 |
48 | EE | Franco Barbanera,
Michele Bugliesi,
Mariangiola Dezani-Ciancaglini,
Vladimiro Sassone:
A Calculus of Bounded Capacities.
ASIAN 2003: 205-223 |
47 | EE | Vladimiro Sassone,
Pawel Sobocinski:
Deriving Bisimulation Congruences: 2-Categories Vs Precategories.
FoSSaCS 2003: 409-424 |
46 | EE | Michele Bugliesi,
Silvia Crafa,
Amela Prelic,
Vladimiro Sassone:
Secrecy in Untrusted Networks.
ICALP 2003: 969-983 |
45 | EE | Roberto Bruni,
José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
Algebraic Theories for Contextual Pre-nets.
ICTCS 2003: 256-270 |
44 | EE | Marco Carbone,
Mogens Nielsen,
Vladimiro Sassone:
A Formal Model for Trust in Dynamic Networks.
SEFM 2003: 54- |
43 | EE | Giuseppe Milicia,
Vladimiro Sassone:
Temporal constraints for concurrent object synchronisation.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
42 | EE | Vladimiro Sassone:
Preface.
Electr. Notes Theor. Comput. Sci. 85(1): (2003) |
41 | | Vladimiro Sassone,
Pawel Sobocinski:
Deriving Bisimulation Congruences using 2-categories.
Nord. J. Comput. 10(2): 163- (2003) |
2002 |
40 | EE | Jens Chr. Godskesen,
Thomas T. Hildebrandt,
Vladimiro Sassone:
A Calculus of Mobile Resources.
CONCUR 2002: 272-287 |
39 | EE | Massimo Merro,
Vladimiro Sassone:
Typing and Subtyping Mobility in Boxed Ambients.
CONCUR 2002: 304-320 |
38 | EE | Michele Bugliesi,
Giuseppe Castagna,
Silvia Crafa,
Riccardo Focardi,
Vladimiro Sassone:
A Survey of Name-Passing Calculi and Crypto-Primitives.
FOSAD 2002: 91-138 |
37 | EE | Michele Bugliesi,
Silvia Crafa,
Massimo Merro,
Vladimiro Sassone:
Communication Interference in Mobile Boxed Ambients.
FSTTCS 2002: 71-84 |
36 | EE | Giuseppe Milicia,
Vladimiro Sassone:
Jeeg: a programming language for concurrent objects synchronization.
Java Grande 2002: 212-221 |
35 | EE | Vladimiro Sassone:
Preface - F-WAN: Foundations of Wide Area Network Computing.
Electr. Notes Theor. Comput. Sci. 66(3): (2002) |
34 | EE | Vladimiro Sassone,
Pawel Sobocinski:
Deriving Bisimulation Congruences: A 2-categorical Approach.
Electr. Notes Theor. Comput. Sci. 68(2): (2002) |
2001 |
33 | EE | Mogens Nielsen,
Vladimiro Sassone,
Jirí Srba:
Properties of Distributed Timed-Arc Petri Nets.
FSTTCS 2001: 280-291 |
32 | EE | Maria Grazia Buscemi,
Vladimiro Sassone:
High-Level Petri Nets as Type Theories in the Join Calculus.
FoSSaCS 2001: 104-120 |
31 | EE | Mogens Nielsen,
Vladimiro Sassone,
Jirí Srba:
Towards a Notion of Distributed Time for Petri Nets.
ICATPN 2001: 23-31 |
30 | EE | Roberto Bruni,
Vladimiro Sassone:
Two Algebraic Process Semantics for Contextual Nets.
Unifying Petri Nets 2001: 427-456 |
29 | EE | Ugo Montanari,
Vladimiro Sassone:
Preface.
Electr. Notes Theor. Comput. Sci. 54: (2001) |
28 | EE | Franco Barbanera,
Mariangiola Dezani-Ciancaglini,
Ivano Salvo,
Vladimiro Sassone:
A Type Inference Algorithm for Secure Ambients.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
27 | EE | Roberto Bruni,
José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
Functorial Models for Petri Nets.
Inf. Comput. 170(2): 207-236 (2001) |
2000 |
26 | EE | Roberto Bruni,
Vladimiro Sassone:
Algebraic Models for Contextual Nets.
ICALP 2000: 175-186 |
25 | EE | Roberto Bruni,
Ugo Montanari,
Vladimiro Sassone:
Open Ended Systems, Dynamic Bisimulation and Tile Logic.
IFIP TCS 2000: 440-456 |
24 | | Vladimiro Sassone:
On the Algebraic Structure of Petri Nets.
Bulletin of the EATCS 72: 133-148 (2000) |
1999 |
23 | EE | Roberto Bruni,
José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
Functorial semantics for Petri nets under the individual token philosophy.
Electr. Notes Theor. Comput. Sci. 29: (1999) |
1998 |
22 | EE | Roberto Bruni,
José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
A Comparison of Petri Net Semantics under the Collective Token Philosophy.
ASIAN 1998: 225-244 |
21 | | Vladimiro Sassone:
An Axiomatization of the Category of Petri Net Computations.
Mathematical Structures in Computer Science 8(2): 117-151 (1998) |
1997 |
20 | EE | José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
Representation Theorems for Petri Nets.
Foundations of Computer Science: Potential - Theory - Cognition 1997: 239-249 |
19 | | José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
On the Semantics of Place/Transition Petri Nets.
Mathematical Structures in Computer Science 7(4): 359-397 (1997) |
1996 |
18 | | Ugo Montanari,
Vladimiro Sassone:
CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings
Springer 1996 |
17 | | Thomas T. Hildebrandt,
Vladimiro Sassone:
Comparing Transition Systems with Independence and Asynchronous Transition Systems.
CONCUR 1996: 84-97 |
16 | | Gian Luca Cattani,
Vladimiro Sassone:
Higher Dimensional Transition Systems.
LICS 1996: 55-62 |
15 | | Mogens Nielsen,
Vladimiro Sassone:
Petri Nets and Other Models of Concurrency.
Petri Nets 1996: 587-642 |
14 | EE | José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
Process versus Unfolding Semantics for Place/Transition Petri Nets.
Theor. Comput. Sci. 153(1&2): 171-210 (1996) |
13 | EE | Vladimiro Sassone:
An Axiomatization of the Algebra of Petri Net Concatenable Processes.
Theor. Comput. Sci. 170(1-2): 277-296 (1996) |
12 | EE | Vladimiro Sassone,
Mogens Nielsen,
Glynn Winskel:
Models for Concurrency: Towards a Classification.
Theor. Comput. Sci. 170(1-2): 297-348 (1996) |
1995 |
11 | | Mogens Nielsen,
Lutz Priese,
Vladimiro Sassone:
Characterizing Behavioural Congruences for Petri Nets.
CONCUR 1995: 175-189 |
10 | | Vladimiro Sassone:
Axiomatizing Petri Net Concatenable Processes.
FCT 1995: 414-423 |
9 | | Vladimiro Sassone:
On the Category of Petri Net Computations.
TAPSOFT 1995: 334-348 |
1994 |
8 | | 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 |
7 | | Vladimiro Sassone,
Mogens Nielsen,
Glynn Winskel:
A Classification of Models for Concurrency.
CONCUR 1993: 82-96 |
6 | | Vladimiro Sassone:
A Note on Logic Programming Fixed-Point Semantics.
GULP 1993: 649-662 |
5 | | Vladimiro Sassone,
Mogens Nielsen,
Glynn Winskel:
Deterministic Behavioural Models for Concurrency.
MFCS 1993: 682-692 |
4 | | Mogens Nielsen,
Vladimiro Sassone,
Glynn Winskel:
Relationships Between Models of Concurrency.
REX School/Symposium 1993: 425-476 |
1992 |
3 | | José Meseguer,
Ugo Montanari,
Vladimiro Sassone:
On the Semantics of Petri Nets.
CONCUR 1992: 286-301 |
2 | | Ugo Montanari,
Vladimiro Sassone:
Dynamic congruence vs. progressing bisimulation for CCS.
Fundam. Inform. 16(1): 171-199 (1992) |
1991 |
1 | | Ugo Montanari,
Vladimiro Sassone:
CCS Dynamic Bisimulation is Progressing.
MFCS 1991: 346-356 |