| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mu Yang, Vladimiro Sassone, Sardaouna Hamadou |
A Game-Theoretic Analysis of Cooperation in Anonymity Networks.  |
POST  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Horne, Vladimiro Sassone |
A Verified Algebra for Linked Data |
FOCLASA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Francalanza, Julian Rathke, Vladimiro Sassone |
Permission-Based Separation Logic for Message-Passing Concurrency |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mu Yang, Vladimiro Sassone |
Minimising Anonymity Loss in Anonymity Networks under DoS Attacks. |
ICICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Sardaouna Hamadou, Mu Yang |
Trust in Anonymity Networks. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi |
Reconciling Belief and Vulnerability in Information Flow. |
IEEE Symposium on Security and Privacy |
2010 |
DBLP DOI BibTeX RDF |
quantitative and probabilistic models, Security, uncertainty, information flow, accuracy, information hiding, vulnerability, belief, data confidentiality |
| 1 | Cristian S. Calude, Vladimiro Sassone (eds.) |
Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou |
Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehab ElSalamouny, Karl Tikjøb Krukow, Vladimiro Sassone |
An analysis of the exponential decay principle in probabilistic trust models. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielsen |
HMM-Based Trust Model. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny |
Probable Innocence in the Presence of Independent Knowledge. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Issam Souilah, Adrian Francalanza, Vladimiro Sassone |
A Formal Model of Provenance in Distributed Systems. |
Workshop on the Theory and Practice of Provenance |
2009 |
DBLP BibTeX RDF |
|
| 1 | Karl Krukow, Mogens Nielsen, Vladimiro Sassone |
A logical framework for history-based access control and reputation systems. |
Journal of Computer Security |
2008 |
DBLP BibTeX RDF |
|
| 1 | Vladimiro Sassone |
Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Erol Gelenbe, Samson Abramsky, Vladimiro Sassone (eds.) |
Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008 |
BCS Int. Acad. Conf. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bruni, Vladimiro Sassone |
Models of Computation: A Tribute to Ugo Montanari's Vision. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartek Klin, Vladimiro Sassone |
Structural Operational Semantics for Stochastic Process Calculi. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald Sannella, Vladimiro Sassone |
Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005). |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone |
Space-aware ambients and processes. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Karl Krukow, Vladimiro Sassone |
A Bayesian Model for Event-based Trust. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone |
Static BiLog: a Unifying Language for Spatial Structures. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Julian Rathke, Vladimiro Sassone, Pawel Sobocinski |
Semantic Barbs and Biorthogonality. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Braghin, Daniele Gorla, Vladimiro Sassone |
Role-based access control for a distributed calculus. |
Journal of Computer Security |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rohit Chadha, Damiano Macedonio, Vladimiro Sassone |
A Hybrid Intuitionistic Logic: Semantics and Decidability. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener (eds.) |
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II |
ICALP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener (eds.) |
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I |
ICALP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Vladimiro Sassone, Karl Krukow, Mogens Nielsen |
Towards a Formal Framework for Computational Trust. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Gorla, Matthew Hennessy, Vladimiro Sassone |
Inferring dynamic credentials for rôle-based trust management. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
logic programming with negation, rôle-based access control, trust-management, inference systems |
| 1 | Mikkel Bundgaard, Vladimiro Sassone |
Typed polyadic pi-calculus in bigraphs. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
Bigraphs, bisimulation congruences, foundation of computation, foundations of distributed and mobile systems, relative pushouts, subsorting, typed polyadic ?-calculus, sortings, semantics of concurrency |
| 1 | Giuseppe Milicia, Vladimiro Sassone |
Jeeg: temporal constraints for the synchronization of concurrent objects. |
Concurrency - Practice and Experience |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Ugo Montanari, Vladimiro Sassone |
Observational congruences for dynamically reconfigurable tile systems. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Pawel Sobocinski |
Locating reaction with 2-categories. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone |
Communication and mobility control in boxed ambients. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Gorla, Matthew Hennessy, Vladimiro Sassone |
Security Policies as Membranes in Systems for Global Computing. |
Logical Methods in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Pawel Sobocinski |
A Congruence for Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Gorla, Matthew Hennessy, Vladimiro Sassone |
Security Policies as Membranes in Systems for Global Computing. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Gorla, Matthew Hennessy, Vladimiro Sassone |
Security Policies as Membranes in Systems for Global Computing |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone |
Spatial Logics for Bigraphs. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone |
Bigraphical Logics for XML. |
SEBD |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vladimiro Sassone, Pawel Sobocinski |
Reactive Systems over Cospans. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartek Klin, Vladimiro Sassone, Pawel Sobocinski |
Labels from Reductions: Towards a General Theory. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone (eds.) |
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 |
FoSSaCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
history-based access control, model checking, temporal logic, reputation, trust management |
| 1 | Vladimiro Sassone |
Preface. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone |
Introduction to special issue on concurrency and coordination: Selected work from the International Workshop ConCoord. |
Mathematical Structures in Computer Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Milicia, Vladimiro Sassone |
The inheritance anomaly: ten years after. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
concurrent programming, inheritance anomaly |
| 1 | Chiara Braghin, Daniele Gorla, Vladimiro Sassone |
A Distributed Calculus for Ro^le-Based Access Control. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Mogens Nielsen, Vladimiro Sassone |
A Calculus for Trust Management. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Lhoussaine, Vladimiro Sassone |
A Dependently Typed Ambient Calculus. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Milicia, Vladimiro Sassone |
Temporal constraints for concurrent object synchronisation. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Pawel Sobocinski |
Deriving Bisimulation Congruences using 2-categories. |
Nord. J. Comput. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marco Carbone, Mogens Nielsen, Vladimiro Sassone |
A Formal Model for Trust in Dynamic Networks. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone |
Algebraic Theories for Contextual Pre-nets. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone |
Secrecy in Untrusted Networks. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone |
A Calculus of Bounded Capacities. |
ASIAN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Pawel Sobocinski |
Deriving Bisimulation Congruences: 2-Categories Vs Precategories. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Pawel Sobocinski |
Deriving Bisimulation Congruences: A 2-categorical Approach. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone |
Preface - F-WAN: Foundations of Wide Area Network Computing. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone |
A Calculus of Mobile Resources. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Merro, Vladimiro Sassone |
Typing and Subtyping Mobility in Boxed Ambients. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone |
A Survey of Name-Passing Calculi and Crypto-Primitives. |
FOSAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Milicia, Vladimiro Sassone |
Jeeg: a programming language for concurrent objects synchronization. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
Java, temporal logic, inheritance anomaly |
| 1 | Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone |
Communication Interference in Mobile Boxed Ambients. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone |
Functorial Models for Petri Nets. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone |
A Type Inference Algorithm for Secure Ambients. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Montanari, Vladimiro Sassone |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Vladimiro Sassone |
Two Algebraic Process Semantics for Contextual Nets. |
Unifying Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Vladimiro Sassone, Jirí Srba |
Towards a Notion of Distributed Time for Petri Nets. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Buscemi, Vladimiro Sassone |
High-Level Petri Nets as Type Theories in the Join Calculus. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Vladimiro Sassone, Jirí Srba |
Properties of Distributed Timed-Arc Petri Nets. |
FSTTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone |
On the Algebraic Structure of Petri Nets. |
Bulletin of the EATCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bruni, Vladimiro Sassone |
Algebraic Models for Contextual Nets. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Ugo Montanari, Vladimiro Sassone |
Open Ended Systems, Dynamic Bisimulation and Tile Logic. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
SOS formats, dynamic bisimulation, tile logic, Bisimulation |
| 1 | Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone |
Functorial semantics for Petri nets under the individual token philosophy. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone |
An Axiomatization of the Category of Petri Net Computations. |
Mathematical Structures in Computer Science |
1998 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone |
A Comparison of Petri Net Semantics under the Collective Token Philosophy. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Ugo Montanari, Vladimiro Sassone |
On the Semantics of Place/Transition Petri Nets. |
Mathematical Structures in Computer Science |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Ugo Montanari, Vladimiro Sassone |
Representation Theorems for Petri Nets. |
Foundations of Computer Science: Potential - Theory - Cognition |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Ugo Montanari, Vladimiro Sassone |
Process versus Unfolding Semantics for Place/Transition Petri Nets. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
Models for Concurrency: Towards a Classification. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone |
An Axiomatization of the Algebra of Petri Net Concatenable Processes. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas T. Hildebrandt, Vladimiro Sassone |
Comparing Transition Systems with Independence and Asynchronous Transition Systems. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Montanari, Vladimiro Sassone (eds.) |
CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings |
CONCUR |
1996 |
DBLP BibTeX RDF |
|
| 1 | Gian Luca Cattani, Vladimiro Sassone |
Higher Dimensional Transition Systems. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Vladimiro Sassone |
Petri Nets and Other Models of Concurrency. |
Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Lutz Priese, Vladimiro Sassone |
Characterizing Behavioural Congruences for Petri Nets. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone |
On the Category of Petri Net Computations. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone |
Axiomatizing Petri Net Concatenable Processes. |
FCT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Ugo Montanari, Vladimiro Sassone |
On the Model of Computation of Place/Transition Petri Nets. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
A Classification of Models for Concurrency. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone |
A Note on Logic Programming Fixed-Point Semantics. |
GULP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
Deterministic Behavioural Models for Concurrency. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Vladimiro Sassone, Glynn Winskel |
Relationships Between Models of Concurrency. |
REX School/Symposium |
1993 |
DBLP DOI BibTeX RDF |
Models for Concurrency, Semantics, Concurrency, Categories |
| 1 | Ugo Montanari, Vladimiro Sassone |
Dynamic congruence vs. progressing bisimulation for CCS. |
Fundam. Inform. |
1992 |
DBLP BibTeX RDF |
|
| 1 | José Meseguer, Ugo Montanari, Vladimiro Sassone |
On the Semantics of Petri Nets. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Montanari, Vladimiro Sassone |
CCS Dynamic Bisimulation is Progressing. |
MFCS |
1991 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")