| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Razvan Popescu, Athanasios Staikopoulos, Antonio Brogi, Peng Liu, Siobhán Clarke |
A formalized, taxonomy-driven approach to cross-layer application adaptation.  |
TAAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi |
On the potential advantages of exploiting behavioural information for contract-based service discovery and composition. |
J. Log. Algebr. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Federico Banti, Antonio Brogi |
Evolving reactive logic programs. |
Intelligenza Artificiale |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Razvan Popescu, Matteo Tanca |
Design and implementation of Sator: A web service aggregator. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Popescu, Athanasios Staikopoulos, Peng Liu, Antonio Brogi, Siobhán Clarke |
Taxonomy-Driven Adaptation of Multi-layer Applications Using Templates. |
SASO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Cesare Pautasso, George Angelos Papadopoulos (eds.) |
8th IEEE European Conference on Web Services (ECOWS 2010), 1-3 December 2010, Ayia Napa, Cyprus |
ECOWS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci |
A Net-based Approach to Web Services Publication and Replaceability. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana M. Roldán, Ernesto Pimentel, Antonio Brogi |
Software composition with Linda. |
Computer Languages, Systems & Structures |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Sara Corfini, Thaizel Fuentes |
A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
CIbSE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Antonio Brogi, Sara Corfini |
Ontology- and Behavior-Aware Discovery of Web Service Compositions. |
Int. J. Cooperative Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Sara Corfini, Razvan Popescu |
Semantics-based composition-oriented discovery of Web services. |
ACM Trans. Internet Techn. |
2008 |
DBLP DOI BibTeX RDF |
OWL-S ontologies, matchmaking algorithms, Web service composition, Web service discovery |
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Razvan Popescu |
Workflow-based semantics for peer-to-peer specifications. |
Frontiers of Computer Science in China |
2008 |
DBLP DOI BibTeX RDF |
BPEL processes, YAWL workflows, P2P systems |
| 1 | Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci |
On the Use of Behavioural Equivalences for Web Services' Development. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci |
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Sara Corfini, Thaizel Fuentes |
Tailoring service discovery to embedded P2P systems. |
MobiQuitous |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Benigni, Antonio Brogi, Jean-Louis Buchholz, Jean-Marie Jacquet, Julien Lange, Razvan Popescu |
Secure P2P Programming on Top of Tuple Spaces. |
WETICE |
2008 |
DBLP DOI BibTeX RDF |
Peer-to-peer systems, tuple spaces |
| 1 | Antonio Brogi, Razvan Popescu |
Workflow Semantics of Peer and Service Behaviour. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
service-oriented modelling language, YAWL workflows, Peer-to-peer systems, BPEL |
| 1 | Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu |
Modelado de sistemas P2P con control de excepciones. |
CIbSE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Benigni, Antonio Brogi, Sara Corfini |
Discovering service compositions that feature a desired behaviour. |
CIbSE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel |
Dynamic Contextual Adaptation. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Behavioural Types for Service Integration: Achievements and Challenges. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Sara Corfini |
Behaviour-Aware Discovery of Web Service Compositions. |
Int. J. Web Service Res. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci |
A Behavioural Congruence for Web Services. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Sara Corfini |
SAM : A Semantic Web Service Discovery System. |
KES |
2007 |
DBLP DOI BibTeX RDF |
OWL-S ontologies, Web service discovery |
| 1 | Fabrizio Benigni, Antonio Brogi, Sara Corfini |
Discovering Service Compositions That Feature a Desired Behaviour. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Sara Corfini, Stefano Iardella |
From OWL-S Descriptions to Petri Nets. |
ICSOC Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Razvan Popescu |
Automated Generation of BPEL Adapters. |
CIbSE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Component adaptation through flexible subservicing. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel |
Preface. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Linden, Jean-Marie Jacquet, Koen De Bosschere, Antonio Brogi |
On the expressiveness of timed coordination models. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
On the semantics of software adaptation. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet, Joost N. Kok |
Foundations on Coordination Languages and Software Architectures. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden |
Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Antonio Brogi, Razvan Popescu |
From BPEL Processes to YAWL Workflows. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Razvan Popescu |
Automated Generation of BPEL Adapters. |
ICSOC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Sara Corfini, José Francisco Aldana Montes, Ismael Navas Delgado |
Automated Discovery of Compositions of Services Described with Separate Ontologies. |
ICSOC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Federico Banti, Antonio Brogi |
An Event-Condition-Action Logic Programming Language. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Razvan Popescu |
Towards Semi-automated Workflow-based Aggregation of Web Services. |
CIbSE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Antonio Brogi, Sara Corfini, José Francisco Aldana Montes, Ismael Navas Delgado |
A Prototype for Discovering Compositions of Semantic Web Services. |
SWAP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andrea Bracciali, Antonio Brogi, Franco Turini |
A framework for specifying and verifying the behaviour of open systems. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite |
The Refined Extension Principle for Semantics of Dynamic Logic Programming. |
Studia Logica |
2005 |
DBLP DOI BibTeX RDF |
Dynamic Logic Programming, Logic Programming, Updates, Answer-set Programming, Non-monotonic Reasoning, Belief Change, Stable Model Semantics |
| 1 | Andrea Bracciali, Antonio Brogi, Carlos Canal |
A formal approach to component adaptation. |
Journal of Systems and Software |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Banti, José Júlio Alferes, Antonio Brogi |
Operational Semantics for DyLPs. |
EPIA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Sara Corfini, Razvan Popescu |
Composition-Oriented Service Discovery. |
Software Composition |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Razvan Popescu |
Towards Semi-automated Workflow-Based Aggregation of Web Services. |
ICSOC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler |
The Well Supported Semantics for Multidimensional Dynamic Logic Programs. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo |
Formalizing Web Service Choreographies. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
On the specification of software adaptation. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Linden, Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi |
On the Expressiveness of Relative-Timed Coordination Models. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Federico Banti, Antonio Brogi |
From Logic Programs Updates to Action Description Updates. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Banti, José Júlio Alferes, Antonio Brogi |
Well Founded Semantics for Logic Program Updates. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Behavioural Types and Component Adaptation. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Measuring Component Adaptation. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite |
Semantics for Dynamic Logic Programming: A Principle-Based Approach. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi |
On the Semantics of Logic Program Composition. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet |
On the expressiveness of coordination via shared dataspaces. |
Sci. Comput. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Soft component adaptation. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden |
On Modeling Coordination via Asynchronous Communication and Enhanced Matching. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana M. Roldán, Ernesto Pimentel, Antonio Brogi |
Safe Composition of Linda-based Components. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, V. S. Subrahmanian, Carlo Zaniolo |
A Deductive Database Approach to A.I. Planning. |
J. Intell. Inf. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira |
An Evolvable Rule-Based E-mail Agent. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira |
An Evolving Agent with EVOLP. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira |
Logic Programming for Evolving Agents. |
CIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Ernesto Pimentel |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Ernesto Pimentel, Ana M. Roldán |
Compatibility of Linda-based Component Interfaces. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bracciali, Antonio Brogi, Carlos Canal |
Systematic Component Adaptation. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bracciali, Antonio Brogi, Carlos Canal |
Dynamically Adapting the Behaviour of Software Components. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto |
Security and Dynamic Compositions of Open Systems. |
PDPTA |
2002 |
DBLP BibTeX RDF |
|
| 1 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira |
Evolving Logic Programs. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bracciali, Antonio Brogi, Carlos Canal |
Adapting Components with Mismatching Behaviours. |
Component Deployment |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky |
Linear Embedding for a Quantitative Comparison of Language Expressiveness. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
Comparative analysis of the expressiveness of shared dataspace coordination. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto |
Security Issues in Component-based Design. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi |
Probabilistic behaviours of reactive agents. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Gianluca Caruso |
From Subject Directories to Subject Meta-directories via Declarative Programming. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
subject directories, Prolog, Web-programming |
| 1 | Andrea Bracciali, Antonio Brogi, Franco Turini |
Coordinating interaction patterns. |
SAC |
2001 |
DBLP DOI BibTeX RDF |
interface description languages, interaction, open systems |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Patricia M. Hill |
Special Issue on Logical Formalisms for Program Composition - Editorial. |
Journal of Functional and Logic Programming |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi |
On Timed Coordination Languages. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Simone Contiero, Franco Turini |
On the Interplay between Reactivity and Computation. |
CL-2000 Workshop on Computational Logic in Multi-Agent Systems |
2000 |
DBLP BibTeX RDF |
|
| 1 | Antonio Brogi, Simone Contiero, Franco Turini |
Programming by Combining General Logic Programs. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Chiara Renso, Franco Turini |
Dynamic composition of parameterised logic modules. |
Comput. Lang. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, G. Marongiu |
ExpertFinder: A Prolog Recommender System Integrated with the WWW. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet |
On the Expressiveness of Coordination Models. |
COORDINATION |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet |
On the Expressiveness of Linda-like Concurrent Languages. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Simone Contiero |
A Program Specialiser for Meta-Level Compositions of Logic Programs. |
New Generation Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Simone Contiero, Franco Turini |
The Use of Renaming in Composing General Programs. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello |
A Unifying View for Logic Programming with Non-Monotonic Reasoning. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi |
A Turing machine contest for introducing high school students to computer science. |
SIGCSE Bulletin |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, V. S. Subrahmanian, Carlo Zaniolo |
The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach. |
Ann. Math. Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet |
Modeling Coordination via Asynchronous Communication. |
COORDINATION |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Simone Contiero, Franco Turini |
Composing General Logic Programs. |
LPNMR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Simone Contiero |
Specialising Meta-level Compositions of Logic Programs. |
APPIA-GULP-PRODE |
1996 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")