Articles with public access mandates - Maurizio GabbrielliLearn more
Available somewhere: 15
Dynamic choreographies: Theory and implementation
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
Logical Methods in Computer Science 13, 2017
Mandates: 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
Mandates: 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
Mandates: 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
Mandates: Danish Council for Independent Research
Applied choreographies
S Giallorenzo, F Montesi, M Gabbrielli
Formal Techniques for Distributed Objects, Components, and Systems: 38th …, 2018
Mandates: 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
Mandates: European Commission
Applied choreographies
M Gabbrielli, S Giallorenzo, F Montesi
CoRR, abs/1510.03637 214, 2015
Mandates: 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
Mandates: 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
Mandates: 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
Mandates: 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
Mandates: 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
Mandates: 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
Mandates: European Commission
A model for correlation-based choreographic programming
S Giallorenzo, F Montesi, M Gabbrielli
PeerJ Computer Science 10, e1907, 2024
Mandates: Agence Nationale de la Recherche
OASIcs, Volume 111, Microservices 2020/2022, Complete Volume
G Dorai, M Gabbrielli, G Manzonetto, A Osmani, M Prandini, G Zavattaro, ...
Joint Post-proceedings of the Third and Fourth International Conference on …, 2023
Mandates: European Commission
Publication and funding information is determined automatically by a computer program