The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Antonio Brogi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
    An Evolving Agent with EVOLP. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:205-216 [Conf]
  2. Antonio Brogi, Simone Contiero
    Specialising Meta-level Compositions of Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:535-548 [Conf]
  3. Antonio Brogi, G. Marongiu
    ExpertFinder: A Prolog Recommender System Integrated with the WWW. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:471-484 [Conf]
  4. Antonio Brogi, Chiara Renso, Franco Turini
    Amalgamating Language and Meta-language for Composing Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:408-422 [Conf]
  5. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
    Abductive Reasoning in a Multi-Theory Framework. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1991, pp:137-146 [Conf]
  6. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    Behavioural Types and Component Adaptation. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:42-56 [Conf]
  7. Andrea Bracciali, Antonio Brogi, Carlos Canal
    Adapting Components with Mismatching Behaviours. [Citation Graph (0, 0)][DBLP]
    Component Deployment, 2002, pp:185-199 [Conf]
  8. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
    Logic Programming for Evolving Agents. [Citation Graph (0, 0)][DBLP]
    CIA, 2003, pp:281-297 [Conf]
  9. Antonio Brogi, Simone Contiero, Franco Turini
    On the Interplay between Reactivity and Computation. [Citation Graph (0, 0)][DBLP]
    CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000, pp:66-0 [Conf]
  10. José Júlio Alferes, Federico Banti, Antonio Brogi
    From Logic Programs Updates to Action Description Updates. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:52-77 [Conf]
  11. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
    Normal logic programs as open positive programs. [Citation Graph (0, 0)][DBLP]
    CNKBS, 1992, pp:9-11 [Conf]
  12. Andrea Bracciali, Antonio Brogi, Carlos Canal
    Dynamically Adapting the Behaviour of Software Components. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:88-95 [Conf]
  13. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    Measuring Component Adaptation. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:71-86 [Conf]
  14. Antonio Brogi, Jean-Marie Jacquet
    Modeling Coordination via Asynchronous Communication. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:238-255 [Conf]
  15. Antonio Brogi, Jean-Marie Jacquet
    On the Expressiveness of Coordination Models. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1999, pp:134-149 [Conf]
  16. Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi
    On Timed Coordination Languages. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:81-98 [Conf]
  17. Steffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander Romanovsky, Massimo Tivoli
    Towards an Engineering Approach to Component Adaptation. [Citation Graph (0, 0)][DBLP]
    Architecting Systems with Trustworthy Components, 2004, pp:193-215 [Conf]
  18. Antonio Brogi, Evelina Lamma, Paola Mello
    Inheritance and Hypothetical Reasoning in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:105-110 [Conf]
  19. Antonio Brogi, Evelina Lamma, Paola Mello
    ATMS for Implementing Logic Programming. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:114-118 [Conf]
  20. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Universal Quantification by Case Analysis. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:111-116 [Conf]
  21. Antonio Brogi, Cosimo Guarino
    Pruning the Search Space of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:35-49 [Conf]
  22. Antonio Brogi, Evelina Lamma, Paola Mello
    Open Logic Theories. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:73-88 [Conf]
  23. Antonio Brogi, Franco Turini
    Metalogic for State Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:187-204 [Conf]
  24. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
    An Evolvable Rule-Based E-mail Agent. [Citation Graph (0, 0)][DBLP]
    EPIA, 2003, pp:394-408 [Conf]
  25. Federico Banti, José Júlio Alferes, Antonio Brogi
    Operational Semantics for DyLPs. [Citation Graph (0, 0)][DBLP]
    EPIA, 2005, pp:43-54 [Conf]
  26. Federico Banti, José Júlio Alferes, Antonio Brogi
    Well Founded Semantics for Logic Program Updates. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2004, pp:397-407 [Conf]
  27. Antonio Brogi
    AND-Parallelism without Shared Variables. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:306-321 [Conf]
  28. Antonio Brogi, Roberto Gorrieri
    Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:637-652 [Conf]
  29. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
    Normal Logic Programs as Open Positive Programs. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:783-797 [Conf]
  30. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Theory Construction in Computational Logic. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop on Construction of Logic Programs, 1991, pp:241-250 [Conf]
  31. Antonio Brogi, Sara Corfini, José F. Aldana, Ismael Navas Delgado
    Automated Discovery of Compositions of Services Described with Separate Ontologies. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2006, pp:509-514 [Conf]
  32. Antonio Brogi, Razvan Popescu
    Towards Semi-automated Workflow-Based Aggregation of Web Services. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2005, pp:214-227 [Conf]
  33. Antonio Brogi, Razvan Popescu
    Automated Generation of BPEL Adapters. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2006, pp:27-39 [Conf]
  34. José Júlio Alferes, Federico Banti, Antonio Brogi
    An Event-Condition-Action Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:29-42 [Conf]
  35. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
    Evolving Logic Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:50-61 [Conf]
  36. Antonio Brogi, Franco Turini
    Metalogic for Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:61-69 [Conf]
  37. Antonio Brogi, Franco Turini
    Semantics of Meta-Logic in an Algebra of Programs [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:262-270 [Conf]
  38. Antonio Brogi, Simone Contiero
    Gödel as a Meta-Language for Composing Logic Programs. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:377-394 [Conf]
  39. Antonio Brogi
    On the Semantics of Logic Program Composition. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:115-151 [Conf]
  40. Antonio Brogi, Simone Contiero
    Specialising Meta-level Compositions of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:275-294 [Conf]
  41. Antonio Brogi, Simone Contiero, Franco Turini
    The Use of Renaming in Composing General Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:124-142 [Conf]
  42. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
    Computing Environment-Aware Agent Behaviours with Logic Program Updates. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:216-232 [Conf]
  43. Antonio Brogi, Evelina Lamma, Paola Mello
    Objects in a Logic Programming Framework. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:102-113 [Conf]
  44. José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
    Semantics for Dynamic Logic Programming: A Principle-Based Approach. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:8-20 [Conf]
  45. Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler
    The Well Supported Semantics for Multidimensional Dynamic Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:356-368 [Conf]
  46. Antonio Brogi, Simone Contiero, Franco Turini
    Composing General Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:274-289 [Conf]
  47. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
    An Abductive Framework for Extended Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:330-343 [Conf]
  48. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Meta for Modularising Logic Programming. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:105-119 [Conf]
  49. Antonio Brogi, Gianluca Caruso
    From Subject Directories to Subject Meta-directories via Declarative Programming. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:45-59 [Conf]
  50. Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto
    Security and Dynamic Compositions of Open Systems. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2002, pp:1372-1377 [Conf]
  51. Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini
    Implementations of Program Composition Operations. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:292-307 [Conf]
  52. Antonio Brogi, Maurizio Gabbrielli
    Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:407-418 [Conf]
  53. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Logic Programming within a Functional Framework. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:372-386 [Conf]
  54. Andrea Bracciali, Antonio Brogi, Franco Turini
    Coordinating interaction patterns. [Citation Graph (0, 0)][DBLP]
    SAC, 2001, pp:159-165 [Conf]
  55. Antonio Brogi, Sara Corfini, Razvan Popescu
    Composition-Oriented Service Discovery. [Citation Graph (0, 0)][DBLP]
    Software Composition, 2005, pp:15-30 [Conf]
  56. Antonio Brogi, Roberto Gorrieri
    A Distributed, Net Oriented Semantics for Delta Prolog. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1989, pp:162-177 [Conf]
  57. 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. [Citation Graph (0, 0)][DBLP]
    VAST, 2004, pp:145-154 [Conf]
  58. Antonio Brogi, Razvan Popescu
    From BPEL Processes to YAWL Workflows. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:107-122 [Conf]
  59. Antonio Brogi, V. S. Subrahmanian, Carlo Zaniolo
    The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1997, v:19, n:1-2, pp:27-58 [Journal]
  60. Antonio Brogi, Chiara Renso, Franco Turini
    Dynamic composition of parameterised logic modules. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1999, v:25, n:4, pp:211-242 [Journal]
  61. Antonio Brogi
    Probabilistic behaviours of reactive agents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
  62. Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
    Comparative analysis of the expressiveness of shared dataspace coordination. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  63. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    Soft component adaptation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
  64. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    On the specification of software adaptation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:47-65 [Journal]
  65. Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo
    Formalizing Web Service Choreographies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:73-94 [Journal]
  66. Andrea Bracciali, Antonio Brogi, Carlos Canal
    Systematic Component Adaptation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
  67. Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto
    Security Issues in Component-based Design. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  68. Antonio Brogi, Jean-Marie Jacquet
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  69. Antonio Brogi, Jean-Marie Jacquet
    On the Expressiveness of Linda-like Concurrent Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:2, pp:- [Journal]
  70. Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden
    On Modeling Coordination via Asynchronous Communication and Enhanced Matching. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  71. 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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:1-2 [Journal]
  72. Antonio Brogi, Ernesto Pimentel
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
  73. Antonio Brogi, Ernesto Pimentel, Ana M. Roldán
    Compatibility of Linda-based Component Interfaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
  74. Isabelle Linden, Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi
    On the Expressiveness of Relative-Timed Coordination Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:125-153 [Journal]
  75. Ana M. Roldán, Ernesto Pimentel, Antonio Brogi
    Safe Composition of Linda-based Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal]
  76. Antonio Brogi, Jean-Marie Jacquet, Joost N. Kok
    Foundations on Coordination Languages and Software Architectures. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:73, n:4, pp:- [Journal]
  77. Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden
    Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:73, n:4, pp:431-478 [Journal]
  78. Antonio Brogi, Anna Ciampolini, Evelina Lamma, Paola Mello
    The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:42, n:6, pp:331-338 [Journal]
  79. Antonio Brogi, Evelina Lamma, Paola Mello
    Hypothetical Reasoning in Logic Programming: A Semantic Approach. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1990, v:36, n:6, pp:285-291 [Journal]
  80. Antonio Brogi, Patricia M. Hill
    Special Issue on Logical Formalisms for Program Composition - Editorial. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2000, v:2000, n:2, pp:- [Journal]
  81. Antonio Brogi, V. S. Subrahmanian, Carlo Zaniolo
    A Deductive Database Approach to A.I. Planning. [Citation Graph (0, 0)][DBLP]
    J. Intell. Inf. Syst., 2003, v:20, n:3, pp:215-253 [Journal]
  82. Andrea Bracciali, Antonio Brogi, Franco Turini
    A framework for specifying and verifying the behaviour of open systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2005, v:63, n:2, pp:215-240 [Journal]
  83. Antonio Brogi, Roberto Gorrieri
    Distributed Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:15, n:4, pp:295-335 [Journal]
  84. Andrea Bracciali, Antonio Brogi, Carlos Canal
    A formal approach to component adaptation. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2005, v:74, n:1, pp:45-54 [Journal]
  85. Antonio Brogi, Simone Contiero, Franco Turini
    Programming by Combining General Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:1, pp:7-24 [Journal]
  86. Antonio Brogi, Evelina Lamma, Paola Mello
    Composing Open Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:4, pp:417-439 [Journal]
  87. Antonio Brogi, Simone Contiero
    A Program Specialiser for Meta-Level Compositions of Logic Programs. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1998, v:16, n:2, pp:123-161 [Journal]
  88. Antonio Brogi, Evelina Lamma, Paola Mello
    Compositional Model-Theoretic Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1992, v:11, n:1, pp:1-21 [Journal]
  89. José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
    The Refined Extension Principle for Semantics of Dynamic Logic Programming. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:79, n:1, pp:7-32 [Journal]
  90. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    Component adaptation through flexible subservicing. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:63, n:1, pp:39-56 [Journal]
  91. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    On the semantics of software adaptation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:61, n:2, pp:136-151 [Journal]
  92. Antonio Brogi, Jean-Marie Jacquet
    On the expressiveness of coordination via shared dataspaces. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:46, n:1-2, pp:71-98 [Journal]
  93. Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel
    Preface. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:61, n:2, pp:73-74 [Journal]
  94. Isabelle Linden, Jean-Marie Jacquet, Koen De Bosschere, Antonio Brogi
    On the expressiveness of timed coordination models. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:61, n:2, pp:152-187 [Journal]
  95. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
    A Unifying View for Logic Programming with Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:184, n:1-2, pp:1-5 [Journal]
  96. Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
    Linear Embedding for a Quantitative Comparison of Language Expressiveness. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:3, pp:- [Journal]
  97. Antonio Brogi, Franco Turini
    Fully Abstract Composition Semantics for an Algebra of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:149, n:2, pp:201-209 [Journal]
  98. Antonio Brogi, Paolo Ciancarini
    The Concurrent Language, Shared Prolog. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1991, v:13, n:1, pp:99-123 [Journal]
  99. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Modular Logic Programming. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:4, pp:1361-1398 [Journal]
  100. Fabrizio Benigni, Antonio Brogi, Sara Corfini
    Discovering Service Compositions That Feature a Desired Behaviour. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2007, pp:56-68 [Conf]
  101. Antonio Brogi, Sara Corfini
    SAM : A Semantic Web Service Discovery System. [Citation Graph (0, 0)][DBLP]
    KES (3), 2007, pp:703-710 [Conf]
  102. Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
    A Behavioural Congruence for Web Services. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:240-256 [Conf]
  103. Antonio Brogi, Sara Corfini, José F. Aldana, Ismael Navas Delgado
    A Prototype for Discovering Compositions of Semantic Web Services. [Citation Graph (0, 0)][DBLP]
    SWAP, 2006, pp:- [Conf]
  104. Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel
    Dynamic Contextual Adaptation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:81-95 [Journal]
  105. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    Behavioural Types for Service Integration: Achievements and Challenges. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:2, pp:41-54 [Journal]
  106. Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:2, pp:1-2 [Journal]

  107. Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. [Citation Graph (, )][DBLP]


  108. From OWL-S Descriptions to Petri Nets. [Citation Graph (, )][DBLP]


  109. A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems. [Citation Graph (, )][DBLP]


  110. Tailoring service discovery to embedded P2P systems. [Citation Graph (, )][DBLP]


  111. Secure P2P Programming on Top of Tuple Spaces. [Citation Graph (, )][DBLP]


  112. Workflow Semantics of Peer and Service Behaviour. [Citation Graph (, )][DBLP]


  113. Discovering service compositions that feature a desired behaviour. [Citation Graph (, )][DBLP]


  114. Modelado de sistemas P2P con control de excepciones. [Citation Graph (, )][DBLP]


  115. Software composition with Linda. [Citation Graph (, )][DBLP]


  116. A Service-Oriented Model for Embedded Peer-to-Peer Systems. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.017secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002