| 2025 | AIME | Probabilistic Modeling and Verification of an Adaptive VR Serious Game for Patients with Cognitive Impairment. | Alessandro Forgiarini, Elisabetta De Maria, Fabio Buttussi |
| 2025 | IJCAI | Large Language Model Meets Constraint Propagation. | Alexandre Bonlarron, Florian Rgin, Elisabetta De Maria, Jean-Charles Rgin |
| 2025 | UC | Probabilistic Spiking Neural Networks: Formal Verification and Simulation. | Zhen Yao, Elisabetta De Maria, Robert de Simone |
| 2024 | CP | Combining Constraint Programming Reasoning with Large Language Model Predictions. | Florian Rgin, Elisabetta De Maria, Alexandre Bonlarron |
| 2024 | ICTAI | Generative Constraint Programming Revisited. | Florian Rgin, Elisabetta De Maria |
| 2023 | ICTAI | Using On-The-Fly Model Checking to improve Constraint Programming for Dynamic Problems. | Florian Rgin, Elisabetta De Maria |
| 2009 | LFCS | Games on Strings with a Limited Order Relation. | Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna |
| 2006 | TIME | An automaton-based approach to the verification of timed workflow schemas. | Elisabetta De Maria, Angelo Montanari, Marco Zantoni |