Antonio Brogi
Antonio Brogi
Dirección de correo verificada de di.unipi.it - Página principal
TítuloCitado porAño
A formal approach to component adaptation
A Bracciali, A Brogi, C Canal
Journal of Systems and Software 74 (1), 45-54, 2005
3332005
Formalizing web service choreographies
A Brogi, C Canal, E Pimentel, A Vallecillo
Electronic notes in theoretical computer science 105, 73-94, 2004
3032004
The concurrent language, shared prolog
A Brogi, P Ciancarini
ACM Transactions on Programming Languages and Systems (TOPLAS) 13 (1), 99-123, 1991
2411991
Automated generation of BPEL adapters
A Brogi, R Popescu
International Conference on Service-Oriented Computing, 27-39, 2006
2222006
Evolving logic programs
JJ Alferes, A Brogi, JA Leite, LM Pereira
European Workshop on Logics in Artificial Intelligence, 50-62, 2002
1572002
QoS-aware deployment of IoT applications through the fog
A Brogi, S Forti
IEEE Internet of Things Journal 4 (5), 1185-1192, 2017
1362017
Semantics-based composition-oriented discovery of web services
A Brogi, S Corfini, R Popescu
ACM Transactions on Internet Technology (TOIT) 8 (4), 19, 2008
1352008
Towards an engineering approach to component adaptation
S Becker, A Brogi, I Gorton, S Overhage, A Romanovsky, M Tivoli
Architecting Systems with Trustworthy Components, 193-215, 2006
1332006
Modular logic programming
A Brogi, P Mancarella, D Pedreschi, F Turini
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (4), 1361-1398, 1994
1121994
Cloud container technologies: a state-of-the-art review
C Pahl, A Brogi, J Soldani, P Jamshidi
IEEE Transactions on Cloud Computing, 2017
1012017
The refined extension principle for semantics of dynamic logic programming
JJ Alferes, F Banti, A Brogi, JA Leite
Studia Logica 79 (1), 7-32, 2005
912005
Composition-oriented service discovery
A Brogi, S Corfini, R Popescu
International Conference on Software Composition, 15-30, 2005
822005
Composition operators for logic theories
A Brogi, P Mancarella, D Pedreschi, F Turini
Computational Logic, 117-134, 1990
641990
Behaviour-aware discovery of Web service compositions
A Brogi, S Corfini
International Journal of Web Services Research (IJWSR) 4 (3), 1-25, 2007
602007
Program construction in computational logic
A Brogi
Università di Pisa. Dipartimento di Informatica, 1993
591993
From BPEL processes to YAWL workflows
A Brogi, R Popescu
International Workshop on Web Services and Formal Methods, 107-122, 2006
572006
SeaClouds: a European project on seamless management of multi-cloud applications
A Brogi, A Ibrahim, J Soldani, J Carrasco, J Cubo, E Pimentel, F D'Andria
ACM SIGSOFT Software Engineering Notes 39 (1), 1-4, 2014
562014
Behavioural types and component adaptation
A Brogi, C Canal, E Pimentel
International Conference on Algebraic Methodology and Software Technology, 42-56, 2004
502004
TOSCA in a Nutshell: Promises and Perspectives
A Brogi, J Soldani, PW Wang
European Conference on Service-Oriented and Cloud Computing, 171-186, 2014
482014
An event-condition-action logic programming language
JJ Alferes, F Banti, A Brogi
European Workshop on Logics in Artificial Intelligence, 29-42, 2006
472006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20