The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vladimiro Sassone: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  73. Models of Computation: A Tribute to Ugo Montanari's Vision. [Citation Graph (, )][DBLP]


  74. Trust in Anonymity Networks. [Citation Graph (, )][DBLP]


  75. A Formal Model of Provenance in Distributed Systems. [Citation Graph (, )][DBLP]


  76. Towards a Formal Framework for Computational Trust. [Citation Graph (, )][DBLP]


  77. Structural Operational Semantics for Stochastic Process Calculi. [Citation Graph (, )][DBLP]


  78. Probable Innocence in the Presence of Independent Knowledge. [Citation Graph (, )][DBLP]


  79. HMM-Based Trust Model. [Citation Graph (, )][DBLP]


  80. Reconciling Belief and Vulnerability in Information Flow. [Citation Graph (, )][DBLP]


  81. Security Policies as Membranes in Systems for Global Computing [Citation Graph (, )][DBLP]


Search in 0.010secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002