 | 2009 |
|---|
| 122 |       | Antonio Brogi,
João Araújo,
Raquel Anaya:
Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), Medellín, Colombia, Abril 13-17, 2009
CIbSE 2009 |
| 121 |  | 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 |
| 2008 |
|---|
| 120 | | Antonio Brogi,
Francisco Gutiérrez,
Pablo López,
Ernesto Pimentel,
Razvan Popescu:
Modelado de sistemas P2P con control de excepciones.
CIbSE 2008: 31-44 |
| 119 | | Fabrizio Benigni,
Antonio Brogi,
Sara Corfini:
Discovering service compositions that feature a desired behaviour.
CIbSE 2008: 4-16 |
| 118 | | Antonio Brogi,
Sara Corfini,
Thaizel Fuentes:
Tailoring service discovery to embedded P2P systems.
MobiQuitous 2008 |
| 117 | | 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 |
| 116 | | Antonio Brogi,
Razvan Popescu:
Workflow Semantics of Peer and Service Behaviour.
TASE 2008: 143-150 |
| 115 | | 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 |
| 114 | | Antonio Brogi,
Sara Corfini,
Razvan Popescu:
Semantics-based composition-oriented discovery of Web services.
ACM Trans. Internet Techn. 8(4): (2008) |
| 113 | | 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) |
| 112 | | Antonio Brogi,
Razvan Popescu:
Workflow-based semantics for peer-to-peer specifications.
Frontiers of Computer Science in China 2(4): 398-412 (2008) |
| 111 | | 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) |
| 110 | | Antonio Brogi,
Sara Corfini:
Ontology- and Behavior-Aware Discovery of Web Service Compositions.
Int. J. Cooperative Inf. Syst. 17(3): 319-347 (2008) |
| 2007 |
|---|
| 109 | | Filippo Bonchi,
Antonio Brogi,
Sara Corfini,
Fabio Gadducci:
A Behavioural Congruence for Web Services.
FSEN 2007: 240-256 |
| 108 | | Fabrizio Benigni,
Antonio Brogi,
Sara Corfini:
Discovering Service Compositions That Feature a Desired Behaviour.
ICSOC 2007: 56-68 |
| 107 | | Antonio Brogi,
Sara Corfini,
Stefano Iardella:
From OWL-S Descriptions to Petri Nets.
ICSOC Workshops 2007: 427-438 |
| 106 | | Antonio Brogi,
Sara Corfini:
SAM : A Semantic Web Service Discovery System.
KES (3) 2007: 703-710 |
| 105 | | Antonio Brogi,
Javier Cámara,
Carlos Canal,
Javier Cubo,
Ernesto Pimentel:
Dynamic Contextual Adaptation.
Electr. Notes Theor. Comput. Sci. 175(2): 81-95 (2007) |
| 104 | | Antonio Brogi,
Jean-Marie Jacquet,
Ernesto Pimentel:
Preface.
Electr. Notes Theor. Comput. Sci. 180(2): 1-2 (2007) |
| 103 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Behavioural Types for Service Integration: Achievements and Challenges.
Electr. Notes Theor. Comput. Sci. 180(2): 41-54 (2007) |
| 102 | | Antonio Brogi,
Sara Corfini:
Behaviour-Aware Discovery of Web Service Compositions.
Int. J. Web Service Res. 4(3): 1-25 (2007) |
| 2006 |
|---|
| 101 | | Antonio Brogi,
Razvan Popescu:
Automated Generation of BPEL Adapters.
ICSOC 2006: 27-39 |
| 100 | | 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 |
| 99 | | José Júlio Alferes,
Federico Banti,
Antonio Brogi:
An Event-Condition-Action Logic Programming Language.
JELIA 2006: 29-42 |
| 98 | | Antonio Brogi,
Sara Corfini,
José Francisco Aldana Montes,
Ismael Navas Delgado:
A Prototype for Discovering Compositions of Semantic Web Services.
SWAP 2006 |
| 97 | | Antonio Brogi,
Razvan Popescu:
From BPEL Processes to YAWL Workflows.
WS-FM 2006: 107-122 |
| 96 | | Antonio Brogi,
Jean-Marie Jacquet,
Joost N. Kok:
Foundations on Coordination Languages and Software Architectures.
Fundam. Inform. 73(4): (2006) |
| 95 | | 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) |
| 94 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
On the semantics of software adaptation.
Sci. Comput. Program. 61(2): 136-151 (2006) |
| 93 | | 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) |
| 92 | | Antonio Brogi,
Jean-Marie Jacquet,
Jeff Kramer,
Ernesto Pimentel:
Preface.
Sci. Comput. Program. 61(2): 73-74 (2006) |
| 91 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Component adaptation through flexible subservicing.
Sci. Comput. Program. 63(1): 39-56 (2006) |
| 2005 |
|---|
| 90 | | Federico Banti,
José Júlio Alferes,
Antonio Brogi:
Operational Semantics for DyLPs.
EPIA 2005: 43-54 |
| 89 | | Antonio Brogi,
Razvan Popescu:
Towards Semi-automated Workflow-Based Aggregation of Web Services.
ICSOC 2005: 214-227 |
| 88 | | Federico Banti,
José Júlio Alferes,
Antonio Brogi,
Pascal Hitzler:
The Well Supported Semantics for Multidimensional Dynamic Logic Programs.
LPNMR 2005: 356-368 |
| 87 | | Antonio Brogi,
Sara Corfini,
Razvan Popescu:
Composition-Oriented Service Discovery.
Software Composition 2005: 15-30 |
| 86 | | 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) |
| 85 | | Andrea Bracciali,
Antonio Brogi,
Carlos Canal:
A formal approach to component adaptation.
Journal of Systems and Software 74(1): 45-54 (2005) |
| 84 | | 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) |
| 2004 |
|---|
| 83 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Behavioural Types and Component Adaptation.
AMAST 2004: 42-56 |
| 82 | | 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 |
| 81 | | José Júlio Alferes,
Federico Banti,
Antonio Brogi:
From Logic Programs Updates to Action Description Updates.
CLIMA V 2004: 52-77 |
| 80 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Measuring Component Adaptation.
COORDINATION 2004: 71-86 |
| 79 | | Federico Banti,
José Júlio Alferes,
Antonio Brogi:
Well Founded Semantics for Logic Program Updates.
IBERAMIA 2004: 397-407 |
| 78 | | 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 |
| 77 | | Antonio Brogi:
On the Semantics of Logic Program Composition.
Program Development in Computational Logic 2004: 115-151 |
| 76 | | 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 |
| 75 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel,
Antonio Vallecillo:
Formalizing Web Service Choreographies.
Electr. Notes Theor. Comput. Sci. 105: 73-94 (2004) |
| 74 | | 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) |
| 73 | | 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) |
| 72 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
On the specification of software adaptation.
Electr. Notes Theor. Comput. Sci. 97: 47-65 (2004) |
| 2003 |
|---|
| 71 | | 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 |
| 70 | | José Júlio Alferes,
Antonio Brogi,
João Alexandre Leite,
Luís Moniz Pereira:
Logic Programming for Evolving Agents.
CIA 2003: 281-297 |
| 69 | | 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 |
| 68 | | Antonio Brogi,
Jean-Marie Jacquet,
Isabelle Linden:
On Modeling Coordination via Asynchronous Communication and Enhanced Matching.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
| 67 | | Antonio Brogi,
Jean-Marie Jacquet:
Preface.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
| 66 | | Ana M. Roldán,
Ernesto Pimentel,
Antonio Brogi:
Safe Composition of Linda-based Components.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 65 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Soft component adaptation.
Electr. Notes Theor. Comput. Sci. 85(3): (2003) |
| 64 | | Antonio Brogi,
V. S. Subrahmanian,
Carlo Zaniolo:
A Deductive Database Approach to A.I. Planning.
J. Intell. Inf. Syst. 20(3): 215-253 (2003) |
| 63 | | Antonio Brogi,
Jean-Marie Jacquet:
On the expressiveness of coordination via shared dataspaces.
Sci. Comput. Program. 46(1-2): 71-98 (2003) |
| 2002 |
|---|
| 62 | | Andrea Bracciali,
Antonio Brogi,
Carlos Canal:
Dynamically Adapting the Behaviour of Software Components.
COORDINATION 2002: 88-95 |
| 61 | | Andrea Bracciali,
Antonio Brogi,
Carlos Canal:
Adapting Components with Mismatching Behaviours.
Component Deployment 2002: 185-199 |
| 60 | | José Júlio Alferes,
Antonio Brogi,
João Alexandre Leite,
Luís Moniz Pereira:
Evolving Logic Programs.
JELIA 2002: 50-61 |
| 59 | | Andrea Bracciali,
Antonio Brogi,
Gian Luigi Ferrari,
Emilio Tuosto:
Security and Dynamic Compositions of Open Systems.
PDPTA 2002: 1372-1377 |
| 58 | | Antonio Brogi,
Ernesto Pimentel,
Ana M. Roldán:
Compatibility of Linda-based Component Interfaces.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 57 | | Antonio Brogi,
Ernesto Pimentel:
Preface.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 56 | | Andrea Bracciali,
Antonio Brogi,
Carlos Canal:
Systematic Component Adaptation.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 2001 |
|---|
| 55 | | 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 |
| 54 | | Antonio Brogi,
Gianluca Caruso:
From Subject Directories to Subject Meta-directories via Declarative Programming.
PADL 2001: 45-59 |
| 53 | | Andrea Bracciali,
Antonio Brogi,
Franco Turini:
Coordinating interaction patterns.
SAC 2001: 159-165 |
| 52 | | Antonio Brogi:
Probabilistic behaviours of reactive agents.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 51 | | Andrea Bracciali,
Antonio Brogi,
Gian Luigi Ferrari,
Emilio Tuosto:
Security Issues in Component-based Design.
Electr. Notes Theor. Comput. Sci. 54: (2001) |
| 50 | | Antonio Brogi,
Alessandra Di Pierro,
Herbert Wiklicky:
Linear Embedding for a Quantitative Comparison of Language Expressiveness.
Electr. Notes Theor. Comput. Sci. 59(3): (2001) |
| 49 | | Antonio Brogi,
Nadia Busi,
Maurizio Gabbrielli,
Gianluigi Zavattaro:
Comparative analysis of the expressiveness of shared dataspace coordination.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 2000 |
|---|
| 48 | | 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- |
| 47 | | Jean-Marie Jacquet,
Koenraad De Bosschere,
Antonio Brogi:
On Timed Coordination Languages.
COORDINATION 2000: 81-98 |
| 46 | | Antonio Brogi,
Patricia M. Hill:
Special Issue on Logical Formalisms for Program Composition - Editorial.
Journal of Functional and Logic Programming 2000(2): (2000) |
| 1999 |
|---|
| 45 | | Antonio Brogi,
G. Marongiu:
ExpertFinder: A Prolog Recommender System Integrated with the WWW.
APPIA-GULP-PRODE 1999: 471-484 |
| 44 | | Antonio Brogi,
Jean-Marie Jacquet:
On the Expressiveness of Coordination Models.
COORDINATION 1999: 134-149 |
| 43 | | Antonio Brogi,
Chiara Renso,
Franco Turini:
Dynamic composition of parameterised logic modules.
Comput. Lang. 25(4): 211-242 (1999) |
| 42 | | Antonio Brogi,
Simone Contiero,
Franco Turini:
Programming by Combining General Logic Programs.
J. Log. Comput. 9(1): 7-24 (1999) |
| 1998 |
|---|
| 41 | | Antonio Brogi,
Simone Contiero,
Franco Turini:
The Use of Renaming in Composing General Programs.
LOPSTR 1998: 124-142 |
| 40 | | Antonio Brogi,
Jean-Marie Jacquet:
On the Expressiveness of Linda-like Concurrent Languages.
Electr. Notes Theor. Comput. Sci. 16(2): (1998) |
| 39 | | Antonio Brogi,
Simone Contiero:
A Program Specialiser for Meta-Level Compositions of Logic Programs.
New Generation Comput. 16(2): 123-161 (1998) |
| 1997 |
|---|
| 38 | | Antonio Brogi,
Jean-Marie Jacquet:
Modeling Coordination via Asynchronous Communication.
COORDINATION 1997: 238-255 |
| 37 | | Antonio Brogi,
Simone Contiero,
Franco Turini:
Composing General Logic Programs.
LPNMR 1997: 274-289 |
| 36 | | 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) |
| 35 | | Antonio Brogi:
A Turing machine contest for introducing high school students to computer science.
SIGCSE Bulletin 29(2): 23-27 (1997) |
| 34 | | 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) |
| 1996 |
|---|
| 33 | | Antonio Brogi,
Simone Contiero:
Specialising Meta-level Compositions of Logic Programs.
APPIA-GULP-PRODE 1996: 535-548 |
| 32 | | Antonio Brogi,
Cosimo Guarino:
Pruning the Search Space of Logic Programs.
ELP 1996: 35-49 |
| 31 | | Antonio Brogi,
Simone Contiero:
Specialising Meta-level Compositions of Logic Programs.
LOPSTR 1996: 275-294 |
| 1995 |
|---|
| 30 | | Antonio Brogi,
Evelina Lamma,
Paolo Mancarella,
Paola Mello:
An Abductive Framework for Extended Logic Programming.
LPNMR 1995: 330-343 |
| 29 | | Antonio Brogi,
Franco Turini:
Fully Abstract Composition Semantics for an Algebra of Logic Programs.
Theor. Comput. Sci. 149(2): 201-209 (1995) |
| 1994 |
|---|
| 28 | | Antonio Brogi,
Chiara Renso,
Franco Turini:
Amalgamating Language and Meta-language for Composing Logic Programs.
GULP-PRODE (2) 1994: 408-422 |
| 27 | | Antonio Brogi,
Franco Turini:
Semantics of Meta-Logic in an Algebra of Programs
LICS 1994: 262-270 |
| 26 | | Antonio Brogi,
Simone Contiero:
Gödel as a Meta-Language for Composing Logic Programs.
META 1994: 377-394 |
| 25 | | Antonio Brogi,
A. Chiarelli,
Paolo Mancarella,
V. Mazzotta,
Dino Pedreschi,
Chiara Renso,
Franco Turini:
Implementations of Program Composition Operations.
PLILP 1994: 292-307 |
| 24 | | Antonio Brogi,
Paolo Mancarella,
Dino Pedreschi,
Franco Turini:
Modular Logic Programming.
ACM Trans. Program. Lang. Syst. 16(4): 1361-1398 (1994) |
| 1993 |
|---|
| 23 | | Antonio Brogi,
Evelina Lamma,
Paola Mello:
Composing Open Logic Programs.
J. Log. Comput. 3(4): 417-439 (1993) |
| 22 | | Antonio Brogi,
Roberto Gorrieri:
Distributed Logic Programming.
J. Log. Program. 15(4): 295-335 (1993) |
| 1992 |
|---|
| 21 | | Antonio Brogi,
Evelina Lamma,
Paolo Mancarella,
Paola Mello:
Normal logic programs as open positive programs.
CNKBS 1992: 9-11 |
| 20 | | Antonio Brogi,
Evelina Lamma,
Paola Mello:
ATMS for Implementing Logic Programming.
ECAI 1992: 114-118 |
| 19 | | Antonio Brogi,
Franco Turini:
Metalogic for State Oriented Programming.
ELP 1992: 187-204 |
| 18 | | Antonio Brogi,
Evelina Lamma,
Paolo Mancarella,
Paola Mello:
Normal Logic Programs as Open Positive Programs.
JICSLP 1992: 783-797 |
| 17 | | Antonio Brogi,
Paolo Mancarella,
Dino Pedreschi,
Franco Turini:
Meta for Modularising Logic Programming.
META 1992: 105-119 |
| 16 | | 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) |
| 15 | | Antonio Brogi,
Evelina Lamma,
Paola Mello:
Compositional Model-Theoretic Semantics for Logic Programs.
New Generation Comput. 11(1): 1-21 (1992) |
| 1991 |
|---|
| 14 | | Antonio Brogi,
Evelina Lamma,
Paolo Mancarella,
Paola Mello:
Abductive Reasoning in a Multi-Theory Framework.
AI*IA 1991: 137-146 |
| 13 | | Antonio Brogi,
Evelina Lamma,
Paola Mello:
Open Logic Theories.
ELP 1991: 73-88 |
| 12 | | Antonio Brogi,
Paolo Mancarella,
Dino Pedreschi,
Franco Turini:
Theory Construction in Computational Logic.
ICLP Workshop on Construction of Logic Programs 1991: 241-250 |
| 11 | | Antonio Brogi,
Franco Turini:
Metalogic for Knowledge Representation.
KR 1991: 61-69 |
| 10 | | Antonio Brogi,
Maurizio Gabbrielli:
Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes.
PLILP 1991: 407-418 |
| 9 | | Antonio Brogi,
Evelina Lamma,
Paola Mello:
Objects in a Logic Programming Framework.
RCLP 1991: 102-113 |
| 8 | | Antonio Brogi,
Paolo Ciancarini:
The Concurrent Language, Shared Prolog.
ACM Trans. Program. Lang. Syst. 13(1): 99-123 (1991) |
| 1990 |
|---|
| 7 | | Antonio Brogi,
Evelina Lamma,
Paola Mello:
Inheritance and Hypothetical Reasoning in Logic Programming.
ECAI 1990: 105-110 |
| 6 | | Antonio Brogi,
Paolo Mancarella,
Dino Pedreschi,
Franco Turini:
Universal Quantification by Case Analysis.
ECAI 1990: 111-116 |
| 5 | | Antonio Brogi:
AND-Parallelism without Shared Variables.
ICLP 1990: 306-321 |
| 4 | | Antonio Brogi,
Paolo Mancarella,
Dino Pedreschi,
Franco Turini:
Logic Programming within a Functional Framework.
PLILP 1990: 372-386 |
| 3 | | Antonio Brogi,
Evelina Lamma,
Paola Mello:
Hypothetical Reasoning in Logic Programming: A Semantic Approach.
Inf. Process. Lett. 36(6): 285-291 (1990) |
| 1989 |
|---|
| 2 | | Antonio Brogi,
Roberto Gorrieri:
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language.
ICLP 1989: 637-652 |
| 1 | | Antonio Brogi,
Roberto Gorrieri:
A Distributed, Net Oriented Semantics for Delta Prolog.
TAPSOFT, Vol.1 1989: 162-177 |
