dblp.uni-trier.dewww.uni-trier.de

Vladimiro Sassone Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
87EEIssam Souilah, Adrian Francalanza, Vladimiro Sassone: A Formal Model of Provenance in Distributed Systems. Workshop on the Theory and Practice of Provenance 2009
86EEEhab 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)
2008
85 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
84EERoberto Bruni, Vladimiro Sassone: Models of Computation: A Tribute to Ugo Montanari's Vision. Concurrency, Graphs and Models 2008: 503-509
83EEBartek Klin, Vladimiro Sassone: Structural Operational Semantics for Stochastic Process Calculi. FoSSaCS 2008: 428-442
82EEKarl 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)
81EEVladimiro Sassone: Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005. Theor. Comput. Sci. 390(2-3): 127-128 (2008)
2007
80EEJulian Rathke, Vladimiro Sassone, Pawel Sobocinski: Semantic Barbs and Biorthogonality. FoSSaCS 2007: 302-316
79EEMogens Nielsen, Karl Krukow, Vladimiro Sassone: A Bayesian Model for Event-based Trust. Electr. Notes Theor. Comput. Sci. 172: 499-521 (2007)
78EEGiovanni Conforti, Damiano Macedonio, Vladimiro Sassone: Static BiLog: a Unifying Language for Spatial Structures. Fundam. Inform. 80(1-3): 91-110 (2007)
77EEFranco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone: Space-aware ambients and processes. Theor. Comput. Sci. 373(1-2): 41-69 (2007)
76EEDonald 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
73EEVladimiro Sassone, Karl Krukow, Mogens Nielsen: Towards a Formal Framework for Computational Trust. FMCO 2006: 175-184
72EEMikkel Bundgaard, Vladimiro Sassone: Typed polyadic pi-calculus in bigraphs. PPDP 2006: 1-12
71EEDaniele Gorla, Matthew Hennessy, Vladimiro Sassone: Inferring dynamic credentials for rôle-based trust management. PPDP 2006: 213-224
70EERohit Chadha, Damiano Macedonio, Vladimiro Sassone: A Hybrid Intuitionistic Logic: Semantics and Decidability. J. Log. Comput. 16(1): 27-59 (2006)
69EEChiara 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
67EEKarl 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
66EEBartek Klin, Vladimiro Sassone, Pawel Sobocinski: Labels from Reductions: Towards a General Theory. CALCO 2005: 30-50
65EEGiovanni Conforti, Damiano Macedonio, Vladimiro Sassone: Spatial Logics for Bigraphs. ICALP 2005: 766-778
64EEVladimiro 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
62EEDaniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing CoRR abs/cs/0506061: (2005)
61EEGiuseppe Milicia, Vladimiro Sassone: Jeeg: temporal constraints for the synchronization of concurrent objects. Concurrency - Practice and Experience 17(5-6): 539-572 (2005)
60EEVladimiro Sassone, Pawel Sobocinski: A Congruence for Petri Nets. Electr. Notes Theor. Comput. Sci. 127(2): 107-120 (2005)
59EEDaniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing. Electr. Notes Theor. Comput. Sci. 138(1): 23-42 (2005)
58EEMichele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone: Communication and mobility control in boxed ambients. Inf. Comput. 202(1): 39-86 (2005)
57EEDaniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science 1(3): (2005)
56EEVladimiro Sassone, Pawel Sobocinski: Locating reaction with 2-categories. Theor. Comput. Sci. 333(1-2): 297-327 (2005)
55EERoberto Bruni, Ugo Montanari, Vladimiro Sassone: Observational congruences for dynamically reconfigurable tile systems. Theor. Comput. Sci. 335(2-3): 331-372 (2005)
2004
54EEChiara Braghin, Daniele Gorla, Vladimiro Sassone: A Distributed Calculus for Ro^le-Based Access Control. CSFW 2004: 48-60
53EECédric Lhoussaine, Vladimiro Sassone: A Dependently Typed Ambient Calculus. ESOP 2004: 171-187
52EEMarco Carbone, Mogens Nielsen, Vladimiro Sassone: A Calculus for Trust Management. FSTTCS 2004: 161-173
51EEGiuseppe Milicia, Vladimiro Sassone: The inheritance anomaly: ten years after. SAC 2004: 1267-1274
50EEVladimiro 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)
49EEVladimiro Sassone: Preface. Theor. Comput. Sci. 322(3): 423-426 (2004)
2003
48EEFranco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone: A Calculus of Bounded Capacities. ASIAN 2003: 205-223
47EEVladimiro Sassone, Pawel Sobocinski: Deriving Bisimulation Congruences: 2-Categories Vs Precategories. FoSSaCS 2003: 409-424
46EEMichele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone: Secrecy in Untrusted Networks. ICALP 2003: 969-983
45EERoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Algebraic Theories for Contextual Pre-nets. ICTCS 2003: 256-270
44EEMarco Carbone, Mogens Nielsen, Vladimiro Sassone: A Formal Model for Trust in Dynamic Networks. SEFM 2003: 54-
43EEGiuseppe Milicia, Vladimiro Sassone: Temporal constraints for concurrent object synchronisation. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
42EEVladimiro 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
40EEJens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone: A Calculus of Mobile Resources. CONCUR 2002: 272-287
39EEMassimo Merro, Vladimiro Sassone: Typing and Subtyping Mobility in Boxed Ambients. CONCUR 2002: 304-320
38EEMichele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone: A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD 2002: 91-138
37EEMichele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone: Communication Interference in Mobile Boxed Ambients. FSTTCS 2002: 71-84
36EEGiuseppe Milicia, Vladimiro Sassone: Jeeg: a programming language for concurrent objects synchronization. Java Grande 2002: 212-221
35EEVladimiro Sassone: Preface - F-WAN: Foundations of Wide Area Network Computing. Electr. Notes Theor. Comput. Sci. 66(3): (2002)
34EEVladimiro Sassone, Pawel Sobocinski: Deriving Bisimulation Congruences: A 2-categorical Approach. Electr. Notes Theor. Comput. Sci. 68(2): (2002)
2001
33EEMogens Nielsen, Vladimiro Sassone, Jirí Srba: Properties of Distributed Timed-Arc Petri Nets. FSTTCS 2001: 280-291
32EEMaria Grazia Buscemi, Vladimiro Sassone: High-Level Petri Nets as Type Theories in the Join Calculus. FoSSaCS 2001: 104-120
31EEMogens Nielsen, Vladimiro Sassone, Jirí Srba: Towards a Notion of Distributed Time for Petri Nets. ICATPN 2001: 23-31
30EERoberto Bruni, Vladimiro Sassone: Two Algebraic Process Semantics for Contextual Nets. Unifying Petri Nets 2001: 427-456
29EEUgo Montanari, Vladimiro Sassone: Preface. Electr. Notes Theor. Comput. Sci. 54: (2001)
28EEFranco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone: A Type Inference Algorithm for Secure Ambients. Electr. Notes Theor. Comput. Sci. 62: (2001)
27EERoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Functorial Models for Petri Nets. Inf. Comput. 170(2): 207-236 (2001)
2000
26EERoberto Bruni, Vladimiro Sassone: Algebraic Models for Contextual Nets. ICALP 2000: 175-186
25EERoberto 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
23EERoberto 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
22EERoberto 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
20EEJosé 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
17EEThomas 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
14EEJosé Meseguer, Ugo Montanari, Vladimiro Sassone: Process versus Unfolding Semantics for Place/Transition Petri Nets. Theor. Comput. Sci. 153(1&2): 171-210 (1996)
13EEVladimiro Sassone: An Axiomatization of the Algebra of Petri Net Concatenable Processes. Theor. Comput. Sci. 170(1-2): 277-296 (1996)
12EEVladimiro Sassone, Mogens Nielsen, Glynn Winskel: Models for Concurrency: Towards a Classification. Theor. Comput. Sci. 170(1-2): 297-348 (1996)
1995
11EEMogens 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
9EEVladimiro Sassone: On the Category of Petri Net Computations. TAPSOFT 1995: 334-348
1994
8EEJosé 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
7EEVladimiro 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
5EEVladimiro Sassone, Mogens Nielsen, Glynn Winskel: Deterministic Behavioural Models for Concurrency. MFCS 1993: 682-692
4EEMogens Nielsen, Vladimiro Sassone, Glynn Winskel: Relationships Between Models of Concurrency. REX School/Symposium 1993: 425-476
1992
3EEJosé 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
1EEUgo Montanari, Vladimiro Sassone: CCS Dynamic Bisimulation is Progressing. MFCS 1991: 346-356

Coauthor Index

1Samson Abramsky [85]
2Franco Barbanera [28] [48] [77]
3Chiara Braghin [54] [69]
4Roberto Bruni [22] [23] [25] [26] [27] [30] [45] [55] [84]
5Michele Bugliesi [37] [38] [46] [48] [58] [74] [75] [77]
6Mikkel Bundgaard [72]
7Maria Grazia Buscemi [32]
8Marco Carbone [44] [52]
9Giuseppe Castagna [38]
10Gian Luca Cattani [16]
11Rohit Chadha [70]
12Giovanni Conforti [63] [65] [78]
13Silvia Crafa [37] [38] [46] [58]
14Mariangiola Dezani-Ciancaglini [28] [48] [77]
15Ehab ElSalamouny [86]
16Riccardo Focardi [38]
17Adrian Francalanza [87]
18Erol Gelenbe [85]
19Jens Chr. Godskesen [40]
20Daniele Gorla [54] [57] [59] [62] [69] [71]
21Matthew Hennessy [57] [59] [62] [71]
22Thomas T. Hildebrandt [17] [40]
23Bartek Klin [66] [83]
24Karl Krukow (Karl Tikjøb Krukow) [67] [73] [79] [82] [86]
25Cédric Lhoussaine [53]
26Damiano Macedonio [63] [65] [70] [78]
27Massimo Merro [37] [39] [58]
28José Meseguer [3] [8] [14] [19] [20] [22] [23] [27] [45]
29Giuseppe Milicia [36] [43] [51] [61]
30Ugo Montanari [1] [2] [3] [8] [14] [18] [19] [20] [22] [23] [25] [27] [29] [45] [55]
31Mogens Nielsen [4] [5] [7] [11] [12] [15] [31] [33] [44] [52] [67] [73] [79] [82]
32Amela Prelic [46]
33Bart Preneel [74] [75]
34Lutz Priese [11]
35Julian Rathke [80]
36Ivano Salvo [28]
37Donald Sannella [76]
38Pawel Sobocinski [34] [41] [47] [56] [60] [64] [66] [80]
39Issam Souilah [87]
40Jirí Srba [31] [33]
41Ingo Wegener [74] [75]
42Glynn Winskel [4] [5] [7] [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)