Jacopo Mauro

MaRDI QIDQ276551zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies	2024-03-14	Paper
On the expressiveness of synchronization in component deployment	2021-05-20	Paper
Self-reconfiguring microservices	2021-05-20	Paper
Expressive power of Constraint Handling Rules extensions and fragments	2019-07-03	Paper
SUNNY-CP and the MiniZinc challenge Theory and Practice of Logic Programming	2018-02-20	Paper
Automatic application deployment in the cloud: from practice to theory and back (invited paper)	2017-09-12	Paper
scientific article; zbMATH DE number 6703933 (Why is no real title available?) (available as arXiv preprint)	2017-04-11	Paper
Portfolio approaches for constraint optimization problems Annals of Mathematics and Artificial Intelligence	2016-05-04	Paper
Why CP portfolio solvers are (under)utilized? Issues and challenges Logic-Based Program Synthesis and Transformation	2016-02-05	Paper
On the Complexity of Reconfiguration in Systems with Legacy Components Mathematical Foundations of Computer Science 2015	2015-09-16	Paper
Aeolus: a component model for the cloud Information and Computation	2014-11-28	Paper
SUNNY: a lazy portfolio approach for constraint solving Theory and Practice of Logic Programming	2014-11-25	Paper
Constraints meet concurrency Atlantis Studies in Computing	2014-04-01	Paper
The expressive power of CHR with priorities Information and Computation	2013-12-19	Paper
Component reconfiguration in the presence of conflicts Automata, Languages, and Programming	2013-08-07	Paper
An empirical evaluation of portfolios approaches for solving CSPs Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2013-06-04	Paper
Decidability properties for fragments of CHR Theory and Practice of Logic Programming	2010-08-19	Paper

Research outcomes over time

This page was built for person: Jacopo Mauro