| 2026 | AAAI | MoSE: Hierarchical Self-Distillation Enhances Early Layer Embeddings. | Andrea Gurioli, Federico Pennino, Joo Monteiro, Maurizio Gabbrielli |
| 2026 | CP | Constraint Solving and Particle Swarm Optimization for Fixture Layout Optimization. | Anna Vitali, Roberto Amadini, Vittorio Maniezzo, Maurizio Gabbrielli |
| 2026 | ICCSA | DECODE: Overcoming the Perception Bottleneck in Small Vision-Language Models for Computer Science Education. | Martina Ianaro, Maurizio Gabbrielli |
| 2026 | SAC | Optimizing the Training Diet: Data Mixture Search for Robust Time Series Forecasting. | Federico Pennino, Maurizio Gabbrielli |
| 2025 | ECAI | From Unsupervised Phenotyping to a Clinician-Ready Classifier: A Complete Pipeline for Assessing 90° Change-of-Direction Technique in Footballers. | Alessandro Ghibellini, Stefano Di Paolo, Stefano Zaffagnini, Luciano Bononi, Maurizio Gabbrielli, Francesco Della Villa |
| 2025 | ESANN | Trajectory-Embedded Matryoshka Representation Learning for Enhanced Similarity Analysis. | Federico Pennino, Andrea Gurioli, Maurizio Gabbrielli |
| 2025 | IJCNN | A Dual-Encoder framework for Enhancing Driving Behavior and Mission Profiling Characterization. | Federico Pennino, Davide Sette, David Attisano, Maurizio Gabbrielli |
| 2025 | PPDP | Fixture Layout Optimization in Wood Industry: A Case Study. | Anna Vitali, Roberto Amadini, Maurizio Gabbrielli |
| 2025 | RANLP | Exploiting Primacy Effect to Improve Large Language Models. | Bianca Raimondi, Maurizio Gabbrielli |
| 2025 | SAC | Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs. | Bianca Raimondi, Saverio Giallorenzo, Maurizio Gabbrielli |
| 2025 | SANER | Is This You, LLM? Recognizing AI-written Programs with Multilingual Code Stylometry. | Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli |
| 2024 | ICTAI | A Machine Learning Based Tool to Estimate Coolant Engine Temperature Based on Motorcycle Riding Data. | Federico Pennino, Davide Sette, David Attisano, Maurizio Gabbrielli |
| 2024 | RO-MAN | Contrastive learning for body gesture detection during Adapted Physical Activity. | Juan Martinez Rocha, Federico Pennino, Ccile Dubois, ric Monacelli, Maurizio Gabbrielli |
| 2022 | AIED | Student Low Achievement Prediction. | Andrea Zanellati, Stefano Pio Zingaro, Maurizio Gabbrielli |
| 2022 | IJCAI | sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract). | Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
| 2022 | ICSOC | Proactive-Reactive Global Scaling, with Analytics. | Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro |
| 2020 | AIED | Student Dropout Prediction. | Francesca Del Bonifro, Maurizio Gabbrielli, Giuseppe Lisanti, Stefano Pio Zingaro |
| 2020 | ICPR | Multimodal Side- Tuning for Document Classification. | Stefano Pio Zingaro, Giuseppe Lisanti, Maurizio Gabbrielli |
| 2019 | Coordination | No More, No Less - A Formal Model for Serverless Computing. | Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro |
| 2018 | FORTE | Applied Choreographies. | Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli |
| 2017 | CP | NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. | Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro |
| 2016 | LOPSTR | Slicing Concurrent Constraint Programs. | Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi |
| 2015 | Coordination | Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. | Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro |
| 2015 | IJCAI | A Multicore Tool for Constraint Solving. | Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
| 2015 | ICTAI | Feature Selection for SUNNY: A Study on the Algorithm Selection Library. | Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro |
| 2015 | LOPSTR | Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. | Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
| 2015 | SAC | SUNNY-CP: a sequential CP portfolio solver. | Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
| 2014 | CLOSER | Towards a Composition-based APIaaS Layer. | Claudio Guidi, Saverio Giallorenzo, Maurizio Gabbrielli |
| 2014 | DCAI | Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. | Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi |
| 2014 | SAC | An enhanced features extractor for a portfolio of constraint solvers. | Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
| 2014 | SLE | AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. | Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli |
| 2013 | CPAIOR | An Empirical Evaluation of Portfolios Approaches for Solving CSPs. | Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |
| 2013 | DCAI | Fast Post-Disaster Emergency Vehicle Scheduling. | Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli |
| 2011 | Coordination | An Efficient Management of Correlation Sets with Broadcast. | Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi |
| 2011 | ICSOC | Graceful Interruption of Request-Response Service Interactions. | Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro |
| 2009 | PPDP | On the expressive power of priorities in CHR. | Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo |
| 2009 | SOFSEM | Expressiveness of Multiple Heads in CHR. | Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo |
| 2008 | Coordination | Timed Soft Concurrent Constraint Programs. | Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini |
| 2008 | ESOP | Full Abstraction for Linda. | Cinzia Di Giusto, Maurizio Gabbrielli |
| 2007 | PPDP | Unfolding in CHR. | Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo |
| 2005 | ICALP | Compositional Verification of Asynchronous Processes via Constraint Solving. | Giorgio Delzanno, Maurizio Gabbrielli |
| 2005 | PPDP | A compositional semantics for CHR. | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
| 2004 | ICALP | Comparing Recursion, Replication, and Iteration in Process Calculi. | Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
| 2003 | ICALP | Replication vs. Recursive Definitions in Channel Based Calculi. | Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
| 2003 | ICLP | Compositional Verification of Infinite State Systems. | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
| 2002 | FOSSACS | Proving Correctness of Timed Concurrent Constraint Programs. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 2001 | PPDP | A Denotational Semantics for Timed Linda. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 2001 | TIME | A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 2000 | Coordination | A Timed Linda Language. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 1998 | CONCUR | Unfold/Fold Transformations of CCP Programs. | Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo |
| 1997 | CP | Semantics and Expressive Power of a Timed Concurrent Constraint Language. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 1997 | PEPM | A Transformation System for CLP with Dynamic Scheduling and CCP. | Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori |
| 1996 | SAS | Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. | Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi |
| 1995 | ICLP | A Transformation System for Modular CLP Programs. | Sandro Etalle, Maurizio Gabbrielli |
| 1995 | PEPM | The Replacement Operation for CLP Modules. | Sandro Etalle, Maurizio Gabbrielli |
| 1994 | ICLP | Declarative Interpretations Reconsidered. | Krzysztof R. Apt, Maurizio Gabbrielli |
| 1994 | ICLP | Proving correctness of Concurrent Constraint Programs. | Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi |
| 1994 | ICLP | Denotational semantics for Concurrent Constraint Programs analyses. | Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi |
| 1994 | POPL | Proving Concurrent Constraint Programs Correct. | Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi |
| 1994 | SAC | Goal independency and call patterns in the analysis of logic programs. | Maurizio Gabbrielli, Roberto Giacobazzi |
| 1993 | LICS | Compositional Analysis for Concurrent Constraint Programming | Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi |
| 1993 | POPL | Differential Logic Programming. | Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
| 1992 | ICLP | Observational Equivalences for Logic Programs. | Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
| 1992 | LPAR | A Two Steps Semantics for Logic Programs with Negation. | Maurizio Gabbrielli, Giorgio Levi, Daniele Turi |
| 1991 | ICALP | On the Semantics of Logic Programs. | Maurizio Gabbrielli, Giorgio Levi |
| 1991 | ICLP | An OR-Compositional Semantics for Logic Programs. | Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
| 1991 | ICLP | Modeling Answer Constraints in Constraint Logic Programs. | Maurizio Gabbrielli, Giorgio Levi |