Antonio Brogi

Razvan Popescu, Athanasios Staikopoulos, Antonio Brogi, Peng Liu, Siobhán Clarke: A formalized, taxonomy-driven approach to cross-layer application adaptation. TAAS 7(1): 7 (2012)

Javier Cubo, Antonio Brogi, Ernesto Pimentel: Behaviour-Aware Compositions of Things. GreenCom 2012: 1-8

José Júlio Alferes, Federico Banti, Antonio Brogi: Evolving reactive logic programs. Intelligenza Artificiale 5(1): 77-81 (2011)

Antonio Brogi: On the potential advantages of exploiting behavioural information for contract-based service discovery and composition. J. Log. Algebr. Program. 80(1): 3-12 (2011)

José Antonio Martín, Antonio Brogi, Ernesto Pimentel: Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation. FACS 2011: 259-277

Antonio Brogi, Razvan Popescu, Matteo Tanca: Design and implementation of Sator: A web service aggregator. ACM Trans. Softw. Eng. Methodol. 19(3) (2010)

Razvan Popescu, Athanasios Staikopoulos, Peng Liu, Antonio Brogi, Siobhán Clarke: Taxonomy-Driven Adaptation of Multi-layer Applications Using Templates. SASO 2010: 213-222

Antonio Brogi, Cesare Pautasso, George Angelos Papadopoulos (Eds.): 8th IEEE European Conference on Web Services (ECOWS 2010), 1-3 December 2010, Ayia Napa, Cyprus. IEEE Computer Society 2010, isbn 978-1-4244-9397-5

Ana M. Roldán, Ernesto Pimentel, Antonio Brogi: Software composition with Linda. Computer Languages, Systems & Structures 35(4): 395-405 (2009)

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: A Net-based Approach to Web Services Publication and Replaceability. Fundam. Inform. 94(3-4): 305-330 (2009)

Antonio Brogi, Sara Corfini, Thaizel Fuentes: A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems. ICSOC/ServiceWave 2009: 68-82

Antonio Brogi, João Araújo, Raquel Anaya (Eds.): Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), Medellín, Colombia, Abril 13-17, 2009. 2009

Antonio Brogi, Razvan Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel: A Service-Oriented Model for Embedded Peer-to-Peer Systems. Electr. Notes Theor. Comput. Sci. 194(4): 5-22 (2008)

Antonio Brogi, Razvan Popescu: Workflow-based semantics for peer-to-peer specifications. Frontiers of Computer Science in China 2(4): 398-412 (2008)

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: On the Use of Behavioural Equivalences for Web Services' Development. Fundam. Inform. 89(4): 479-510 (2008)

Antonio Brogi, Sara Corfini: Ontology- and Behavior-Aware Discovery of Web Service Compositions. Int. J. Cooperative Inf. Syst. 17(3): 319-347 (2008)

Antonio Brogi, Sara Corfini, Razvan Popescu: Semantics-based composition-oriented discovery of Web services. ACM Trans. Internet Techn. 8(4) (2008)

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. Petri Nets 2008: 52-71

Fabrizio Benigni, Antonio Brogi, Sara Corfini: Discovering service compositions that feature a desired behaviour. CIbSE 2008: 4-16

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

Antonio Brogi, Sara Corfini, Thaizel Fuentes: Tailoring service discovery to embedded P2P systems. MobiQuitous 2008

Antonio Brogi, Razvan Popescu: Workflow Semantics of Peer and Service Behaviour. TASE 2008: 143-150

Fabrizio Benigni, Antonio Brogi, Jean-Louis Buchholz, Jean-Marie Jacquet, Julien Lange, Razvan Popescu: Secure P2P Programming on Top of Tuple Spaces. WETICE 2008: 54-59

Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel: Dynamic Contextual Adaptation. Electr. Notes Theor. Comput. Sci. 175(2): 81-95 (2007)

Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel: Preface. Electr. Notes Theor. Comput. Sci. 180(2): 1-2 (2007)

Antonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types for Service Integration: Achievements and Challenges. Electr. Notes Theor. Comput. Sci. 180(2): 41-54 (2007)

Antonio Brogi, Sara Corfini: Behaviour-Aware Discovery of Web Service Compositions. Int. J. Web Service Res. 4(3): 1-25 (2007)

Antonio Brogi, Razvan Popescu: Automated Generation of BPEL Adapters. CIbSE 2007: 387-400

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: A Behavioural Congruence for Web Services. FSEN 2007: 240-256

Fabrizio Benigni, Antonio Brogi, Sara Corfini: Discovering Service Compositions That Feature a Desired Behaviour. ICSOC 2007: 56-68

Antonio Brogi, Sara Corfini, Stefano Iardella: From OWL-S Descriptions to Petri Nets. ICSOC Workshops 2007: 427-438

Antonio Brogi, Sara Corfini: SAM : A Semantic Web Service Discovery System. KES (3) 2007: 703-710

Antonio Brogi, Jean-Marie Jacquet, Joost N. Kok: Foundations on Coordination Languages and Software Architectures. Fundam. Inform. 73(4) (2006)

Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden: Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching. Fundam. Inform. 73(4): 431-478 (2006)

Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel: Preface. Sci. Comput. Program. 61(2): 73-74 (2006)

Antonio Brogi, Carlos Canal, Ernesto Pimentel: On the semantics of software adaptation. Sci. Comput. Program. 61(2): 136-151 (2006)

Isabelle Linden, Jean-Marie Jacquet, Koen De Bosschere, Antonio Brogi: On the expressiveness of timed coordination models. Sci. Comput. Program. 61(2): 152-187 (2006)

Antonio Brogi, Carlos Canal, Ernesto Pimentel: Component adaptation through flexible subservicing. Sci. Comput. Program. 63(1): 39-56 (2006)

Antonio Brogi, Razvan Popescu: Towards Semi-automated Workflow-based Aggregation of Web Services. CIbSE 2006: 9-22

Antonio Brogi, Razvan Popescu: Automated Generation of BPEL Adapters. ICSOC 2006: 27-39

Antonio Brogi, Sara Corfini, José Francisco Aldana Montes, Ismael Navas Delgado: Automated Discovery of Compositions of Services Described with Separate Ontologies. ICSOC 2006: 509-514

José Júlio Alferes, Federico Banti, Antonio Brogi: An Event-Condition-Action Logic Programming Language. JELIA 2006: 29-42

Antonio Brogi, Sara Corfini, José Francisco Aldana Montes, Ismael Navas Delgado: A Prototype for Discovering Compositions of Semantic Web Services. SWAP 2006

Antonio Brogi, Razvan Popescu: From BPEL Processes to YAWL Workflows. WS-FM 2006: 107-122

Andrea Bracciali, Antonio Brogi, Franco Turini: A framework for specifying and verifying the behaviour of open systems. J. Log. Algebr. Program. 63(2): 215-240 (2005)

Andrea Bracciali, Antonio Brogi, Carlos Canal: A formal approach to component adaptation. Journal of Systems and Software 74(1): 45-54 (2005)

José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite: The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79(1): 7-32 (2005)

Federico Banti, José Júlio Alferes, Antonio Brogi: Operational Semantics for DyLPs. EPIA 2005: 43-54

Antonio Brogi, Razvan Popescu: Towards Semi-automated Workflow-Based Aggregation of Web Services. ICSOC 2005: 214-227

Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler: The Well Supported Semantics for Multidimensional Dynamic Logic Programs. LPNMR 2005: 356-368

Antonio Brogi, Sara Corfini, Razvan Popescu: Composition-Oriented Service Discovery. Software Composition 2005: 15-30

Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel: Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. Electr. Notes Theor. Comput. Sci. 97: 1-2 (2004)

Antonio Brogi, Carlos Canal, Ernesto Pimentel: On the specification of software adaptation. Electr. Notes Theor. Comput. Sci. 97: 47-65 (2004)

Isabelle Linden, Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi: On the Expressiveness of Relative-Timed Coordination Models. Electr. Notes Theor. Comput. Sci. 97: 125-153 (2004)

Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo: Formalizing Web Service Choreographies. Electr. Notes Theor. Comput. Sci. 105: 73-94 (2004)

Antonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types and Component Adaptation. AMAST 2004: 42-56

José Júlio Alferes, Federico Banti, Antonio Brogi: From Logic Programs Updates to Action Description Updates. CLIMA 2004: 52-77

Antonio Brogi, Carlos Canal, Ernesto Pimentel: Measuring Component Adaptation. COORDINATION 2004: 71-86

Steffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander Romanovsky, Massimo Tivoli: Towards an Engineering Approach to Component Adaptation. Architecting Systems with Trustworthy Components 2004: 193-215

Federico Banti, José Júlio Alferes, Antonio Brogi: Well Founded Semantics for Logic Program Updates. IBERAMIA 2004: 397-407

Antonio Brogi: On the Semantics of Logic Program Composition. Program Development in Computational Logic 2004: 115-151

José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite: Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR 2004: 8-20

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

Antonio Brogi, Jean-Marie Jacquet: Preface. Electr. Notes Theor. Comput. Sci. 68(3): 247 (2003)

Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden: On Modeling Coordination via Asynchronous Communication and Enhanced Matching. Electr. Notes Theor. Comput. Sci. 68(3): 284-309 (2003)

Ana M. Roldán, Ernesto Pimentel, Antonio Brogi: Safe Composition of Linda-based Components. Electr. Notes Theor. Comput. Sci. 82(6): 180-189 (2003)

Antonio Brogi, Carlos Canal, Ernesto Pimentel: Soft component adaptation. Electr. Notes Theor. Comput. Sci. 85(3): 1-16 (2003)

Antonio Brogi, V. S. Subrahmanian, Carlo Zaniolo: A Deductive Database Approach to A.I. Planning. J. Intell. Inf. Syst. 20(3): 215-253 (2003)

Antonio Brogi, Jean-Marie Jacquet: On the expressiveness of coordination via shared dataspaces. Sci. Comput. Program. 46(1-2): 71-98 (2003)

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

José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Logic Programming for Evolving Agents. CIA 2003: 281-297

José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: An Evolvable Rule-Based E-mail Agent. EPIA 2003: 394-408

Antonio Brogi, Ernesto Pimentel, Ana M. Roldán: Compatibility of Linda-based Component Interfaces. Electr. Notes Theor. Comput. Sci. 66(4): 82-96 (2002)

Andrea Bracciali, Antonio Brogi, Carlos Canal: Systematic Component Adaptation. Electr. Notes Theor. Comput. Sci. 66(4): 97-113 (2002)

Antonio Brogi, Ernesto Pimentel: Preface. Electr. Notes Theor. Comput. Sci. 66(4): 134 (2002)

Andrea Bracciali, Antonio Brogi, Carlos Canal: Adapting Components with Mismatching Behaviours. Component Deployment 2002: 185-199

Andrea Bracciali, Antonio Brogi, Carlos Canal: Dynamically Adapting the Behaviour of Software Components. COORDINATION 2002: 88-95

José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Evolving Logic Programs. JELIA 2002: 50-61

Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto: Security and Dynamic Compositions of Open Systems. PDPTA 2002: 1372-1377

Antonio Brogi: Probabilistic behaviours of reactive agents. Electr. Notes Theor. Comput. Sci. 48: 227-252 (2001)

Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto: Security Issues in Component-based Design. Electr. Notes Theor. Comput. Sci. 54: 49-57 (2001)

Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Comparative analysis of the expressiveness of shared dataspace coordination. Electr. Notes Theor. Comput. Sci. 62: 102-115 (2001)

Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky: Linear Embedding for a Quantitative Comparison of Language Expressiveness. Electr. Notes Theor. Comput. Sci. 59(3): 207-237 (2001)

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

Antonio Brogi, Gianluca Caruso: From Subject Directories to Subject Meta-directories via Declarative Programming. PADL 2001: 45-59

Andrea Bracciali, Antonio Brogi, Franco Turini: Coordinating interaction patterns. SAC 2001: 159-165

Antonio Brogi, Patricia M. Hill: Special Issue on Logical Formalisms for Program Composition - Editorial. Journal of Functional and Logic Programming 2000(2) (2000)

Antonio Brogi, Simone Contiero, Franco Turini: On the Interplay between Reactivity and Computation. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 66-

Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi: On Timed Coordination Languages. COORDINATION 2000: 81-98

Antonio Brogi, Chiara Renso, Franco Turini: Dynamic composition of parameterised logic modules. Comput. Lang. 25(4): 211-242 (1999)

Antonio Brogi, Simone Contiero, Franco Turini: Programming by Combining General Logic Programs. J. Log. Comput. 9(1): 7-24 (1999)

Antonio Brogi, G. Marongiu: ExpertFinder: A Prolog Recommender System Integrated with the WWW. APPIA-GULP-PRODE 1999: 471-484

Antonio Brogi, Jean-Marie Jacquet: On the Expressiveness of Coordination Models. COORDINATION 1999: 134-149

Antonio Brogi, Jean-Marie Jacquet: On the Expressiveness of Linda-like Concurrent Languages. Electr. Notes Theor. Comput. Sci. 16(2): 75-96 (1998)

Antonio Brogi, Simone Contiero: A Program Specialiser for Meta-Level Compositions of Logic Programs. New Generation Comput. 16(2): 123-161 (1998)

Antonio Brogi, Simone Contiero, Franco Turini: The Use of Renaming in Composing General Programs. LOPSTR 1998: 124-142

Antonio Brogi, V. S. Subrahmanian, Carlo Zaniolo: The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach. Ann. Math. Artif. Intell. 19(1-2): 27-58 (1997)

Antonio Brogi: A Turing machine contest for introducing high school students to computer science. SIGCSE Bulletin 29(2): 23-27 (1997)

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: A Unifying View for Logic Programming with Non-Monotonic Reasoning. Theor. Comput. Sci. 184(1-2): 1-5 (1997)

Antonio Brogi, Jean-Marie Jacquet: Modeling Coordination via Asynchronous Communication. COORDINATION 1997: 238-255

Antonio Brogi, Simone Contiero, Franco Turini: Composing General Logic Programs. LPNMR 1997: 274-289

Antonio Brogi, Simone Contiero: Specialising Meta-level Compositions of Logic Programs. APPIA-GULP-PRODE 1996: 535-548

Antonio Brogi, Cosimo Guarino: Pruning the Search Space of Logic Programs. ELP 1996: 35-49

Antonio Brogi, Simone Contiero: Specialising Meta-level Compositions of Logic Programs. LOPSTR 1996: 275-294

Antonio Brogi, Franco Turini: Fully Abstract Composition Semantics for an Algebra of Logic Programs. Theor. Comput. Sci. 149(2): 201-209 (1995)

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: An Abductive Framework for Extended Logic Programming. LPNMR 1995: 330-343

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Modular Logic Programming. ACM Trans. Program. Lang. Syst. 16(4): 1361-1398 (1994)

Antonio Brogi, Chiara Renso, Franco Turini: Amalgamating Language and Meta-language for Composing Logic Programs. GULP-PRODE (2) 1994: 408-422

Antonio Brogi, Franco Turini: Semantics of Meta-Logic in an Algebra of Programs. LICS 1994: 262-270

Antonio Brogi, Simone Contiero: Gödel as a Meta-Language for Composing Logic Programs. META 1994: 377-394

Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini: Implementations of Program Composition Operations. PLILP 1994: 292-307

Antonio Brogi, Roberto Gorrieri: Distributed Logic Programming. J. Log. Program. 15(4): 295-335 (1993)

Antonio Brogi, Evelina Lamma, Paola Mello: Composing Open Logic Programs. J. Log. Comput. 3(4): 417-439 (1993)

Antonio Brogi, Anna Ciampolini, Evelina Lamma, Paola Mello: The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses. Inf. Process. Lett. 42(6): 331-338 (1992)

Antonio Brogi, Evelina Lamma, Paola Mello: Compositional Model-Theoretic Semantics for Logic Programs. New Generation Comput. 11(1): 1-21 (1992)

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Normal logic programs as open positive programs. CNKBS 1992: 9-11

Antonio Brogi, Evelina Lamma, Paola Mello: ATMS for Implementing Logic Programming. ECAI 1992: 114-118

Antonio Brogi, Franco Turini: Metalogic for State Oriented Programming. ELP 1992: 187-204

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Normal Logic Programs as Open Positive Programs. JICSLP 1992: 783-797

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Meta for Modularising Logic Programming. META 1992: 105-119

Antonio Brogi, Paolo Ciancarini: The Concurrent Language, Shared Prolog. ACM Trans. Program. Lang. Syst. 13(1): 99-123 (1991)

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Abductive Reasoning in a Multi-Theory Framework. AI*IA 1991: 137-146

Antonio Brogi, Evelina Lamma, Paola Mello: Open Logic Theories. ELP 1991: 73-88

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs 1991: 241-250

Antonio Brogi, Franco Turini: Metalogic for Knowledge Representation. KR 1991: 61-69

Antonio Brogi, Evelina Lamma, Paola Mello: Objects in a Logic Programming Framework. RCLP 1991: 102-113

Antonio Brogi, Maurizio Gabbrielli: Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes. PLILP 1991: 407-418

Antonio Brogi, Evelina Lamma, Paola Mello: Hypothetical Reasoning in Logic Programming: A Semantic Approach. Inf. Process. Lett. 36(6): 285-291 (1990)

Antonio Brogi, Evelina Lamma, Paola Mello: Inheritance and Hypothetical Reasoning in Logic Programming. ECAI 1990: 105-110

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Universal Quantification by Case Analysis. ECAI 1990: 111-116

Antonio Brogi: AND-Parallelism without Shared Variables. ICLP 1990: 306-321

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Logic Programming within a Functional Framework. PLILP 1990: 372-386

Antonio Brogi, Roberto Gorrieri: Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. ICLP 1989: 637-652

Antonio Brogi, Roberto Gorrieri: A Distributed, Net Oriented Semantics for Delta Prolog. TAPSOFT, Vol.1 1989: 162-177