Antonio Brogi - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Evolving reactive logic programsJosé Júlio Alferes, Federico Banti, Antonio Brogi. ia, 5(1):77-81, 2011. [doi]

On the potential advantages of exploiting behavioural information for contract-based service discovery and compositionAntonio Brogi. jlp, 80(1):3-12, 2011. [doi]

2010

Design and implementation of Sator: A web service aggregatorAntonio Brogi, Razvan Popescu, Matteo Tanca. TOSEM, 19(3), 2010. [doi]

Taxonomy-Driven Adaptation of Multi-layer Applications Using TemplatesRazvan Popescu, Athanasios Staikopoulos, Peng Liu, Antonio Brogi, Siobhán Clarke. saso 2010: 213-222 [doi]

2009

2008

Discovering service compositions that feature a desired behaviourFabrizio Benigni, Antonio Brogi, Sara Corfini. cibse 2008: 4-16

Secure P2P Programming on Top of Tuple SpacesFabrizio Benigni, Antonio Brogi, Jean-Louis Buchholz, Jean-Marie Jacquet, Julien Lange, Razvan Popescu. wetice 2008: 54-59 [doi]

On the Use of Behavioural Equivalences for Web Services DevelopmentFilippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci. FUIN, 89(4):479-510, 2008. [doi]

Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case StudyFilippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci. apn 2008: 52-71 [doi]

Modelado de sistemas P2P con control de excepcionesAntonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu. cibse 2008: 31-44

Tailoring service discovery to embedded P2P systemsAntonio Brogi, Sara Corfini, Thaizel Fuentes. mobiquitous 2008: [doi]

Ontology- and Behavior-Aware Discovery of Web Service CompositionsAntonio Brogi, Sara Corfini. ijcis, 17(3):319-347, 2008. [doi]

A Service-Oriented Model for Embedded Peer-to-Peer SystemsAntonio Brogi, Razvan Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel. ENTCS, 194(4):5-22, 2008. [doi]

Workflow Semantics of Peer and Service BehaviourAntonio Brogi, Razvan Popescu. tase 2008: 143-150 [doi]

Workflow-based semantics for peer-to-peer specificationsAntonio Brogi, Razvan Popescu. fcsc, 2(4):398-412, 2008. [doi]

Semantics-based composition-oriented discovery of Web servicesAntonio Brogi, Sara Corfini, Razvan Popescu. ACM Trans. Internet Techn., 8(4), 2008. [doi]

2007

Discovering Service Compositions That Feature a Desired BehaviourFabrizio Benigni, Antonio Brogi, Sara Corfini. icsoc 2007: 56-68 [doi]

A Behavioural Congruence for Web ServicesFilippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci. fsen 2007: 240-256 [doi]

Dynamic Contextual AdaptationAntonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel. ENTCS, 175(2):81-95, 2007. [doi]

PrefaceAntonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel. ENTCS, 180(2):1-2, 2007. [doi]

Behavioural Types for Service Integration: Achievements and ChallengesAntonio Brogi, Carlos Canal, Ernesto Pimentel. ENTCS, 180(2):41-54, 2007. [doi]

Automated Generation of BPEL AdaptersAntonio Brogi, Razvan Popescu. cibse 2007: 387-400

From OWL-S Descriptions to Petri NetsAntonio Brogi, Sara Corfini, Stefano Iardella. icsoc 2009: 427-438 [doi]

SAM : A Semantic Web Service Discovery SystemAntonio Brogi, Sara Corfini. kes 2007: 703-710 [doi]

Behaviour-Aware Discovery of Web Service CompositionsAntonio Brogi, Sara Corfini. jwsr, 4(3):1-25, 2007. [doi]

2006

An Event-Condition-Action Logic Programming LanguageJosé Júlio Alferes, Federico Banti, Antonio Brogi. jelia 2006: 29-42 [doi]

PrefaceAntonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel. SCP, 61(2):73-74, 2006. [doi]

Component adaptation through flexible subservicingAntonio Brogi, Carlos Canal, Ernesto Pimentel. SCP, 63(1):39-56, 2006. [doi]

Automated Generation of BPEL AdaptersAntonio Brogi, Razvan Popescu. icsoc 2006: 27-39 [doi]

From BPEL Processes to YAWL WorkflowsAntonio Brogi, Razvan Popescu. wsfm 2006: 107-122 [doi]

On the semantics of software adaptationAntonio Brogi, Carlos Canal, Ernesto Pimentel. SCP, 61(2):136-151, 2006. [doi]

Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced MatchingAntonio Brogi, Jean-Marie Jacquet, Isabelle Linden. FUIN, 73(4):431-478, 2006. [doi]

A Prototype for Discovering Compositions of Semantic Web ServicesAntonio Brogi, Sara Corfini, José Francisco Aldana Montes, Ismael Navas Delgado. swap 2006: [doi]

Automated Discovery of Compositions of Services Described with Separate OntologiesAntonio Brogi, Sara Corfini, José Francisco Aldana Montes, Ismael Navas Delgado. icsoc 2006: 509-514 [doi]

Towards Semi-automated Workflow-based Aggregation of Web ServicesAntonio Brogi, Razvan Popescu. cibse 2006: 9-22

Foundations on Coordination Languages and Software ArchitecturesAntonio Brogi, Jean-Marie Jacquet, Joost N. Kok. FUIN, 73(4), 2006. [doi]

On the expressiveness of timed coordination modelsIsabelle Linden, Jean-Marie Jacquet, Koen De Bosschere, Antonio Brogi. SCP, 61(2):152-187, 2006. [doi]

2005

The Refined Extension Principle for Semantics of Dynamic Logic ProgrammingJosé Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite. sLogica, 79(1):7-32, 2005. [doi]

Operational Semantics for DyLPsFederico Banti, José Júlio Alferes, Antonio Brogi. epia 2005: 43-54 [doi]

The Well Supported Semantics for Multidimensional Dynamic Logic ProgramsFederico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler. lpnmr 2005: 356-368 [doi]

A framework for specifying and verifying the behaviour of open systemsAndrea Bracciali, Antonio Brogi, Franco Turini. jlp, 63(2):215-240, 2005. [doi]

A formal approach to component adaptationAndrea Bracciali, Antonio Brogi, Carlos Canal. jss, 74(1):45-54, 2005. [doi]

Composition-Oriented Service DiscoveryAntonio Brogi, Sara Corfini, Razvan Popescu. SC 2005: 15-30 [doi]

Towards Semi-automated Workflow-Based Aggregation of Web ServicesAntonio Brogi, Razvan Popescu. icsoc 2005: 214-227 [doi]

2004

From Logic Programs Updates to Action Description UpdatesJosé Júlio Alferes, Federico Banti, Antonio Brogi. clima 2005: 52-77 [doi]

Semantics for Dynamic Logic Programming: A Principle-Based ApproachJosé Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite. lpnmr 2004: 8-20 [doi]

Well Founded Semantics for Logic Program UpdatesFederico Banti, José Júlio Alferes, Antonio Brogi. sbia 2004: 397-407 [doi]

Digital reconstruction of the Arrigo VII funerary complexClara Baracchini, Antonio Brogi, Marco Callieri, Lucia Capitani, Paolo Cignoni, Andrea Fasano, Claudio Montani, C. Nenci, R. P. Novello, Paolo Pingi, Federico Ponchio, Roberto Scopigno. vast 2004: 145-154 [doi]

Towards an Engineering Approach to Component AdaptationSteffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander Romanovsky, Massimo Tivoli. dagstuhl 2006: 193-215 [doi]

Behavioural Types and Component AdaptationAntonio Brogi, Carlos Canal, Ernesto Pimentel. amast 2004: 42-56 [doi]

On the specification of software adaptationAntonio Brogi, Carlos Canal, Ernesto Pimentel. ENTCS, 97:47-65, 2004. [doi]

Measuring Component AdaptationAntonio Brogi, Carlos Canal, Ernesto Pimentel. coordination 2004: 71-86 [doi]

Formalizing Web Service ChoreographiesAntonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo. ENTCS, 105:73-94, 2004. [doi]

On the Semantics of Logic Program CompositionAntonio Brogi. LOPSTR 2004: 115-151 [doi]

Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel. ENTCS, 97:1-2, 2004. [doi]

On the Expressiveness of Relative-Timed Coordination ModelsIsabelle Linden, Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi. ENTCS, 97:125-153, 2004. [doi]

2003

An Evolving Agent with EVOLPJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira. agp 2003: 205-216

Logic Programming for Evolving AgentsJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira. cia 2003: 281-297 [doi]

An Evolvable Rule-Based E-mail AgentJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira. epia 2003: 394-408 [doi]

PrefaceAntonio Brogi, Jean-Marie Jacquet. ENTCS, 68(3), 2003. [doi]

Soft component adaptationAntonio Brogi, Carlos Canal, Ernesto Pimentel. ENTCS, 85(3), 2003. [doi]

On the expressiveness of coordination via shared dataspacesAntonio Brogi, Jean-Marie Jacquet. SCP, 46(1-2):71-98, 2003. [doi]

A Deductive Database Approach to A.I. PlanningAntonio Brogi, V. S. Subrahmanian, Carlo Zaniolo. jiis, 20(3):215-253, 2003.

On Modeling Coordination via Asynchronous Communication and Enhanced MatchingAntonio Brogi, Jean-Marie Jacquet, Isabelle Linden. ENTCS, 68(3), 2003. [doi]

Safe Composition of Linda-based ComponentsAna M. Roldán, Ernesto Pimentel, Antonio Brogi. ENTCS, 82(6), 2003. [doi]

2002

2001

Computing Environment-Aware Agent Behaviours with Logic Program UpdatesJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira. LOPSTR 2001: 216-232 [doi]

Coordinating interaction patternsAndrea Bracciali, Antonio Brogi, Franco Turini. SAC 2001: 159-165 [doi]

Security Issues in Component-based DesignAndrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto. ENTCS, 54, 2001. [doi]

Linear Embedding for a Quantitative Comparison of Language ExpressivenessAntonio Brogi, Alessandra Di Pierro, Herbert Wiklicky. TCS, 59(3), 2001. [doi]

Probabilistic behaviours of reactive agentsAntonio Brogi. ENTCS, 48, 2001. [doi]

From Subject Directories to Subject Meta-directories via Declarative ProgrammingAntonio Brogi, Gianluca Caruso. padl 2001: 45-59 [doi]

Comparative analysis of the expressiveness of shared dataspace coordinationAntonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro. ENTCS, 62, 2001. [doi]

2000

On the Interplay between Reactivity and ComputationAntonio Brogi, Simone Contiero, Franco Turini. cl 2000: 66

Special Issue on Logical Formalisms for Program Composition - EditorialAntonio Brogi, Patricia M. Hill. jflp, 2000(2), 2000.

On Timed Coordination LanguagesJean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi. coordination 2000: 81-98 [doi]

1999

1998

The Use of Renaming in Composing General ProgramsAntonio Brogi, Simone Contiero, Franco Turini. LOPSTR 1990: 124-142 [doi]

On the Expressiveness of Linda-like Concurrent LanguagesAntonio Brogi, Jean-Marie Jacquet. ENTCS, 16(2), 1998. [doi]

A Program Specialiser for Meta-Level Compositions of Logic ProgramsAntonio Brogi, Simone Contiero. ngc, 16(2):123-161, 1998.

1997

1996

Pruning the Search Space of Logic ProgramsAntonio Brogi, Cosimo Guarino. elp 1996: 35-49

Specialising Meta-level Compositions of Logic ProgramsAntonio Brogi, Simone Contiero. agp 1996: 535-548

Specialising Meta-level Compositions of Logic ProgramsAntonio Brogi, Simone Contiero. LOPSTR 1997: 275-294

PreviousNext