The SCEAS System
Navigation Menu

Search the dblp DataBase


Alessandro Lapadula: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
    A Calculus for Orchestration of Web Services. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:33-47 [Conf]
  4. 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]
  5. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
    Regulating Data Exchange in Service Oriented Applications. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:223-239 [Conf]

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

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

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

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

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

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

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

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

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002