Publications

Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro (2024). Integrated Timed Architectural Modeling/Execution Language. Active Object Languages: Current Research Trends.

PDF Cite DOI URL

Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro (2023). Serverless Scheduling Policies based on Cost Analysis. Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023.

PDF Cite DOI URL

Myra B. Cohen, Thomas Thüm, Jacopo Mauro (2023). Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023. ACM.

PDF Cite DOI URL

Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro (2023). On the Evaluation of (Meta-)solver Approaches. J. Artif. Intell. Res..

PDF Cite DOI URL

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro (2023). Formally Verifying Function Scheduling Properties in Serverless Applications. IT Prof..

PDF Cite DOI URL

Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2022). sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract). Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022.

PDF Cite DOI URL

Davide Berardi, Saverio Giallorenzo, Jacopo Mauro, Andrea Melis, Fabrizio Montesi, Marco Prandini (2022). Microservice security: a systematic literature review. PeerJ Comput. Sci..

PDF Cite DOI URL

Asmita Dalela, Saverio Giallorenzo, Oksana Kulyk, Jacopo Mauro, Elda Paja (2022). A Study on Security and Privacy Practices in Danish Companies. Internet society.

PDF Cite URL

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro (2022). A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. IEEE International Conference on Web Services, ICWS 2022, Barcelona, Spain, July 10-16, 2022.

PDF Cite DOI URL

Nicklas Sindlev Andersen, Marco Chiarandini, Jacopo Mauro (2021). Wandering and getting lost: the architecture of an app activating local communities on dementia issues. 3rd IEEE/ACM International Workshop on Software Engineering for Healthcare, SEH@ICSE 2021, Madrid, Spain, June 3, 2021.

PDF Cite DOI URL

Saverio Giallorenzo, Jacopo Mauro, Martin Gyde Poulsen, Filip Siroky (2021). Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal. SN Comput. Sci..

PDF Cite DOI URL

Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2021). sunny-as2: Enhancing SUNNY for Algorithm Selection. J. Artif. Intell. Res..

PDF Cite DOI URL

Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro (2021). Microservice Dynamic Architecture-Level Deployment Orchestration. Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings.

PDF Cite DOI URL

Torgeir Lebesbye, Jacopo Mauro, Gianluca Turin, Ingrid Chieh Yu (2021). Boreas - A Service Scheduler for Optimal Kubernetes Deployment. Service-Oriented Computing - 19th International Conference, ICSOC 2021, Virtual Event, November 22-25, 2021, Proceedings.

PDF Cite DOI URL

Jacopo Mauro (2021). Anomaly detection in Context-aware Feature Models. VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Virtual Event / Krems, Austria, February 9-11, 2021.

PDF Cite DOI URL

Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer (2020). SMT-based variability analyses in FeatureIDE. VaMoS ‘20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020.

PDF Cite DOI URL

Frank S. de Boer, Jacopo Mauro (2020). Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

PDF Cite URL

Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro (2020). Lazy product discovery in huge configuration spaces. ICSE ‘20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020.

PDF Cite DOI URL

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro (2020). Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. Service-Oriented Computing - 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings.

PDF Cite DOI URL

Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro (2020). A Formal Approach to Microservice Architecture Deployment. Microservices, Science and Engineering.

PDF Cite DOI URL

Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro (2019). Optimal and Automated Deployment for Microservices. Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.

PDF Cite DOI URL

Stijn de Gouw, Jacopo Mauro, Gianluigi Zavattaro (2019). On the modeling of optimal and automatized cloud application deployment. J. Log. Algebr. Meth. Program..

PDF Cite DOI URL

Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro (2019). Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday.

PDF Cite DOI URL

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2018). SUNNY-CP and the MiniZinc challenge. TPLP.

PDF Cite DOI URL

Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu (2018). Release the Beasts: When Formal Methods Meet Real World Data. It’s All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab.

PDF Cite DOI URL

Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu (2018). Context-aware reconfiguration in evolving software product lines. Sci. Comput. Program..

PDF Cite DOI URL

Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu (2018). Automatic Parameter Optimisation of Service Quality and Resource Usage. 31th Norsk Informatikkonferanse, NIK 2018, Universitetet i Oslo, Oslo, Norway, September 18-20, 2018.

PDF Cite URL

Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, Felix Franzke (2018). Anomaly analyses for feature-model evolution. Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018, Boston, MA, USA, November 5-6, 2018.

PDF Cite DOI URL

Imane Sefrioui, Roberto Amadini, Jacopo Mauro, Abdellah El Fallahi, Maurizio Gabbrielli (2017). Survival prediction of trauma patients: a study on US National Trauma Data Bank. European journal of trauma and emergency surgery.

PDF Cite DOI URL

Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli (2017). Programming Adaptive Microservice Applications: An AIOCJ Tutorial. Behavioural Types: from Theory to Tools.

PDF Cite

Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro (2017). NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings.

PDF Cite DOI URL

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro (2017). Dynamic Choreographies: Theory And Implementation. Logical Methods in Computer Science.

PDF Cite DOI URL

Magnus Hestvik, Jacopo Mauro, Ingrid Chieh Yu (2017). CaSPL-gen: a Context-aware Software Product Line benchmark generator. 30th Norsk Informatikkonferanse, NIK 2017, Westerdals Oslo ACT, Oslo, Norway, November 27-29, 2017.

PDF Cite URL

Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu (2017). Anomaly Detection and Explanation in Context-Aware Software Product Lines. Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, Sevilla, Spain, September 25-29, 2017.

PDF Cite DOI URL

Jia-Chun Lin, Jacopo Mauro, Thomas Brox Røst, Ingrid Chieh Yu (2017). A Model-Based Scalability Optimization Methodology for Cloud Applications. 2017 IEEE 7th International Symposium on Cloud and Service Computing, SC(²) 2017, Kanazawa, Japan, November 22-25, 2017.

PDF Cite DOI URL

Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro (2016). Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings.

PDF Cite DOI URL

Michael Nieke, Jacopo Mauro, Christoph Seidl, Ingrid Chieh Yu (2016). User Profiles for Context-Aware Reconfiguration in Software Product Lines. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II.

PDF Cite DOI URL

Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi (2016). Self-Reconfiguring Microservices. Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday.

PDF Cite DOI URL

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2016). Portfolio approaches for constraint optimization problems. Ann. Math. Artif. Intell..

PDF Cite DOI URL

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2016). Parallelizing Constraint Solvers for Hard RCPSP Instances. Learning and Intelligent Optimization - 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers.

PDF Cite DOI URL

Jacopo Mauro, Gianluigi Zavattaro (2016). On the Expressiveness of Synchronization in Component Deployment. Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday.

PDF Cite DOI URL

Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro (2016). Declarative Elasticity in ABS. Service-Oriented and Cloud Computing - 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings.

PDF Cite DOI URL

Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu (2016). Context Aware Reconfiguration in Software Product Lines. Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27 - 29, 2016.

PDF Cite DOI URL

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2016). An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. IJIMAI.

PDF Cite DOI URL

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2015). Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers.

PDF Cite DOI URL

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2015). SUNNY-CP: a sequential CP portfolio solver. Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015.

PDF Cite DOI URL

Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro (2015). SUNNY for algorithm selection: a preliminary study. Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015..

PDF Cite

Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro (2015). On the Integration of Automatic Deployment into the ABS Modeling Language. Service Oriented and Cloud Computing - 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings.

PDF Cite DOI URL

Jacopo Mauro, Gianluigi Zavattaro (2015). On the Complexity of Reconfiguration in Systems with Legacy Components. Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I.

PDF Cite DOI URL

Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro (2015). Feature Selection for SUNNY: A Study on the Algorithm Selection Library. 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015.

PDF Cite DOI URL

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro (2015). Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings.

PDF Cite DOI URL

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro (2015). Developing correct, distributed, adaptive software. Sci. Comput. Program..

PDF Cite DOI URL

Jacopo Mauro (2015). Constraints meet concurrency. Constraints.

PDF Cite DOI URL

Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski (2015). Automatic Deployment of Services in the Cloud with Aeolus Blender. Service-Oriented Computing - 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings.

PDF Cite DOI URL

Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro (2015). Automatic deployment of component-based applications. Sci. Comput. Program..

PDF Cite DOI URL

Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski (2015). Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015.

PDF Cite DOI URL

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2015). A Multicore Tool for Constraint Solving. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015.

PDF Cite URL

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2014). SUNNY: a Lazy Portfolio Approach for Constraint Solving. TPLP.

PDF Cite DOI URL

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2014). Portfolio Approaches for Constraint Optimization Problems. Learning and Intelligent Optimization - 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers.

PDF Cite DOI URL

Jacopo Mauro (2014). Constraints Meet Concurrency. Atlantis Press.

PDF Cite DOI URL

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2014). An enhanced features extractor for a portfolio of constraint solvers. Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014.

PDF Cite DOI URL

Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli (2014). AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings.

PDF Cite DOI URL

Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro (2014). Aeolus: A component model for the cloud. Inf. Comput..

PDF Cite DOI URL

Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro (2013). Towards Global and Local Types for Adaptation. Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers.

PDF Cite DOI URL

Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo (2013). The expressive power of CHR with priorities. Inf. Comput..

PDF Cite DOI URL

Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli (2013). Fast Post-Disaster Emergency Vehicle Scheduling. Distributed Computing and Artificial Intelligence - 10th International Conference, DCAI 2013, Salamanca, Spain, May 22-24, 2013.

PDF Cite DOI URL

Jacopo Mauro (2013). Expressive power of Constraint Handling Rules extensions and fragments. Bulletin of the EATCS.

PDF Cite URL

Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro (2013). Component Reconfiguration in the Presence of Conflicts. Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II.

PDF Cite DOI URL

Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro (2013). Automatic Component Deployment in the Presence of Circular Dependencies. Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers.

PDF Cite DOI URL

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro (2013). An Empirical Evaluation of Portfolios Approaches for Solving CSPs. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings.

PDF Cite DOI URL

Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski (2013). Aeolus: Mastering the Complexity of Cloud Application Deployment. Service-Oriented and Cloud Computing - Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings.

PDF Cite DOI URL

Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro (2013). A Planning Tool Supporting the Deployment of Cloud Applications. 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013.

PDF Cite DOI URL

Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli (2013). A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing. IJIMAI.

PDF Cite DOI URL

Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi (2012). Service integration via target-transparent mediation. 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), Taipei, Taiwan, December 17-19, 2012.

PDF Cite DOI URL

Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi (2012). Interface-Based Service Composition with Aggregation. Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings.

PDF Cite DOI URL

Jacopo Mauro (2012). Constraints meet concurrency.

PDF Cite URL

Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli (2011). Solving XCSP problems by using Gecode. Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011.

PDF Cite

Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro (2011). Graceful Interruption of Request-Response Service Interactions. Service-Oriented Computing - 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings.

PDF Cite DOI URL

Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi (2011). An Efficient Management of Correlation Sets with Broadcast. Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings.

PDF Cite DOI URL

Zeynep Kiziltan, Luca Mandrioli, Jacopo Mauro, Barry O'Sullivan (2011). A classification-based approach to managing a solver portfolio for CSPs. The 22nd Irish Conference on Artificial Intelligence and Cognitive Science, Londonderry, UK, 31 August - 2 September, 2011.

PDF Cite

Zeynep Kiziltan, Jacopo Mauro (2010). Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings.

PDF Cite DOI URL

Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers (2010). Decidability properties for fragments of CHR. TPLP.

PDF Cite DOI URL

Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo (2009). On the expressive power of priorities in CHR. Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal.

PDF Cite DOI URL

Agostino Dovier, Jacopo Mauro (2009). Constraint based implementation of a PDDL-like language with static causal laws and time fluents. Proceedings of the 24th Italian Conference on Computational Logic, Ferrara, Italy, June 24-26, 2009.

PDF Cite

Raffaele Cipriano, Agostino Dovier, Jacopo Mauro (2008). Compiling and Executing Declarative Modeling Languages to Gecode. Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings.

PDF Cite DOI URL

Raffaele Cipriano, Agostino Dovier, Jacopo Mauro (2008). Compiling and Executing Declarative Modeling Languages in Gecode. Proceedings of the 23th Italian Conference on Computational Logic, Perugia, Italy, July 10-12, 2008.

PDF Cite