A formal approach to component adaptation A Bracciali, A Brogi, C Canal Journal of Systems and Software 74 (1), 45-54, 2005 | 340 | 2005 |
Formalizing web service choreographies A Brogi, C Canal, E Pimentel, A Vallecillo Electronic notes in theoretical computer science 105, 73-94, 2004 | 314 | 2004 |
The concurrent language, shared prolog A Brogi, P Ciancarini ACM Transactions on Programming Languages and Systems (TOPLAS) 13 (1), 99-123, 1991 | 244 | 1991 |
QoS-aware deployment of IoT applications through the fog A Brogi, S Forti IEEE Internet of Things Journal 4 (5), 1185-1192, 2017 | 231 | 2017 |
Automated generation of BPEL adapters A Brogi, R Popescu International Conference on Service-Oriented Computing, 27-39, 2006 | 227 | 2006 |
Cloud container technologies: a state-of-the-art review C Pahl, A Brogi, J Soldani, P Jamshidi IEEE Transactions on Cloud Computing, 2017 | 187 | 2017 |
Evolving logic programs JJ Alferes, A Brogi, JA Leite, LM Pereira European Workshop on Logics in Artificial Intelligence, 50-62, 2002 | 158 | 2002 |
Semantics-based composition-oriented discovery of web services A Brogi, S Corfini, R Popescu ACM Transactions on Internet Technology (TOIT) 8 (4), 1-39, 2008 | 143 | 2008 |
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 | 136 | 2006 |
Modular logic programming A Brogi, P Mancarella, D Pedreschi, F Turini ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (4), 1361-1398, 1994 | 118 | 1994 |
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 | 90 | 2005 |
Composition-oriented service discovery A Brogi, S Corfini, R Popescu International Conference on Software Composition, 15-30, 2005 | 84 | 2005 |
How to best deploy your fog applications, probably A Brogi, S Forti, A Ibrahim 2017 IEEE 1st International Conference on Fog and Edge Computing (ICFEC …, 2017 | 73 | 2017 |
Composition operators for logic theories A Brogi, P Mancarella, D Pedreschi, F Turini Computational Logic, 117-134, 1990 | 69 | 1990 |
Behaviour-aware discovery of Web service compositions A Brogi, S Corfini International Journal of Web Services Research (IJWSR) 4 (3), 1-25, 2007 | 65 | 2007 |
From BPEL processes to YAWL workflows A Brogi, R Popescu International Workshop on Web Services and Formal Methods, 107-122, 2006 | 62 | 2006 |
Program construction in computational logic A Brogi Università di Pisa. Dipartimento di Informatica, 1993 | 61 | 1993 |
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 | 60 | 2014 |
TOSCA in a Nutshell: Promises and Perspectives A Brogi, J Soldani, PW Wang European Conference on Service-Oriented and Cloud Computing, 171-186, 2014 | 56 | 2014 |
An event-condition-action logic programming language JJ Alferes, F Banti, A Brogi European Workshop on Logics in Artificial Intelligence, 29-42, 2006 | 53 | 2006 |