Professor Vladimiro Sassone: Publications

Publications, PrePrints etc.
(Grouped by Co-authors)

Number of items: 155.

Abramsky, S

Abramsky, Samson, Gelenbe, Erol and Sassone, Vladimiro (2008) Visions of Computer Science - BCS International Academic Conference, BCS Press

Barbanera, F

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2007) Space-Aware Ambients and Processes. Theoretical Computer Science, 373, (1-2), 41-69.

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2003) A Calculus of Bounded Capacities. In, Advances in Computing Science, 9th Asian Computing Science Conference, ASIAN'03. Springer, 205-223.

Barbanera, F., Dezani, M., Salvo, I. and Sassone, V. (2001) A Type Inference Algorithm for Secure Ambients. In, Theory of Concurrency, Higher Order and Types, TOSCA Workshop 2001. Elsevier, 19 pp.

Braghin, C

Braghin, C., Gorla, D. and Sassone, V. (2006) Role-based access control for a distributed calculus. Journal of Computer Security, 14, (2), 133-155.

Braghin, C., Gorla, D. and Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control. In, 17th IEEE Computer Security Foundations Workshop, CSFW'04. IEEE Computer Society Press, 48-60.

Bruni, R

Bruni, Roberto and Sassone, Vladimiro (2008) Models of Computation: A Tribute to Ugo Montanari’s Vision. In, Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday , 503-509.

Bruni, R., Montanari, U. and Sassone, V. (2005) Observational Congruences for Dynamically Reconfigurable Tile Systems. Theoretical Computer Science, 335, (2-3), 331-372.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2003) Algebraic theories for contextual pre-nets. In, 8th Italian Conference on Theoretical Computer Science, ICTCS 2003. Springer Verlag, 256-270.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2001) Functorial Models for Petri Nets. Information and Computation, 170, (2), 207-236.

Bruni, R. and Sassone, V. (2001) Two Algebraic Process Semantics for Contextual Nets. In, Unifying Petri Nets Springer, 427-456.

Bruni, R., Montanari, U. and Sassone, V. (2000) Open Ended Systems, Dynamic Bisimulation, and Tile Logic. In, IFIP International Conference on Theoretical Computer Science, IFIP TCS 2000. Springer, 440-456.

Bruni, R. and Sassone, V. (2000) Algebraic Models for Contextual Nets. In, 27th International Colloquium on Automata, Languages and Programming, ICALP 2000. Springer, 175-186.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1999) Functorial Semantics for Petri Nets under the Individual Token Philosophy. In, Category Theory and Computer Science, CTCS '99. Elsevier, 18 pp..

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1998) A Comparison of Petri Net Semantics under the Collective Token Philosophy. In, Advances in Computing Science, 4th Asian Computing Science Conference, ASIAN '98. Springer, 225-244.

Bugliesi, M

Bugliesi, Michele and Sassone, Vladimiro (2010) International Colloquium of Automata, Languages and Programming: Preface to the `Logical Methods in Computer Science', special issue for ICALP 2006, Creative Commons Licence

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2007) Space-Aware Ambients and Processes. Theoretical Computer Science, 373, (1-2), 41-69.

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2005) Communication and Mobility Control in Boxed Ambients. Information and Computation, 202, (1), 39-86.

Bugliesi, M., Castagna, G., Crafa, S., Focardi, R. and Sassone, V. (2004) Name-passing calculi and crypto-primitives: A survey. In, International School on Foundations of Security Analysis and Design, FOSAD 01/02. Springer, 91-138.

Bugliesi, M., Crafa, S., Prelic, A. and Sassone, V. (2003) Secrecy in Untrusted Networks. In, 30th International Colloquium on Automata, Languages and Programming, ICALP 2003. Springer, 969-983.

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2002) Communication Interference in Mobile Boxed Ambients. In, 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2002. Springer, 71-84.

Bundgaard, M

Bundgaard, M. and Sassone, V. (2006) Typed polyadic pi-calculus in bigraphs. In, 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06 ACM Press, 1-12.

Buscemi, M

Buscemi, M. and Sassone, V. (2001) High-Level Petri Nets as Type Theories in the Join Calculus. In, Foundations of Software Science and Computation Structures, FOSSACS 2001. Springer, 104-120.

Carbone, M

Carbone, M., Nielsen, M. and Sassone, V. (2005) A Calculus of Trust Management. ALP Newsletter, 17, (4), 4 pp..

Carbone, M., Nielsen, M. and Sassone, V. (2004) A Calculus of Trust Management. In, 24th Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2004. Springer, 161-173.

Carbone, M., Nielsen, M. and Sassone, V. (2003) A Formal Model for Trust in Dynamic Networks. In, Int. Conference on Software Engineering and Formal Methods, SEFM 2003. IEEE Computer Society, 54-61.

Castagna, G

Cattani, G

Cattani, G.L. and Sassone, V. (1996) Higher Dimensional Transition Systems. In, 11th Symposium of Logics in Computer Science, LICS '96. IEEE Press, 55-62.

Chadha, R

Chadha, R., Macedonio, D. and Sassone, V. (2006) A Hybrid Intuitionistic Logic: Semantics and Decidability. Journal of Logic and Computation, 16, (1), 27-59.

Chadha, R., Macedonio, D. and Sassone, V. (2004) A Distributed Kripke Semantics.

Conforti, G

Conforti, G., Macedonio, D. and Sassone, V. (2007) Static BiLog: a Unifying Language for Spatial Structures. Fundamenta Informaticae, 80, 1-20.

Conforti, G., Macedonio, D. and Sassone, V. (2006) BiLog: Spatial Logics for Bigraphs. (Under revision)

Conforti, G., Macedonio, D. and Sassone, V. (2005) Bigraphical Logics for XML. In, 13th Symposium on Advanced Database Systems, SEDB 2005. , 392-399.

Conforti, G., Macedonio, D. and Sassone, V. (2005) Spatial Logics for Bigraphs. In, 32th International Colloquium on Automata, Languages and Programming, ICALP 2005. Springer, 766-778.

Crafa, S

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2005) Communication and Mobility Control in Boxed Ambients. Information and Computation, 202, (1), 39-86.

Bugliesi, M., Crafa, S., Prelic, A. and Sassone, V. (2003) Secrecy in Untrusted Networks. In, 30th International Colloquium on Automata, Languages and Programming, ICALP 2003. Springer, 969-983.

Dezani, M

Dezani, Mariangiola, Horne, Ross and Sassone, Vladimiro (2012) Tracing where and who provenance in Linked Data: a calculus. Pre-print (Submitted)

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2007) Space-Aware Ambients and Processes. Theoretical Computer Science, 373, (1-2), 41-69.

Barbanera, F., Dezani, M., Salvo, I. and Sassone, V. (2001) A Type Inference Algorithm for Secure Ambients. In, Theory of Concurrency, Higher Order and Types, TOSCA Workshop 2001. Elsevier, 19 pp.

Di Meglio, R

Di Meglio, R. and Sassone, V. (1993) A Unification Free Introduction to Logic Programming. In, 8th Meeting on Logic Programming, GULP '93 Mediterranean Press.

El-Salamouny, E

Sassone, Vladimiro, El-Salamouny, Ehab and Hamadou, Sardaouna (2010) Trust in Crowds: probabilistic behaviour in anonymity protocols. In, Symposium on Trustworthy Global Computing, TGC 2010, Lecture Notes in Computer Science 6084 LNCS, Springer, 88-102.

ElSalamouny, E

Hamadou, Sardaouna, Palamidessi, Catuscia, Sassone, Vladimiro and ElSalamouny, Ehab (2009) Probable innocence in the presence of independent knowledge. In, International Workshop on Formal Aspects in Security and Trust (FAST2009), Eindhoven, Netherlands, LNCS, Springer, 141-156. (Submitted)

ElSalamouny, Ehab, Krukow, Karl and Sassone, Vladimiro (2009) An analysis of the exponential decay principle in probabilistic trust models. Theoretical Computer Science, 410, (41), 4067-4084.

ElSalamouny, Ehab, Sassone, Vladimiro and Nielsen, Mogens (2009) HMM-based Trust Model. In, International Workshop on Formal Aspects in Security and Trust (FAST2009), Eindhoven, Netherlands, LNCS, Springer, 21-35. (Submitted)

Focardi, R

Francalanza, A

Francalanza, Adrian, Rathke, Julian and Sassone, Vladimiro (2011) Permission-Based Separation Logic for Message-Passing Concurrency. Logical Methods in Computer Science, 7, (3), 47.

Souilah, Issam, Francalanza, Adrian and Sassone, Vladimiro (2009) A Formal Model of Provenance in Distributed Systems. In, Workshop on the Theory and Practice of Provenance

Gelenbe, E

Abramsky, Samson, Gelenbe, Erol and Sassone, Vladimiro (2008) Visions of Computer Science - BCS International Academic Conference, BCS Press

Gibbins, N

Horne, Ross, Sassone, Vladimiro and Gibbins, Nicholas (2012) Operational semantics for SPARQL Update. In, Pan, Jeff Z., Chen, Huajun, Kim, Hong-Gee, Li, Juanzi, Wu, Zhe, Horrocks, Ian, Mizoguchi, Riichiro and Wu, Zhaohui (eds.) The Semantic Web. Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings. 1st Joint International Semantic Technology Conference (JST 2011) , Springer, 242-257. (Lecture Notes in Computer Science: Information Systems and Applications, incl. Internet/Web, and HCI, 7185).

Godskesen, J

Godskesen, J.Chr., Hildebrandt, T. and Sassone, V. (2002) A Calculus of Mobile Resources. In, 13th Int. Conference on Concurrency Theory, CONCUR '02. Springer, 272-287.

Gorla, D

Braghin, C., Gorla, D. and Sassone, V. (2006) Role-based access control for a distributed calculus. Journal of Computer Security, 14, (2), 133-155.

Gorla, D., Hennessy, M. and Sassone, V. (2006) Inferring Dynamic Credentials for Role-based Trust Management. In, 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06 ACM Press, 213-223.

Gorla, D., Hennessy, M. and Sassone, V. (2005) Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science, 1, (3:2), 163-21.

Gorla, D., Hennessy, M. and V. Sassone, (2005) Security Policies as Membranes in Systems for Global Computing. In, Foundations of Global Ubiquitous Computing, FGUC 2004. Elsevier, 23-42.

Hamadou, S

Yang, Mu, Sassone, Vladimiro and Hamadou, Sardaouna, Degano, Pierpaolo and Guttman, Joshua (eds.) (2012) A Game-Theoretic Analysis of Cooperation in Anonymity Networks. Proceedings of Principles of Security and Trust, POST 2012 (a member of ETAPS 2012), Lecture Notes in Computer Science (ARCoSS)

Hamadou, Sardaouna, Sassone, Vladimiro and Palamidessi, Catuscia (2010) Reconciling Belief and Vulnerability in Information Flow. In, IEEE Symposium of Security and Privacy IEEE Press, 79-92.

Sassone, Vladimiro, Hamadou, Sardaouna and Yang, Mu (2010) Trust in Anonymity Networks. Lecture Notes in Computer Science, ARCoSS, 6269, 48-70.

Hennessy, M

Gorla, D., Hennessy, M. and Sassone, V. (2005) Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science, 1, (3:2), 163-21.

Gorla, D., Hennessy, M. and V. Sassone, (2005) Security Policies as Membranes in Systems for Global Computing. In, Foundations of Global Ubiquitous Computing, FGUC 2004. Elsevier, 23-42.

Hennessy, Matthew, Merro, Massimo and Rathke, Julian, Sassone, Vladimiro (ed.) (2004) Towards a behavioural theory of access and mobility control in distributed systems. Theoretical Computer Science, 322, (3), 615-669.

Hildebrandt, T

Godskesen, J.Chr., Hildebrandt, T. and Sassone, V. (2002) A Calculus of Mobile Resources. In, 13th Int. Conference on Concurrency Theory, CONCUR '02. Springer, 272-287.

Hildebrandt, T. and Sassone, V. (1997) Transition Systems with Independence and Multi-Arcs. In, Partial Order Methods in Verification, POMIV '96 American Mathematical Society Press, 273-288.

Hildebrandt, T. and Sassone, V. (1996) Comparing Transition Systems with Independence and Asynchronous Transition Systems. In, 7th International Conference on Concurrency Theory, CONCUR '96. Springer, 84-97.

Horne, R

Dezani, Mariangiola, Horne, Ross and Sassone, Vladimiro (2012) Tracing where and who provenance in Linked Data: a calculus. Pre-print (Submitted)

Horne, Ross and Sassone, Vladimiro (2012) A Verified Algebra for Read-Write Linked Data. Submitted for publication (Submitted)

Horne, Ross and Sassone, Vladimiro (2011) A Verified Algebra for Linked Data. In, 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, EPTCS 58, Aachen, Germany, Elsevier, 20-33.

Horne, Ross and Sassone, Vladimiro (2011) A Typed Model for Linked Data. Technical Report (Submitted)

Klin, B

Klin, Bartek and Sassone, V. (2011) Structural operational semantics for stochastic and weighted transition systems. Pre-print (Submitted)

Klin, B. and Sassone, V. (2008) Structural Operational Semantics for Stochastic Process Calculi. In, Proceedings of FOSSACS 2008 LNCS, Springer, 428-433.

Klin, B., Sassone, V. and Sobocinski, P. (2005) Labels from Reductions: Towards a General Theory. In, First International Conference on Algebras and Coalgebras in Computer Science. Springer, 30-50.

Krukow, K

ElSalamouny, Ehab, Krukow, Karl and Sassone, Vladimiro (2009) An analysis of the exponential decay principle in probabilistic trust models. Theoretical Computer Science, 410, (41), 4067-4084.

Krukow, Karl, Nielsen, Mogens and Sassone, Vladimiro (2009) Probabilistic Computational Trust. In, Perspectives in Concurrency Theory Universities Press.

Krukow, Karl, Nielsen, Mogens and Sassone, Vladimiro (2008) Trust models in ubiquitous computing. Philosophical Transactions of the Royal Society A, 366, 3781-3793.

Krukow, K., Nielsen, M. and Sassone, V. (2007) A Logical Framework for Reputation Systems. Journal of Computer Security, (In pr

Nielsen, M., Krukow, K. and Sassone, V. (2007) A Bayesian model for event-based trust. In, Cardelli, L., Fiore, M. and Winskel, G. (eds.) Festschrift in hounour of Gordon Plotkin. , Elsevier.

Sassone, V., Nielsen, M. and Krukow, K., de Boer, F.S. (ed.) (2007) Towards a Formal Framework for Computational Trust. Formal Methods for Components and Objects, LNCS 4, 175-184.

Krukow, K., Nielsen, M. and Sassone, V. (2005) A Formal Framework for Concrete Reputation Systems. In, 12th ACM Conference on Computer and Communication Security, CCS'05. ACM Press, 260-269.

Kwiatkowska, M

Kwiatkowska, M. and Sassone, V., Hoare, T. and Milner, R. (eds.) (2005) GC2: Science for Global Ubiquitous Computing. Grand Challenges in Computing, 9-12.

Kwiatkowska, M., Milner, R. and Sassone, V. (2004) Science for Global Ubiquitous Computing. Bulletin of the EATCS, 82, 325-333.

Lhoussaine, C

Lhoussaine, C. and Sassone, V. (2004) A Dependently Typed Ambient Calculus. In, European Symposium on Programming, ESOP'04. Springer, 171-187.

Macedonio, D

Conforti, G., Macedonio, D. and Sassone, V. (2007) Static BiLog: a Unifying Language for Spatial Structures. Fundamenta Informaticae, 80, 1-20.

Chadha, R., Macedonio, D. and Sassone, V. (2006) A Hybrid Intuitionistic Logic: Semantics and Decidability. Journal of Logic and Computation, 16, (1), 27-59.

Conforti, G., Macedonio, D. and Sassone, V. (2006) BiLog: Spatial Logics for Bigraphs. (Under revision)

Conforti, G., Macedonio, D. and Sassone, V. (2005) Bigraphical Logics for XML. In, 13th Symposium on Advanced Database Systems, SEDB 2005. , 392-399.

Conforti, G., Macedonio, D. and Sassone, V. (2005) Spatial Logics for Bigraphs. In, 32th International Colloquium on Automata, Languages and Programming, ICALP 2005. Springer, 766-778.

Chadha, R., Macedonio, D. and Sassone, V. (2004) A Distributed Kripke Semantics.

Merro, M

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2005) Communication and Mobility Control in Boxed Ambients. Information and Computation, 202, (1), 39-86.

Merro, M. and Sassone, V. (2002) Typing and Subtyping Mobility in Boxed Ambients. In, 13th Int. Conference on Concurrency Theory, CONCUR '02. Springer, 304-320.

Meseguer, J

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2001) Functorial Models for Petri Nets. Information and Computation, 170, (2), 207-236.

Meseguer, J., Montanari, U. and Sassone, V. (1997) On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science, 7, 359-397.

Meseguer, J., Montanari, U. and Sassone, V. (1997) Representation Theorems for Petri Nets. In, Foundations of Computer Science : Potential - Theory - Cognition. Springer, 239-249.

Meseguer, J., Montanari, U. and Sassone, V. (1996) Process versus Unfolding Semantics for Place/Transition Petri Nets. Theoretical Computer Science, 153, (1-2), 171-210.

Meseguer, J., Montanari, U. and Sassone, V. (1994) On the Model of Computation of Place/Transition Petri Nets. In, 15th International Conference on Application and Theory of Petri Nets, ICATPN '94. Springer, 16-38.

Meseguer, J., Montanari, U. and Sassone, V. (1993) ω-Ind Completion of Monoidal Categories and Infinite Petri Net Computations. In, Workshop on Topology and Completion in Semantics, Chartres, France, , 51 pp..

Meseguer, J., Montanari, U. and Sassone, V. (1992) On the Semantics of Petri Nets. In, 3rd International Conference on Concurrency Theory, CONCUR 92. Springer, 286-301.

Milicia, G

Milicia, G. and Sassone, V. (2005) Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects. Concurrency and Computation: Practice & Experience, 17, (5-6), 539-572.

Milicia, G. and Sassone, V. (2004) The Inheritance Anomaly: Ten years after. In, 19th ACM Symposium on Applied Computing, SAC'04. ACM Press, 1267-1274.

Milicia, G. and Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation. In, International Workshop on Object Oriented Developments, WOODS 2003. Elsevier, 3 pp..

Milicia, G. and Sassone, V. (2002) Jeeg: A Programming Language for Concurrent Objects Synchronization. In, Joint ACM-ISCOPE Conference on Java Grande, JGI'02. ACM Press, 212-221.

Milner, R

Kwiatkowska, M., Milner, R. and Sassone, V. (2004) Science for Global Ubiquitous Computing. Bulletin of the EATCS, 82, 325-333.

Montanari, U

Bruni, R., Montanari, U. and Sassone, V. (2005) Observational Congruences for Dynamically Reconfigurable Tile Systems. Theoretical Computer Science, 335, (2-3), 331-372.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2001) Functorial Models for Petri Nets. Information and Computation, 170, (2), 207-236.

Meseguer, J., Montanari, U. and Sassone, V. (1997) On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science, 7, 359-397.

Meseguer, J., Montanari, U. and Sassone, V. (1997) Representation Theorems for Petri Nets. In, Foundations of Computer Science : Potential - Theory - Cognition. Springer, 239-249.

Meseguer, J., Montanari, U. and Sassone, V. (1996) Process versus Unfolding Semantics for Place/Transition Petri Nets. Theoretical Computer Science, 153, (1-2), 171-210.

Meseguer, J., Montanari, U. and Sassone, V. (1992) On the Semantics of Petri Nets. In, 3rd International Conference on Concurrency Theory, CONCUR 92. Springer, 286-301.

Montanari, U. and Sassone, V. (1992) Dynamic Congruence vs. Progressing Bisimulation for CCS. Fundamenta Informaticae, 16, (2), 171-199.

Montanari, U. and Sassone, V. (1991) CCS Dynamic Bisimulation is Progressing. In, 16th International Symposium on the Mathematical Foundations of Computer Science, MFCS 1991. Springer, 346-356.

Nielsen, M

Krukow, Karl, Nielsen, Mogens and Sassone, Vladimiro (2009) Probabilistic Computational Trust. In, Perspectives in Concurrency Theory Universities Press.

Krukow, Karl, Nielsen, Mogens and Sassone, Vladimiro (2008) Trust models in ubiquitous computing. Philosophical Transactions of the Royal Society A, 366, 3781-3793.

Krukow, K., Nielsen, M. and Sassone, V. (2007) A Logical Framework for Reputation Systems. Journal of Computer Security, (In pr

Nielsen, M., Krukow, K. and Sassone, V. (2007) A Bayesian model for event-based trust. In, Cardelli, L., Fiore, M. and Winskel, G. (eds.) Festschrift in hounour of Gordon Plotkin. , Elsevier.

Sassone, V., Nielsen, M. and Krukow, K., de Boer, F.S. (ed.) (2007) Towards a Formal Framework for Computational Trust. Formal Methods for Components and Objects, LNCS 4, 175-184.

Carbone, M., Nielsen, M. and Sassone, V. (2005) A Calculus of Trust Management. ALP Newsletter, 17, (4), 4 pp..

Krukow, K., Nielsen, M. and Sassone, V. (2005) A Formal Framework for Concrete Reputation Systems. In, 12th ACM Conference on Computer and Communication Security, CCS'05. ACM Press, 260-269.

Nielsen, M., Sassone, V. and Srba, J. (2001) Properties of Distributed Time Arc Petri Nets. In, Foundation of Software Technology and Theoretical Computer Science, FST&TCS 2001. Springer, 280-291.

Nielsen, M., Sassone, V. and Srba, J. (2001) Towards a Notion of Distributed Time for Petri Nets. In, 22nd International Conference on Application and Theory of Petri Nets, ICATPN 2001. Springer, 23-31.

Nielsen, M. and Sassone, V. (1998) Petri Nets and Other Models of Concurrency. In, Lectures on Petri Nets I: Basic Models Springer, 587-642.

Sassone, V., Nielsen, M. and Winskel, G. (1996) Models for Concurrency: Towards a Classification. Theoretical Computer Science, 170, (1-2), 297-348.

Nielsen, M., Priese, L. and Sassone, V. (1995) Characterizing Behavioural Congruences for Petri Nets. In, 6th International Conference on Concurrency Theory, CONCUR '95. Springer, 175-189.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

Sassone, V., Nielsen, M. and Winskel, G. (1993) A Classification of Models for Concurrency. In, 4th International Conference on Concurrency Theory, CONCUR '93. Springer, 82-96.

Sassone, V., Nielsen, M. and Winskel, G. (1993) Deterministic Behavioural Models for Concurrency. In, 18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93. Springer, 682-692.

Palamidessi, C

Hamadou, Sardaouna, Sassone, Vladimiro and Palamidessi, Catuscia (2010) Reconciling Belief and Vulnerability in Information Flow. In, IEEE Symposium of Security and Privacy IEEE Press, 79-92.

Prelic, A

Bugliesi, M., Crafa, S., Prelic, A. and Sassone, V. (2003) Secrecy in Untrusted Networks. In, 30th International Colloquium on Automata, Languages and Programming, ICALP 2003. Springer, 969-983.

Priese, L

Nielsen, M., Priese, L. and Sassone, V. (1995) Characterizing Behavioural Congruences for Petri Nets. In, 6th International Conference on Concurrency Theory, CONCUR '95. Springer, 175-189.

Rathke, J

Francalanza, Adrian, Rathke, Julian and Sassone, Vladimiro (2011) Permission-Based Separation Logic for Message-Passing Concurrency. Logical Methods in Computer Science, 7, (3), 47.

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality. In, Foundations of Software Science and Computation Structures, FOSSACS 2007 Springer, 302-316.

Salvo, I

Barbanera, F., Dezani, M., Salvo, I. and Sassone, V. (2001) A Type Inference Algorithm for Secure Ambients. In, Theory of Concurrency, Higher Order and Types, TOSCA Workshop 2001. Elsevier, 19 pp.

Sannella, D

Sannella, D. and Sassone, V., Sannella, D. and Sassone, V. (eds.) (2007) Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001–2005). Theoretical Computer Science, 389, (3), 337-340.

Sassone,

Sassone, V (2008) Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005. THEORETICAL COMPUTER SCIENCE, 390, 127-128.

Sassone, V

Dezani, Mariangiola, Horne, Ross and Sassone, Vladimiro (2012) Tracing where and who provenance in Linked Data: a calculus. Pre-print (Submitted)

Sassone, V. (2012) Tracing where and who provenance in linked data - a calculus -. Southampton, GB, University of Southampton

Horne, Ross and Sassone, Vladimiro (2012) A Verified Algebra for Read-Write Linked Data. Submitted for publication (Submitted)

Klin, Bartek and Sassone, V. (2011) Structural operational semantics for stochastic and weighted transition systems. Pre-print (Submitted)

Yang, Mu and Sassone, Vladimiro (2011) Minimising anonymity loss in anonymity networks under DoS attacks. In: 13th International Conference on Information and Communications Security, 23rd-26th, Nov, 2011, Beijing, China. Lecture Notes in Computer Science, 7043, 414-429.

Horne, Ross and Sassone, Vladimiro (2011) A Typed Model for Linked Data. Technical Report (Submitted)

Francalanza, Adrian, Rathke, Julian and Sassone, Vladimiro (2011) Permission-Based Separation Logic for Message-Passing Concurrency. Logical Methods in Computer Science, 7, (3), 47.

Hamadou, Sardaouna, Sassone, Vladimiro and Palamidessi, Catuscia (2010) Reconciling Belief and Vulnerability in Information Flow. In, IEEE Symposium of Security and Privacy IEEE Press, 79-92.

Sassone, V. (2010) Trust in Crowds - Probabilistic Behaviour in Anonymity Protocols (talk).

Sassone, Vladimiro, Hamadou, Sardaouna and Yang, Mu (2010) Trust in Anonymity Networks. Lecture Notes in Computer Science, ARCoSS, 6269, 48-70.

Sassone, V. (2009) On the anonymity in the Crowds protocol (talk).

Sassone, V. (2009) Elements of Foundations for Ubiquitous Computing (talk).

Sassone, V. (2009) Exponential Decay in Probabilistic Trust Models (talk).

ElSalamouny, Ehab, Krukow, Karl and Sassone, Vladimiro (2009) An analysis of the exponential decay principle in probabilistic trust models. Theoretical Computer Science, 410, (41), 4067-4084.

Sassone, Vladimiro (2009) I dag er det Mogens’ fødselsdag. Theoretical Computer Science, 410, (41)

Sassone, V. (2009) Permission-based separation logic for message-passing concurrency (talk).

Krukow, Karl, Nielsen, Mogens and Sassone, Vladimiro (2009) Probabilistic Computational Trust. In, Perspectives in Concurrency Theory Universities Press.

Souilah, Issam, Francalanza, Adrian and Sassone, Vladimiro (2009) A Formal Model of Provenance in Distributed Systems. In, Workshop on the Theory and Practice of Provenance

Sassone, V. (2008) Data Provenance in a Distributed Calculus (talk).

Sassone, V. (2008) Inference of Probability Distributions for Trust and Security applications (talk).

Sassone, V. (2008) Inference of Probability Distributions for Trust and Security Applications (talk).

Sassone, V. (2008) Structural Operational Semantics for Stochastic Systems (talk).

Abramsky, Samson, Gelenbe, Erol and Sassone, Vladimiro (2008) Visions of Computer Science - BCS International Academic Conference, BCS Press

Krukow, Karl, Nielsen, Mogens and Sassone, Vladimiro (2008) Trust models in ubiquitous computing. Philosophical Transactions of the Royal Society A, 366, 3781-3793.

Sassone, V. (2008) Data Provenance in a Distributed Calculus (talk).

Sassone, V. (2008) Foundations of Software Science and Computational Structures, Elsevier (Theoretical Computer Science, 390(2-)

Klin, B. and Sassone, V. (2008) Structural Operational Semantics for Stochastic Process Calculi. In, Proceedings of FOSSACS 2008 LNCS, Springer, 428-433.

Sassone, V., Sassone, V. (ed.) (2008) Preface. Theoretical Computer Science, 390, ((2-3)), 127-128.

Conforti, G., Macedonio, D. and Sassone, V. (2007) Static BiLog: a Unifying Language for Spatial Structures. Fundamenta Informaticae, 80, 1-20.

Sassone, V. (2007) A Bayesian model for event-based trust - Elements of a foundation for computational trust (talk).

Sassone, V. (2007) Opportunities for Formal Methods in the analysis of pervasive adaptation (talk).

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2007) Space-Aware Ambients and Processes. Theoretical Computer Science, 373, (1-2), 41-69.

Krukow, K., Nielsen, M. and Sassone, V. (2007) A Logical Framework for Reputation Systems. Journal of Computer Security, (In pr

Nielsen, M., Krukow, K. and Sassone, V. (2007) A Bayesian model for event-based trust. In, Cardelli, L., Fiore, M. and Winskel, G. (eds.) Festschrift in hounour of Gordon Plotkin. , Elsevier.

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality. In, Foundations of Software Science and Computation Structures, FOSSACS 2007 Springer, 302-316.

Sassone, V., Nielsen, M. and Krukow, K., de Boer, F.S. (ed.) (2007) Towards a Formal Framework for Computational Trust. Formal Methods for Components and Objects, LNCS 4, 175-184.

Sassone, V. (2006) Semantic barbs: what's in an observation? (talk).

Sassone, V. (2006) Elements towards a foundation of computational trust (talk).

Sassone, V. (2006) Inferring Dynamic Credential for Rôle-based Trust Management (talk).

Sassone, V. (2006) Typed Polyadic Pi-Calculus in Bigraphs (talk).

Braghin, C., Gorla, D. and Sassone, V. (2006) Role-based access control for a distributed calculus. Journal of Computer Security, 14, (2), 133-155.

Bundgaard, M. and Sassone, V. (2006) Typed polyadic pi-calculus in bigraphs. In, 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06 ACM Press, 1-12.

Chadha, R., Macedonio, D. and Sassone, V. (2006) A Hybrid Intuitionistic Logic: Semantics and Decidability. Journal of Logic and Computation, 16, (1), 27-59.

Conforti, G., Macedonio, D. and Sassone, V. (2006) BiLog: Spatial Logics for Bigraphs. (Under revision)

Sassone, V. (2006) BiLog - A Framework for Structural Logics (talk).

Bruni, R., Montanari, U. and Sassone, V. (2005) Observational Congruences for Dynamically Reconfigurable Tile Systems. Theoretical Computer Science, 335, (2-3), 331-372.

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2005) Communication and Mobility Control in Boxed Ambients. Information and Computation, 202, (1), 39-86.

Carbone, M., Nielsen, M. and Sassone, V. (2005) A Calculus of Trust Management. ALP Newsletter, 17, (4), 4 pp..

Conforti, G., Macedonio, D. and Sassone, V. (2005) Bigraphical Logics for XML. In, 13th Symposium on Advanced Database Systems, SEDB 2005. , 392-399.

Conforti, G., Macedonio, D. and Sassone, V. (2005) Spatial Logics for Bigraphs. In, 32th International Colloquium on Automata, Languages and Programming, ICALP 2005. Springer, 766-778.

Gorla, D., Hennessy, M. and Sassone, V. (2005) Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science, 1, (3:2), 163-21.

Klin, B., Sassone, V. and Sobocinski, P. (2005) Labels from Reductions: Towards a General Theory. In, First International Conference on Algebras and Coalgebras in Computer Science. Springer, 30-50.

Krukow, K., Nielsen, M. and Sassone, V. (2005) A Formal Framework for Concrete Reputation Systems. In, 12th ACM Conference on Computer and Communication Security, CCS'05. ACM Press, 260-269.

Kwiatkowska, M. and Sassone, V., Hoare, T. and Milner, R. (eds.) (2005) GC2: Science for Global Ubiquitous Computing. Grand Challenges in Computing, 9-12.

Milicia, G. and Sassone, V. (2005) Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects. Concurrency and Computation: Practice & Experience, 17, (5-6), 539-572.

Sassone, V. (2005) A Framework for Concrete Reputation Systems with applications to History-Based Access Control (talk).

Sassone, V. (2005) Labels from Reductions - the theory of relative pushouts (talk).

Sassone, V. and Sobocinski, P. (2005) A Congruence for Petri Nets. In, International Workshop on Petri Nets and Graph Transformations. Elsevier, 107-120.

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories. Theoretical Computer Science, 333, (1-2), 297-327.

Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans. In, 20th Symposium on Logic in Computer Science, LICS 2005. IEEE Computer Society Press, 311-320.

Chadha, R., Macedonio, D. and Sassone, V. (2004) A Distributed Kripke Semantics.

Kwiatkowska, M., Milner, R. and Sassone, V. (2004) Science for Global Ubiquitous Computing. Bulletin of the EATCS, 82, 325-333.

Lhoussaine, C. and Sassone, V. (2004) A Dependently Typed Ambient Calculus. In, European Symposium on Programming, ESOP'04. Springer, 171-187.

Milicia, G. and Sassone, V. (2004) The Inheritance Anomaly: Ten years after. In, 19th ACM Symposium on Applied Computing, SAC'04. ACM Press, 1267-1274.

Sassone, V. (2004) The Algebraic Structure of Petri Nets. In, Paun, G., Rozenberg, G. and Salomaa, A. (eds.) Current Trends in Theoretical Computer Science. , World Scientific, 385-410.

Sassone, V. (2004) Background and Structure of a Coordination Action (talk).

Sassone, V. (2004) A Calculus for Trust Management (talk).

Sassone, V. (2004) Congruences for Contextual Graph-Rewriting (talk).

Sassone, V. (2004) Context-Aware Software-Intensive Systems - An autonomic approach (talk).

Sassone, V. (2004) A dependently typed ambient calculus (talk).

Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control (talk).

Sassone, V. (2004) Engineering Trust-based Software Intensive Systems. In, Joint EU/NSF Strategic Research Workshop on Engineering Software Intensive Systems European Commission / US National Science Foundation.

Sassone, V. (2004) Foundations of Global Computing - A Personal Perspective (talk).

Sassone, V. (2004) Global Computing II - A new FET Programme for FP6 (talk).

Sassone, V. (2004) Security Policies as Membranes in Systems for Global Computing (talk).

Sassone, V. (2004) Trust and Concurrency - A Theory Contribution to Ubiquitous Computing (talk).

Bugliesi, M., Crafa, S., Prelic, A. and Sassone, V. (2003) Secrecy in Untrusted Networks. In, 30th International Colloquium on Automata, Languages and Programming, ICALP 2003. Springer, 969-983.

Milicia, G. and Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation. In, International Workshop on Object Oriented Developments, WOODS 2003. Elsevier, 3 pp..

Sassone, V. (2003) A 2-Categorical Approach to Bisimulation Congruences (talk).

Sassone, V. (2003) Building the Case for Global Computing.

Sassone, V. (2003) Calculi and Types for Global Computing (talk).

Sassone, V. (2003) A Calculus of Bounded Capacities (talk).

Sassone, V. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories (talk).

Sassone, V. (2003) Global Computing II. Terms of reference for the FP6-EU-FET call. Bulletin of the European Association for Theoretical Computer Science, 82, 319-324.

Sassone, V. (2003) A Role for Theory in UbiNet (talk).

Sassone, V. (2003) Subtyping for Access Control (talk).

Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation (talk).

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories. Nordic Journal of Computing, 10, 163-183.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories. In, Foundations of Software Science and Computation Structures, FOSSACS 2003. Springer, 409-424.

Godskesen, J.Chr., Hildebrandt, T. and Sassone, V. (2002) A Calculus of Mobile Resources. In, 13th Int. Conference on Concurrency Theory, CONCUR '02. Springer, 272-287.

Merro, M. and Sassone, V. (2002) Typing and Subtyping Mobility in Boxed Ambients. In, 13th Int. Conference on Concurrency Theory, CONCUR '02. Springer, 304-320.

Milicia, G. and Sassone, V. (2002) Jeeg: A Programming Language for Concurrent Objects Synchronization. In, Joint ACM-ISCOPE Conference on Java Grande, JGI'02. ACM Press, 212-221.

Sassone, V. (2002) Capacity-Bounded Computational Ambients (talk).

Sassone, V. (2002) Communication Interference in Mobile Boxed Ambients (talk).

Sassone, V. (2002) Foundations of Global Computing.

Sassone, V. and Sobocinski, P. (2002) Deriving Bisimulation Congruences: A 2-Categorical Approach. In, 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002. Elsevier, 19 pp..

Barbanera, F., Dezani, M., Salvo, I. and Sassone, V. (2001) A Type Inference Algorithm for Secure Ambients. In, Theory of Concurrency, Higher Order and Types, TOSCA Workshop 2001. Elsevier, 19 pp.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2001) Functorial Models for Petri Nets. Information and Computation, 170, (2), 207-236.

Bruni, R. and Sassone, V. (2001) Two Algebraic Process Semantics for Contextual Nets. In, Unifying Petri Nets Springer, 427-456.

Buscemi, M. and Sassone, V. (2001) High-Level Petri Nets as Type Theories in the Join Calculus. In, Foundations of Software Science and Computation Structures, FOSSACS 2001. Springer, 104-120.

Nielsen, M., Sassone, V. and Srba, J. (2001) Properties of Distributed Time Arc Petri Nets. In, Foundation of Software Technology and Theoretical Computer Science, FST&TCS 2001. Springer, 280-291.

Sassone, V. (2001) An introduction to the π-calculus - Model, Variations, Semantics (talk).

Bruni, R. and Sassone, V. (2000) Algebraic Models for Contextual Nets. In, 27th International Colloquium on Automata, Languages and Programming, ICALP 2000. Springer, 175-186.

Sassone, V. (2000) On the Algebraic Structure of Petri Nets. Bulletin of the European Association for Theoretical Computer Science, 72, 133-148.

Nielsen, M. and Sassone, V. (1998) Petri Nets and Other Models of Concurrency. In, Lectures on Petri Nets I: Basic Models Springer, 587-642.

Sassone, V. (1998) An Axiomatization of the Category of Petri Net Computations. Mathematical Structures in Computer Science, 8, 117-151.

Hildebrandt, T. and Sassone, V. (1997) Transition Systems with Independence and Multi-Arcs. In, Partial Order Methods in Verification, POMIV '96 American Mathematical Society Press, 273-288.

Meseguer, J., Montanari, U. and Sassone, V. (1997) On the Semantics of Place/Transition Petri Nets. Mathematical Structures in Computer Science, 7, 359-397.

Meseguer, J., Montanari, U. and Sassone, V. (1997) Representation Theorems for Petri Nets. In, Foundations of Computer Science : Potential - Theory - Cognition. Springer, 239-249.

Cattani, G.L. and Sassone, V. (1996) Higher Dimensional Transition Systems. In, 11th Symposium of Logics in Computer Science, LICS '96. IEEE Press, 55-62.

Meseguer, J., Montanari, U. and Sassone, V. (1996) Process versus Unfolding Semantics for Place/Transition Petri Nets. Theoretical Computer Science, 153, (1-2), 171-210.

Sassone, V. (1996) An Axiomatization of the Algebra of Petri Net Concatenable Processes. Theoretical Computer Science, 170, (1-2), 277-296.

Sassone, V., Nielsen, M. and Winskel, G. (1996) Models for Concurrency: Towards a Classification. Theoretical Computer Science, 170, (1-2), 297-348.

Nielsen, M., Priese, L. and Sassone, V. (1995) Characterizing Behavioural Congruences for Petri Nets. In, 6th International Conference on Concurrency Theory, CONCUR '95. Springer, 175-189.

Sassone, V. (1995) Axiomatizing Petri Net Concatenable Processes. In, 10th Conference on Fundamentals of Computation Theory, FCT '95. Springer, 414-423.

Sassone, V. (1995) On the Category of Petri Net Computations. In, 6}th International Conference on Theory and Practice of Software Development, TAPSOFT '95. Springer, 334-348.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

Sassone, V. (1994) An Approach to the Category of Net Computations. In, 6th Nordic Workshop on Programming Theory, NWPT '94. University of Aarhus, 385-399.

Sassone, V. (1994) On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations.

Di Meglio, R. and Sassone, V. (1993) A Unification Free Introduction to Logic Programming. In, 8th Meeting on Logic Programming, GULP '93 Mediterranean Press.

Sassone, V. (1993) A Note on Logic Programming Fixed-Point Semantics. In, 8th Meeting on Logic Programming, GULP '93. Mediterranean Press.

Sassone, V., Nielsen, M. and Winskel, G. (1993) A Classification of Models for Concurrency. In, 4th International Conference on Concurrency Theory, CONCUR '93. Springer, 82-96.

Meseguer, J., Montanari, U. and Sassone, V. (1992) On the Semantics of Petri Nets. In, 3rd International Conference on Concurrency Theory, CONCUR 92. Springer, 286-301.

Montanari, U. and Sassone, V. (1992) Dynamic Congruence vs. Progressing Bisimulation for CCS. Fundamenta Informaticae, 16, (2), 171-199.

Varadharajan, V. and Sassone, V. (1991) A unifying Petri net model of non-interference and non-deducibility information flow security.

Montanari, U. and Sassone, V. (1991) CCS Dynamic Bisimulation is Progressing. In, 16th International Symposium on the Mathematical Foundations of Computer Science, MFCS 1991. Springer, 346-356.

Sobocinski, P

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality. In, Foundations of Software Science and Computation Structures, FOSSACS 2007 Springer, 302-316.

Klin, B., Sassone, V. and Sobocinski, P. (2005) Labels from Reductions: Towards a General Theory. In, First International Conference on Algebras and Coalgebras in Computer Science. Springer, 30-50.

Sassone, V. and Sobocinski, P. (2005) A Congruence for Petri Nets. In, International Workshop on Petri Nets and Graph Transformations. Elsevier, 107-120.

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories. Theoretical Computer Science, 333, (1-2), 297-327.

Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans. In, 20th Symposium on Logic in Computer Science, LICS 2005. IEEE Computer Society Press, 311-320.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories. Nordic Journal of Computing, 10, 163-183.

Sassone, V. and Sobocinski, P. (2002) Deriving Bisimulation Congruences: A 2-Categorical Approach. In, 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002. Elsevier, 19 pp..

Souilah, I

Souilah, Issam, Francalanza, Adrian and Sassone, Vladimiro (2009) A Formal Model of Provenance in Distributed Systems. In, Workshop on the Theory and Practice of Provenance

Srba, J

Nielsen, M., Sassone, V. and Srba, J. (2001) Properties of Distributed Time Arc Petri Nets. In, Foundation of Software Technology and Theoretical Computer Science, FST&TCS 2001. Springer, 280-291.

V. Sassone

Gorla, D., Hennessy, M. and V. Sassone, (2005) Security Policies as Membranes in Systems for Global Computing. In, Foundations of Global Ubiquitous Computing, FGUC 2004. Elsevier, 23-42.

Varadharajan, V

Varadharajan, V. and Sassone, V. (1991) A unifying Petri net model of non-interference and non-deducibility information flow security.

Winskel, G

Sassone, V., Nielsen, M. and Winskel, G. (1996) Models for Concurrency: Towards a Classification. Theoretical Computer Science, 170, (1-2), 297-348.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

Sassone, V., Nielsen, M. and Winskel, G. (1993) A Classification of Models for Concurrency. In, 4th International Conference on Concurrency Theory, CONCUR '93. Springer, 82-96.

Yang, M

Sassone, Vladimiro, Hamadou, Sardaouna and Yang, Mu (2010) Trust in Anonymity Networks. Lecture Notes in Computer Science, ARCoSS, 6269, 48-70.

This list was generated on Tue May 22 23:09:11 2012 BST.

Publications included from http://eprints.ecs.soton.ac.uk/view/person/9724.all_names.include.