The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rosario Pugliese: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    KLAIM: A Kernel Language for Agents Interaction and Mobility. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:5, pp:315-330 [Journal]
  2. Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
    A Mobility Calculus with Local and Dependent Types. [Citation Graph (0, 0)][DBLP]
    Processes, Terms and Cycles, 2005, pp:404-444 [Conf]
  3. Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
    A Formal Basis for Reasoning on Programmable QoS. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:436-479 [Conf]
  4. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Programming Access Control: The KLAIM Experience. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:48-65 [Conf]
  5. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
    A WSDL-Based Type System for WS-BPEL. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2006, pp:145-163 [Conf]
  6. Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
    A Process Calculus for QoS-Aware Applications. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:33-48 [Conf]
  7. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Coordinating Mobile Agents via Blackboards and Access Rights. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:220-237 [Conf]
  8. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Global Computing in a Dynamic Network of Tuple Spaces. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:157-172 [Conf]
  9. Rocco De Nicola, Rosario Pugliese
    A Process Algebra Based on LINDA. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1996, pp:160-178 [Conf]
  10. Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron
    Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:66-80 [Conf]
  11. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Types as Specifications of Access Policies. [Citation Graph (0, 0)][DBLP]
    Secure Internet Programming, 1999, pp:118-146 [Conf]
  12. Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci
    A Symbolic Model Checker for ACTL. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:228-242 [Conf]
  13. Rosario Pugliese, Enrico Tronci
    Automatic Verification of a Hydroelectric Power Plant. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:425-444 [Conf]
  14. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Pattern Matching over a Dynamic Network of Tuple Spaces. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:1-14 [Conf]
  15. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Process Algebraic Analysis of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:375-392 [Conf]
  16. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Asynchronous Observations of Processes. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:95-109 [Conf]
  17. 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]
  18. Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
    The Klaim Project: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:88-150 [Conf]
  19. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Basic Observables for Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:482-492 [Conf]
  20. Daniele Gorla, Rosario Pugliese
    Resource Access and Mobility Control with Dynamic Privileges Acquisition. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:119-132 [Conf]
  21. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Basic Observables for a Calculus for Global Computing. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1226-1238 [Conf]
  22. Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
    Dynamic and Local Typing for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:577-590 [Conf]
  23. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Proof Techniques for Cryptographic Processes. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:157-166 [Conf]
  24. Rocco De Nicola, Rosario Pugliese
    Testing Semantics of Asynchronous Distributed Programs. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:320-344 [Conf]
  25. Lorenzo Bettini, Michele Loreti, Rosario Pugliese
    Structured Nets in KLAIM. [Citation Graph (0, 0)][DBLP]
    SAC (1), 2000, pp:174-180 [Conf]
  26. Lorenzo Bettini, Michele Loreti, Rosario Pugliese
    An infrastructure language for open nets. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:373-377 [Conf]
  27. Daniele Gorla, Rosario Pugliese
    Controlling data movement in global computing applications. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1462-1467 [Conf]
  28. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    MetaKlaim: Meta-programming for Global Computing. [Citation Graph (0, 0)][DBLP]
    SAIG, 2001, pp:183-198 [Conf]
  29. Daniele Gorla, Rosario Pugliese
    Enforcing Security Policies via Types. [Citation Graph (0, 0)][DBLP]
    SPC, 2003, pp:86-100 [Conf]
  30. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Locality Based Linda: Programming with Explicit Localities. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:712-726 [Conf]
  31. Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
    AGILE: Software Architecture for Mobility. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:1-33 [Conf]
  32. Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian Luigi Ferrari
    Interactive Mobile Agents in X-Klaim. [Citation Graph (0, 0)][DBLP]
    WETICE, 1998, pp:110-117 [Conf]
  33. Gian Luigi Ferrari, Rosario Pugliese, Emilio Tuosto
    Calculi for Network Aware Programming. [Citation Graph (0, 0)][DBLP]
    WOA, 2000, pp:23-28 [Conf]
  34. Lorenzo Bettini, Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Mobile Applications in X-KLAIM. [Citation Graph (0, 0)][DBLP]
    WOA, 2000, pp:1-6 [Conf]
  35. Lorenzo Bettini, Michele Loreti, Rosario Pugliese
    Modelling Node Connectivity in Dynamically Evolving Networks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  36. Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
    XKlaim and Klava: Programming Mobile Code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  37. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    Higher-Order Types and Meta-Programming for Global Computing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  38. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    Global Types and Network Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  39. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    Guardians for Ambient-based Monitoring. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:3, pp:- [Journal]
  40. Anna Ingólfsdóttir, Rosario Pugliese
    Towards Verified Lazy Implementation of Concurrent Value-Passing Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:27, n:, pp:- [Journal]
  41. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    On the Expressive Power of Klaim-based Calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:117-130 [Journal]
  42. 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]
  43. 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]
  44. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
    MetaKlaim: a type safe multi-stage language for global computing. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2004, v:14, n:3, pp:367-395 [Journal]
  45. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Confining data and processes in global computing applications. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:63, n:1, pp:57-87 [Journal]
  46. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Global computing in a dynamic network of tuple spaces. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:64, n:2, pp:187-204 [Journal]
  47. 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]
  48. Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
    Klava: a Java package for distributed and mobile applications. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2002, v:32, n:14, pp:1365-1394 [Journal]
  49. 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]
  50. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri
    Types for access control. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:240, n:1, pp:215-254 [Journal]
  51. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    On the expressive power of KLAIM-based calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:356, n:3, pp:387-421 [Journal]
  52. Rocco De Nicola, Rosario Pugliese
    Linda-based applicative and imperative process algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:238, n:1-2, pp:389-437 [Journal]
  53. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
    A Calculus for Orchestration of Web Services. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:33-47 [Conf]
  54. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
    C-clock-WS: A Timed Service-Oriented Calculus. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:275-290 [Conf]
  55. Pilu Crescenzi, Michele Loreti, Rosario Pugliese
    Assessing CS1 java skills: a three-year experience. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2006, pp:348- [Conf]
  56. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
    Regulating Data Exchange in Service Oriented Applications. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:223-239 [Conf]
  57. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Basic observables for a calculus for global computing. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:10, pp:1491-1525 [Journal]

  58. Specifying and Analysing SOC Applications with COWS. [Citation Graph (, )][DBLP]


  59. A Formal Account of WS-BPEL. [Citation Graph (, )][DBLP]


  60. From Flow Logic to Static Type Systems for Coordination Languages. [Citation Graph (, )][DBLP]


  61. A Model Checking Approach for Verifying COWS Specifications. [Citation Graph (, )][DBLP]


  62. On Observing Dynamic Prioritised Actions in SOC. [Citation Graph (, )][DBLP]


  63. On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. [Citation Graph (, )][DBLP]


  64. SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. [Citation Graph (, )][DBLP]


  65. A tool for rapid development of WS-BPEL applications. [Citation Graph (, )][DBLP]


  66. Service Discovery and Negotiation With COWS. [Citation Graph (, )][DBLP]


  67. Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. [Citation Graph (, )][DBLP]


  68. A Symbolic Semantics for a Calculus for Service-Oriented Computing. [Citation Graph (, )][DBLP]


  69. From Architectural to Behavioural Specification of Services. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
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