The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michele Boreale: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michele Boreale
    Symbolic Bisimulation for Timed Processes. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:321-335 [Conf]
  2. Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
    D-Fusion: A Distinctive Fusion Calculus. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:296-310 [Conf]
  3. Michele Boreale
    On the Expressiveness of Internal Mobility in Name-Passing Calculi. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:163-178 [Conf]
  4. Michele Boreale, Maria Grazia Buscemi
    A Framework for the Analysis of Security Protocols. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:483-498 [Conf]
  5. Michele Boreale, Rocco De Nicola
    Testing Equivalence for Mobile Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:2-16 [Conf]
  6. Michele Boreale, Rocco De Nicola
    A Symbolic Semantics for the pi-calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:299-314 [Conf]
  7. Michele Boreale
    Attacking Right-to-Left Modular Exponentiation with Timely Random Faults. [Citation Graph (0, 0)][DBLP]
    FDTC, 2006, pp:24-35 [Conf]
  8. Lucia Acciai, Michele Boreale
    XPi: A Typed Process Calculus for XML Messaging. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:47-66 [Conf]
  9. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Process Algebraic Analysis of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:375-392 [Conf]
  10. Michele Boreale, Daniele Gorla
    On Compositional Reasoning in the Spi-calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:67-81 [Conf]
  11. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Asynchronous Observations of Processes. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:95-109 [Conf]
  12. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    A Theory of "May" Testing for Asynchronous Languages. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:165-179 [Conf]
  13. Michele Boreale, Luca Trevisan
    On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1995, pp:294-308 [Conf]
  14. Michele Boreale
    Symbolic Trace Analysis of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:667-681 [Conf]
  15. Michele Boreale
    Quantifying Information Leakage in Process Calculi. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:119-131 [Conf]
  16. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Basic Observables for Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:482-492 [Conf]
  17. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Proof Techniques for Cryptographic Processes. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:157-166 [Conf]
  18. Michele Boreale, Davide Sangiorgi
    Bisimulation in Name-Passing Calculi without Matching. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:165-175 [Conf]
  19. Michele Boreale, Maria Grazia Buscemi
    Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation. [Citation Graph (0, 0)][DBLP]
    MFCS, 2003, pp:269-278 [Conf]
  20. Michele Boreale, Fabio Gadducci
    Denotational Testing Semantics in Coinductive Form. [Citation Graph (0, 0)][DBLP]
    MFCS, 2003, pp:279-289 [Conf]
  21. Michele Boreale, Luca Trevisan
    Bisimilarity Problems Requiring Exponential Time. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:230-241 [Conf]
  22. Michele Boreale, Cédric Fournet, Cosimo Laneve
    Bisimulations in the join-calculus. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:68-86 [Conf]
  23. Michele Boreale, Maria Grazia Buscemi
    Experimenting with STA, a tool for automatic analysis of security protocols. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:281-285 [Conf]
  24. Michele Boreale, Davide Sangiorgi
    A Fully Abstract Semantics for Causality in the Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    STACS, 1995, pp:243-254 [Conf]
  25. Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
    A General Name Binding Mechanism. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:61-74 [Conf]
  26. Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
    SCC: A Service Centered Calculus. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:38-57 [Conf]
  27. Michele Boreale, Davide Sangiorgi
    A Fully Abstract Semantics for Causality in the \pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:5, pp:353-400 [Journal]
  28. Michele Boreale, Rocco De Nicola
    Testing Equivalence for Mobile Processes [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:120, n:2, pp:279-303 [Journal]
  29. Michele Boreale, Rocco De Nicola
    A Symbolic Semantics for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:126, n:1, pp:34-52 [Journal]
  30. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Trace and Testing Equivalence on Asynchronous Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:172, n:2, pp:139-164 [Journal]
  31. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Basic Observables for Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:149, n:1, pp:77-98 [Journal]
  32. Michele Boreale, Paola Inverardi, Monica Nesi
    Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:43, n:3, pp:155-160 [Journal]
  33. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Proof Techniques for Cryptographic Processes. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 2001, v:31, n:3, pp:947-986 [Journal]
  34. Michele Boreale
    On the Expressiveness of Internal Mobility in Name-Passing Calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:205-226 [Journal]
  35. Michele Boreale, Maria Grazia Buscemi
    A method for symbolic analysis of security protocols. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:393-425 [Journal]
  36. Michele Boreale, Fabio Gadducci
    Processes as formal power series: A coinductive approach to denotational semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:440-458 [Journal]
  37. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Divergence in testing and readiness semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:237-248 [Journal]
  38. Michele Boreale, Davide Sangiorgi
    Some Congruence Properties for Pi-Calculus Bisimilarities. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:198, n:1-2, pp:159-176 [Journal]
  39. Michele Boreale, Luca Trevisan
    A complexity analysis of bisimilarity for value-passing processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:238, n:1-2, pp:313-345 [Journal]
  40. Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
    A Concurrent Calculus with Atomic Transactions. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:48-63 [Conf]
  41. Lucia Acciai, Michele Boreale
    Type Abstractions of Name-Passing Processes. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:302-317 [Conf]
  42. Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
    A Concurrent Calculus with Atomic Transactions [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  43. Responsiveness in Process Calculi. [Citation Graph (, )][DBLP]


  44. A Type System for Client Progress in a Service-Oriented Calculus. [Citation Graph (, )][DBLP]


  45. Spatial and Behavioral Types in the Pi-Calculus. [Citation Graph (, )][DBLP]


  46. Weighted Bisimulation in Linear Algebraic Form. [Citation Graph (, )][DBLP]


  47. Behavioural Contracts with Request-Response Operations. [Citation Graph (, )][DBLP]


  48. Sessions and Pipelines for Structured Service Programming. [Citation Graph (, )][DBLP]


  49. On the Relationship between Spatial Logics and Behavioral Simulations. [Citation Graph (, )][DBLP]


  50. Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. [Citation Graph (, )][DBLP]


  51. A Typed Calculus for Querying Distributed XML Documents. [Citation Graph (, )][DBLP]


  52. Proceedings 7th International Workshop on Security Issues in Concurrency [Citation Graph (, )][DBLP]


Search in 0.025secs, Finished in 0.026secs
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