Items where Author is "Brogi, Antonio"
Group by: Item Type | No Grouping Jump to: Book Number of items: 7. BookBonchi, Filippo and Brogi, Antonio and Corfini, Sara and Gadducci, Fabio (2008) Compositional Specification of Web Services via Behavioural Equivalence of Nets: A Case Study. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Brogi, Antonio and Popescu, Razvan (2006) BPEL2YAWL: Transalating BPEL processes into YAWL workflows. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Brogi, Antonio and Popescu, Razvan and Tanca, Matteo (2006) Design and implementation of SATOR: a Web service aggregator. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Brogi, Antonio and Popescu, Razvan (2006) Contract-based Service Aggregation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Brogi, Antonio and Corfini, Sara (2006) Behaviour-aware discovery of Web service compositions. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Brogi, Antonio and Contiero, Simone and Turini, Franco (1997) Programming by Combining General Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Brogi, Antonio and Contiero, Simone (1996) A Program Specialiser for Meta-level Compositions of Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. |