| 2026 | AAAI | SMiLE: Provably Enforcing Global Relational Properties in Neural Networks. | Matteo Francobaldi, Michele Lombardi, Andrea Lodi |
| 2026 | ICPR | How to Evaluate and Refine Your CAM. | Luca Domeniconi, Alessandra Stramiglio, Michele Lombardi, Samuele Salti |
| 2025 | AAAI | SMLE: Safe Machine Learning via Embedded Overapproximation. | Matteo Francobaldi, Michele Lombardi |
| 2025 | CPAIOR | Constrained Machine Learning Through Hyperspherical Representation. | Gaetano Signorelli, Michele Lombardi |
| 2025 | ECAI | Achieving Intersectional Algorithmic Fairness by Constructing a Maximal Correlation Latent Space. | Luca Giuliani, Michele Lombardi |
| 2025 | ICIAP | Towards a Human-in-the-Loop Framework for Swarm Intelligence-Driven Dance Generation. | Michele Braccini, Allegra De Filippo, Michele Lombardi, Michela Milano |
| 2025 | ICLR | Language Models Are Implicitly Continuous. | Samuele Marro, Davide Evangelista, Xuanqiang Angelo Huang, Emanuele La Malfa, Michele Lombardi, Michael J. Wooldridge |
| 2024 | IJCAI | Ensuring Fairness Stability for Disentangling Social Inequality in Access to Education: the FAiRDAS General Method. | Eleonora Misino, Roberta Calegari, Michele Lombardi, Michela Milano |
| 2023 | ICCS | An Analysis of Universal Differential Equations for Data-Driven Discovery of Ordinary Differential Equations. | Mattia Silvestri, Federico Baldo, Eleonora Misino, Michele Lombardi |
| 2023 | ICML | Generalized Disparate Impact for Configurable Fairness Solutions in ML. | Luca Giuliani, Eleonora Misino, Michele Lombardi |
| 2023 | ICML | Computational Asymmetries in Robust Classification. | Samuele Marro, Michele Lombardi |
| 2022 | CPAIOR | Hybrid Offline/Online Optimization for Energy Management via Reinforcement Learning. | Mattia Silvestri, Allegra De Filippo, Federico Ruggeri, Michele Lombardi |
| 2022 | ECAI | Informed Deep Learning for Epidemics Forecasting. | Federico Baldo, Michele Iannello, Michele Lombardi, Michela Milano |
| 2022 | ECAI | Supervised Anomaly Detection in Crude Oil Stabilization. | Mattia Silvestri, Michele Lombardi, Emiliano Mucchi, Luca Cadei, Giovanna Magnago, Marco Piantanida, Valentina D'Ottavio, Nguyen Van Tu, Simona Duma, Silvia Taddei, Annagiulia Tiozzo, Andrea Corneo, Lorenzo Lancia, Laura Rocchi, Pietro Coffari di Gilferraro |
| 2022 | QRS | Strategies for Improving the Error Robustness of Convolutional Neural Networks. | Antnio Morais, Raul Barbosa, Nuno Loureno, Frederico Cerveira, Michele Lombardi, Henrique Madeira |
| 2021 | AAAI | Teaching the Old Dog New Tricks: Supervised Learning with Constraints. | Fabrizio Detassis, Michele Lombardi, Michela Milano |
| 2021 | CPAIOR | Injecting Domain Knowledge in Neural Networks: A Controlled Experiment on a Constrained Problem. | Mattia Silvestri, Michele Lombardi, Michela Milano |
| 2021 | IJCAI | Contrastive Losses and Solution Caching for Predict-and-Optimize. | Maxime Mulamba, Jayanta Mandi, Michelangelo Diligenti, Michele Lombardi, Victor Bucarey, Tias Guns |
| 2020 | ECAI | Teaching the old dog new tricks: supervised learning with constraints. | Fabrizio Detassis, Michele Lombardi, Michela Milano |
| 2020 | ECAI | Hybrid Offline/Online Optimization Under Uncertainty. | Allegra De Filippo, Michele Lombardi, Michela Milano |
| 2020 | ECAI | Injecting domain knowledge in neural networks: a controlled experiment on a constrained problem. | Mattia Silvestri, Michele Lombardi, Michela Milano |
| 2020 | IJCAI | The Blind Men and the Elephant: Integrated Offline/Online Optimization Under Uncertainty. | Allegra De Filippo, Michele Lombardi, Michela Milano |
| 2019 | AAAI | Anomaly Detection Using Autoencoders in High Performance Computing Systems. | Andrea Borghesi, Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini |
| 2019 | CP | Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem. | Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan |
| 2019 | CPAIOR | A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem. | Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan |
| 2019 | IJCAI | How to Tame Your Anticipatory Algorithm. | Allegra De Filippo, Michele Lombardi, Michela Milano |
| 2018 | CPAIOR | Off-Line and On-Line Optimization Under Uncertainty: A Case Study on Energy Management. | Allegra De Filippo, Michele Lombardi, Michela Milano |
| 2018 | CPAIOR | Model Agnostic Solution of CSPs via Deep Learning: A Preliminary Study. | Andrea Galassi, Michele Lombardi, Paola Mello, Michela Milano |
| 2018 | IJCAI | Boosting Combinatorial Problem Modeling with Machine Learning. | Michele Lombardi, Michela Milano |
| 2018 | IJCAI | Methods for off-line/on-line optimization under uncertainty. | Allegra De Filippo, Michele Lombardi, Michela Milano |
| 2018 | ICTAI | From Offline to Online Kidney Exchange Optimization. | Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan |
| 2016 | CP | The Multirate Resource Constraint. | Alessio Bonfietti, Alessandro Zanarini, Michele Lombardi, Michela Milano |
| 2016 | CPAIOR | Non-linear Optimization of Business Models in the Electricity Market. | Allegra De Filippo, Michele Lombardi, Michela Milano |
| 2016 | ECAI | DARDIS: Distributed And Randomized DIspatching and Scheduling. | Thomas Bridi, Michele Lombardi, Andrea Bartolini, Luca Benini, Michela Milano |
| 2015 | CP | Power Capping in High Performance Computing Systems. | Andrea Borghesi, Francesca Collina, Michele Lombardi, Michela Milano, Luca Benini |
| 2015 | CP | Deterministic Estimation of the Expected Makespan of a POS Under Duration Uncertainty. | Michele Lombardi, Alessio Bonfietti, Michela Milano |
| 2015 | CPAIOR | Embedding Decision Trees and Random Forests in Constraint Programming. | Alessio Bonfietti, Michele Lombardi, Michela Milano |
| 2015 | CPAIOR | Understanding the Potential of Propagators. | Sascha Van Cauwelaert, Michele Lombardi, Pierre Schaus |
| 2014 | CP | Proactive Workload Dispatching on the EURORA Supercomputer. | Andrea Bartolini, Andrea Borghesi, Thomas Bridi, Michele Lombardi, Michela Milano |
| 2014 | CPAIOR | Disregarding Duration Uncertainty in Partial Order Schedules? Yes, We Can! | Alessio Bonfietti, Michele Lombardi, Michela Milano |
| 2014 | CPAIOR | Cost Impact Guided LNS. | Michele Lombardi, Pierre Schaus |
| 2013 | CP | A Simple and Effective Decomposition for the Multidimensional Binpacking Constraint. | Stefano Gualandi, Michele Lombardi |
| 2013 | CP | A New Propagator for Two-Layer Neural Networks in Empirical Model Learning. | Michele Lombardi, Stefano Gualandi |
| 2012 | AAAI | Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching. | Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini |
| 2012 | CP | The Weighted Average Constraint. | Alessio Bonfietti, Michele Lombardi |
| 2012 | CPAIOR | Global Cyclic Cumulative Constraint. | Alessio Bonfietti, Michele Lombardi, Luca Benini, Michela Milano |
| 2011 | CP | Neuron Constraints to Model Complex Real-World Problems. | Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini |
| 2011 | CP | A Constraint Based Approach to Cyclic RCPSP. | Alessio Bonfietti, Michele Lombardi, Luca Benini, Michela Milano |
| 2011 | CPAIOR | Precedence Constraint Posting for Cyclic Scheduling Problems. | Michele Lombardi, Alessio Bonfietti, Michela Milano, Luca Benini |
| 2010 | AIMSA | Discrepancy-Based Sliced Neighborhood Search. | Fabio Parisini, Michele Lombardi, Michela Milano |
| 2010 | BIBE | Methods for Designing Reliable Probe Arrays. | Michele Lombardi, Luca Benini, Abhishek Garg, Giovanni De Micheli |
| 2010 | CP | Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution. | Michele Lombardi, Michela Milano |
| 2010 | DATE | An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms. | Alessio Bonfietti, Luca Benini, Michele Lombardi, Michela Milano |
| 2009 | CP | A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations. | Michele Lombardi, Michela Milano |
| 2009 | CPAIOR | Throughput Constraint for Synchronous Data Flow Graphs. | Alessio Bonfietti, Michele Lombardi, Michela Milano, Luca Benini |
| 2009 | DATE | Robust non-preemptive hard real-time scheduling for clustered multicore platforms. | Michele Lombardi, Michela Milano, Luca Benini |
| 2008 | CP | A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine. | Luca Benini, Michele Lombardi, Michela Milano, Martino Ruggiero |
| 2008 | CPAIOR | Multi-stage Benders Decomposition for Optimizing Multicore Architectures. | Luca Benini, Michele Lombardi, Marco Mantovani, Michela Milano, Martino Ruggiero |
| 2008 | DSD | Cellflow: A Parallel Application Development Environment with Run-Time Support for the Cell BE Processor. | Martino Ruggiero, Michele Lombardi, Michela Milano, Luca Benini |
| 2007 | AAAI | Optimal Multi-Agent Scheduling with Constraint Programming. | Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi |
| 2007 | CP | Scheduling Conditional Task Graphs. | Michele Lombardi, Michela Milano |
| 2007 | EMSOFT | Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip. | Emiliano Dolif, Michele Lombardi, Martino Ruggiero, Michela Milano, Luca Benini |
| 2006 | CP | Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs. | Michele Lombardi, Michela Milano |