( en | de | ru )

 

Disambiguation of "Traverso, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
At Your Service: Service-Oriented Computing from an EU Perspective

, , , and (Eds.) Information Systems MIT Press, Cambridge, MA, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paola Traverso

Paola Traverso

Paola Traverso

Giordano Paolo

Paola Traverso

 

Other publications of authors with the same name

A dynamic logic for acting, sensing, and planning., and . J. Log. Comput., 10 (6): 787-821 (2000)Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities.. SMARTGREENS, page IS-7. SciTePress, (2015)Computational reflection via mechanized logical deduction., and . Int. J. Intell. Syst., 11 (5): 279-293 (1996)Service-Oriented Computing: State of the Art and Research Challenges., , , and . Computer, 40 (11): 38-45 (2007)Automated composition of Web services via planning in asynchronous domains., , and . Artif. Intell., 174 (3-4): 316-361 (2010)Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking., , , and . IJCAI, page 473-478. Morgan Kaufmann, (2001)A Provably Correct Embedded Verifier for the Certification of Safety Critical Software., , , , , , , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 202-213. Springer, (1997)A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools., , , and . SAFECOMP, volume 1516 of Lecture Notes in Computer Science, page 221-230. Springer, (1998)Automating Meta-Theory Creation and System Extension., , and . AI*IA, volume 549 of Lecture Notes in Computer Science, page 48-57. Springer, (1991)Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World., , and . ATAL, volume 1037 of Lecture Notes in Computer Science, page 65-78. Springer, (1995)