Artikel dengan mandat akses publik - Maurizio GabbrielliPelajari lebih lanjut
Tersedia di suatu tempat: 14
Dynamic choreographies: Theory and implementation
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
Logical Methods in Computer Science 13, 2017
Mandat: European Commission, Government of Italy
Self-reconfiguring microservices
M Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F Montesi
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016
Mandat: Danish Council for Independent Research, European Commission
Dynamic choreographies: Safe runtime updates of distributed applications
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
Coordination Models and Languages: 17th IFIP WG 6.1 International Conference …, 2015
Mandat: Government of Italy
No more, no less: A formal model for serverless computing
M Gabbrielli, S Giallorenzo, I Lanese, F Montesi, M Peressotti, SP Zingaro
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019
Mandat: Danish Council for Independent Research
Applied choreographies
S Giallorenzo, F Montesi, M Gabbrielli
Formal Techniques for Distributed Objects, Components, and Systems: 38th …, 2018
Mandat: Danish Council for Independent Research
Why CP portfolio solvers are (under) utilized? Issues and challenges
R Amadini, M Gabbrielli, J Mauro
Logic-Based Program Synthesis and Transformation: 25th International …, 2015
Mandat: European Commission
Applied choreographies
M Gabbrielli, S Giallorenzo, F Montesi
CoRR, abs/1510.03637 214, 2015
Mandat: Danish Council for Independent Research
SUNNY-CP and the MiniZinc challenge
R Amadini, M Gabbrielli, J Mauro
Theory and Practice of Logic Programming 18 (1), 81-96, 2018
Mandat: European Commission
Service-oriented architectures: from design to production exploiting workflow patterns
M Gabbrielli, S Giallorenzo, F Montesi
Distributed Computing and Artificial Intelligence, 11th International …, 2014
Mandat: Danish Council for Independent Research
Feature selection for SUNNY: A study on the algorithm selection library
R Amadini, F Biselli, M Gabbrielli, T Liu, J Mauro
2015 IEEE 27th International Conference on Tools with Artificial …, 2015
Mandat: European Commission
Guess who’s coming: Runtime inclusion of participants in choreographies
M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
The Art of Modelling Computational Systems: A Journey from Logic and …, 2019
Mandat: European Commission
Proactive-reactive global scaling, with analytics
L Bacchiani, M Bravetti, M Gabbrielli, S Giallorenzo, G Zavattaro, ...
International Conference on Service-Oriented Computing, 237-254, 2022
Mandat: European Commission
Parallelizing constraint solvers for hard RCPSP instances
R Amadini, M Gabbrielli, J Mauro
International Conference on Learning and Intelligent Optimization, 227-233, 2016
Mandat: European Commission
A model for correlation-based choreographic programming
S Giallorenzo, F Montesi, M Gabbrielli
PeerJ Computer Science 10, e1907, 2024
Mandat: Agence Nationale de la Recherche
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer