Nested Guarded Horn Clauses. - Moreno Falaschi; Maurizio Gabbrielli; Giorgio Levi; Masaki Murakami (Int. J. Found. Comput. Sci., 1990)

On the Semantics of Logic Programs. - Maurizio Gabbrielli; Giorgio Levi (ICALP, 1991)

An OR-Compositional Semantics for Logic Programs. - Annalisa Bossi; Maurizio Gabbrielli; Giorgio Levi; Maria Chiara Meo (ICLP Workshop on Construction of Logic Programs, 1991)

Modeling Answer Constraints in Constraint Logic Programs. - Maurizio Gabbrielli; Giorgio Levi (ICLP, 1991)

Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes. - Antonio Brogi; Maurizio Gabbrielli (PLILP, 1991)

A Solved Form Algorithm for Ask and Tell Herbrand Constraints. - Maurizio Gabbrielli; Giorgio Levi (TAPSOFT, Vol.1, 1991)

Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns. - Maurizio Gabbrielli; Maria Chiara Meo (ALP, 1992)

Contributions to the Semantics of Open Logic Programs. - Annalisa Bossi; Maurizio Gabbrielli; Giorgio Levi; Maria Chiara Meo (FGCS, 1992)

Observational Equivalences for Logic Programs. - Maurizio Gabbrielli; Giorgio Levi; Maria Chiara Meo (JICSLP, 1992)

A Two Steps Semantics for Logic Programs with Negation. - Maurizio Gabbrielli; Giorgio Levi; Daniele Turi (LPAR, 1992)

New Semantic Tools for Logic Programming. - Maurizio Gabbrielli; Giorgio Levi; Maurizio Martelli (REX Workshop, 1992)

Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. - Maurizio Gabbrielli; Giorgio Levi (Theor. Comput. Sci., 1992)

Modular Logic Programs on Finite Domains. - Maurizio Gabbrielli; Roberto Giacobazzi; Danilo Montesi (GULP, 1993)

Compositional Analysis for Concurrent Constraint Programming - Moreno Falaschi; Maurizio Gabbrielli; Kim Marriott; Catuscia Palamidessi (LICS, 1993)

Differential Logic Programming. - Annalisa Bossi; Michele Bugliesi; Maurizio Gabbrielli; Giorgio Levi; Maria Chiara Meo (POPL, 1993)

Modular Transformations of CLP Programs. - Sandro Etalle; Maurizio Gabbrielli (GULP-PRODE (1), 1994)

Confluence and Concurrent Constraint Programming. - Moreno Falaschi; Maurizio Gabbrielli; Kim Marriott; Catuscia Palamidessi (GULP-PRODE (1), 1994)

Declarative Interpretations Reconsidered. - Krzysztof R. Apt; Maurizio Gabbrielli (ICLP, 1994)

Proving correctness of Concurrent Constraint Programs. - Frank S. de Boer; Maurizio Gabbrielli; Elena Marchiori; Catuscia Palamidessi (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

Denotational semantics for Concurrent Constraint Programs analyses. - Moreno Falaschi; Maurizio Gabbrielli; Kim Marriott; Catuscia Palamidessi (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

Goal independency and call patterns in the analysis of logic programs. - Maurizio Gabbrielli; Roberto Giacobazzi (SAC, 1994)

The s-Semantics Approach: Theory and Applications. - Annalisa Bossi; Maurizio Gabbrielli; Giorgio Levi; Maurizio Martelli (J. Log. Program., 1994)

A Compositional Semantics for Logic Programs. - Annalisa Bossi; Maurizio Gabbrielli; Giorgio Levi; Maria Chiara Meo (Theor. Comput. Sci., 1994)

Modeling Real-Time in Concurrent Constraint Programming. - Frank S. de Boer; Maurizio Gabbrielli (GULP-PRODE, 1995)

A Transformation System for Modular CLP Programs. - Sandro Etalle; Maurizio Gabbrielli (ICLP, 1995)

The Replacement Operation for CLP Modules. - Sandro Etalle; Maurizio Gabbrielli (PEPM, 1995)

Modelling Real-Time in Concurrent Constraint Programming. - Frank S. de Boer; Maurizio Gabbrielli (ILPS, 1995)

Observable Semantics for Constraint Logic Programs. - Maurizio Gabbrielli; Giovanna M. Dore; Giorgio Levi (J. Log. Comput., 1995)

Observable Behaviors and Equivalences of Logic Programs - Maurizio Gabbrielli; Giorgio Levi; Maria Chiara Meo (Inf. Comput., 1995)

Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. - Frank S. de Boer; Maurizio Gabbrielli; Catuscia Palamidessi (SAS, 1996)

On the Correctness of the Replacement Operation for CLP Modules. - Sandro Etalle; Maurizio Gabbrielli (J. Funct. Log. Program., 1996)

A Closer Look at Declarative Interpretations. - Krzysztof R. Apt; Maurizio Gabbrielli; Dino Pedreschi (J. Log. Program., 1996)

Resultants Semantics for Prolog. - Maurizio Gabbrielli; Giorgio Levi; Maria Chiara Meo (J. Log. Comput., 1996)

Differential Logic Programs: Programming Methodologies and Semantics. - Annalisa Bossi; Michele Bugliesi; Maurizio Gabbrielli; Giorgio Levi; Maria Chiara Meo (Sci. Comput. Program., 1996)

Transformations of CLP Modules. - Sandro Etalle; Maurizio Gabbrielli (Theor. Comput. Sci., 1996)

Semantics and Expressive Power of a Timed Concurrent Constraint Language. - Frank S. de Boer; Maurizio Gabbrielli; Maria Chiara Meo (APPIA-GULP-PRODE, 1997)

A Transformation System for CLP with Dynamic Scheduling and CCP. - Sandro Etalle; Maurizio Gabbrielli; Elena Marchiori (PEPM, 1997)

Infinite computations in concurrent constraint programming. - Frank S. de Boer; Maurizio Gabbrielli (MFPS, 1997)

Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. - Moreno Falaschi; Maurizio Gabbrielli; Kim Marriott; Catuscia Palamidessi (Inf. Comput., 1997)

Confluence in Concurrent Constraint Programming. - Moreno Falaschi; Maurizio Gabbrielli; Kim Marriott; Catuscia Palamidessi (Theor. Comput. Sci., 1997)

Proving Concurrent Constraint Programs Correct. - Frank S. de Boer; Maurizio Gabbrielli; Elena Marchiori; Catuscia Palamidessi (ACM Trans. Program. Lang. Syst., 1997)

Unfold/Fold Transformations of CCP Programs. - Sandro Etalle; Maurizio Gabbrielli; Maria Chiara Meo (CONCUR, 1998)

Dynamic web sites. - Maurizio Gabbrielli; Massimo Marchiori (QL, 1998)

Partial Evaluation of Concurrent Constraint Languages. - Sandro Etalle; Maurizio Gabbrielli (ACM Comput. Surv., 1998)

Preface. - Frank S. de Boer; Maurizio Gabbrielli (COTIC, 1998)

Layered Modes. - Sandro Etalle; Maurizio Gabbrielli (J. Log. Program., 1999)

A Timed Linda Language. - Frank S. de Boer; Maurizio Gabbrielli; Maria Chiara Meo (COORDINATION, 2000)

A Timed Concurrent Constraint Language. - Frank S. de Boer; Maurizio Gabbrielli; Maria Chiara Meo (Inf. Comput., 2000)

A Denotational Semantics for Timed Linda. - Frank S. de Boer; Maurizio Gabbrielli; Maria Chiara Meo (PPDP, 2001)

A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. - Frank S. de Boer; Maurizio Gabbrielli; Maria Chiara Meo (TIME, 2001)

Comparative analysis of the expressiveness of shared dataspace coordination. - Antonio Brogi; Nadia Busi; Maurizio Gabbrielli; Gianluigi Zavattaro (TOSCA, 2001)

Transformations of CCP programs. - Sandro Etalle; Maurizio Gabbrielli; Maria Chiara Meo (ACM Trans. Program. Lang. Syst., 2001)

Replication vs. Recursive Definitions in Channel Based Calculi. - Nadia Busi; Maurizio Gabbrielli; Gianluigi Zavattaro (ICALP, 2003)

Compositional Verification of Infinite State Systems. - Giorgio Delzanno; Maurizio Gabbrielli; Maria Chiara Meo (ICLP, 2003)

Comparing Recursion, Replication, and Iteration in Process Calculi. - Nadia Busi; Maurizio Gabbrielli; Gianluigi Zavattaro (ICALP, 2004)

A Timed Linda Language and its Denotational Semantics. - Frank S. de Boer; Maurizio Gabbrielli; Maria Chiara Meo (Fundam. Informaticae, 2004)

Proving correctness of timed concurrent constraint programs. - Frank S. de Boer; Maurizio Gabbrielli; Maria Chiara Meo (ACM Trans. Comput. Log., 2004)

Compositional Verification of Asynchronous Processes via Constraint Solving. - Giorgio Delzanno; Maurizio Gabbrielli (ICALP, 2005)

A compositional semantics for CHR. - Giorgio Delzanno; Maurizio Gabbrielli; Maria Chiara Meo (PPDP, 2005)

Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. - Giorgio Delzanno; Sandro Etalle; Maurizio Gabbrielli (Theory Pract. Log. Program., 2006)

Unfolding in CHR. - Paolo Tacchella; Maurizio Gabbrielli; Maria Chiara Meo (PPDP, 2007)

Timed Soft Concurrent Constraint Programs. - Stefano Bistarelli; Maurizio Gabbrielli; Maria Chiara Meo; Francesco Santini 001 (COORDINATION, 2008)

Full Abstraction for Linda. - Cinzia Di Giusto; Maurizio Gabbrielli (ESOP, 2008)

A Compositional Semantics for CHR with Propagation Rules. - Maurizio Gabbrielli; Maria Chiara Meo; Paolo Tacchella (Constraint Handling Rules, 2008)

The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. - Giorgio Delzanno; Cinzia Di Giusto; Maurizio Gabbrielli; Cosimo Laneve; Gianluigi Zavattaro (CMSB, 2009)

On the expressive power of priorities in CHR. - Maurizio Gabbrielli; Jacopo Mauro; Maria Chiara Meo (PPDP, 2009)

Expressiveness of Multiple Heads in CHR. - Cinzia Di Giusto; Maurizio Gabbrielli; Maria Chiara Meo (SOFSEM, 2009)

On the expressive power of recursion, replication and iteration in process calculi. - Nadia Busi; Maurizio Gabbrielli; Gianluigi Zavattaro (Math. Struct. Comput. Sci., 2009)

Foreword. - Moreno Falaschi; Maurizio Gabbrielli; Catuscia Palamidessi (Theor. Comput. Sci., 2009)

A compositional semantics for CHR. - Maurizio Gabbrielli; Maria Chiara Meo (ACM Trans. Comput. Log., 2009)

Concurrent and Reactive Constraint Programming. - Maurizio Gabbrielli; Catuscia Palamidessi; Frank D. Valencia (25 Years GULP, 2010)

Decidability properties for fragments of CHR. - Maurizio Gabbrielli; Jacopo Mauro; Maria Chiara Meo; Jon Sneyers (Theory Pract. Log. Program., 2010)

Programming Languages: Principles and Paradigms. - Maurizio Gabbrielli; Simone Martini 001 (Springer, 2010)

Solving XCSP problems by using Gecode. - Massimo Morara; Jacopo Mauro; Maurizio Gabbrielli (CILC, 2011)

An Efficient Management of Correlation Sets with Broadcast. - Jacopo Mauro; Maurizio Gabbrielli; Claudio Guidi; Fabrizio Montesi (COORDINATION, 2011)

Graceful Interruption of Request-Response Service Interactions. - Mila Dalla Preda; Maurizio Gabbrielli; Ivan Lanese; Jacopo Mauro; Gianluigi Zavattaro (ICSOC, 2011)

A Role-Playing Game for a Software Engineering Lab: Developing a Product Line. - Sara Zuppiroli; Paolo Ciancarini; Maurizio Gabbrielli (CSEE&T, 2012)

Interface-Based Service Composition with Aggregation. - Mila Dalla Preda; Maurizio Gabbrielli; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi (ESOCC, 2012)

Service integration via target-transparent mediation. - Mila Dalla Preda; Maurizio Gabbrielli; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi (SOCA, 2012)

On the Expressive Power of Multiple Heads in CHR. - Cinzia Di Giusto; Maurizio Gabbrielli; Maria Chiara Meo (ACM Trans. Comput. Log., 2012)

An Empirical Evaluation of Portfolios Approaches for Solving CSPs. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (CPAIOR, 2013)

Fast Post-Disaster Emergency Vehicle Scheduling. - Roberto Amadini; Imane Sefrioui; Jacopo Mauro; Maurizio Gabbrielli (DCAI, 2013)

Features for Building CSP Portfolio Solvers. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (CoRR, 2013)

SUNNY: a Simple and Dynamic Algorithm Portfolio for Solving CSPs. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (CoRR, 2013)

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

A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing. - Roberto Amadini; Imane Sefrioui; Jacopo Mauro; Maurizio Gabbrielli (Int. J. Interact. Multim. Artif. Intell., 2013)

Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs. - Frank S. de Boer; Maurizio Gabbrielli (Horizons of the Mind, 2014)

Towards a Composition-based APIaaS Layer. - Claudio Guidi; Saverio Giallorenzo; Maurizio Gabbrielli (CLOSER, 2014)

Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. - Maurizio Gabbrielli; Saverio Giallorenzo; Fabrizio Montesi (DCAI, 2014)

An enhanced features extractor for a portfolio of constraint solvers. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (SAC, 2014)

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. - Mila Dalla Preda; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro; Maurizio Gabbrielli (SLE, 2014)

Deadlock Freedom by Construction for Distributed Adaptive Applications. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (CoRR, 2014)

Probabilistic Recursion Theory and Implicit Computational Complexity. - Ugo Dal Lago; Sara Zuppiroli; Maurizio Gabbrielli (Sci. Ann. Comput. Sci., 2014)

SUNNY: a Lazy Portfolio Approach for Constraint Solving. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (Theory Pract. Log. Program., 2014)

SUNNY for algorithm selection: a preliminary study. - Roberto Amadini; Fabio Biselli; Maurizio Gabbrielli; Tong Liu 004; Jacopo Mauro (CILC, 2015)

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (COORDINATION, 2015)

Feature Selection for SUNNY: A Study on the Algorithm Selection Library. - Roberto Amadini; Fabio Biselli; Maurizio Gabbrielli; Tong Liu 004; Jacopo Mauro (ICTAI, 2015)

A Multicore Tool for Constraint Solving. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (IJCAI, 2015)

Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (LOPSTR, 2015)

SUNNY-CP: a sequential CP portfolio solver. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (SAC, 2015)

SUNNY-CP 2: a Parallel CP Portfolio Solver. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (CoRR, 2015)

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

Timed soft concurrent constraint programs: An interleaved and a parallel approach. - Stefano Bistarelli; Maurizio Gabbrielli; Maria Chiara Meo; Francesco Santini 001 (Theory Pract. Log. Program., 2015)

Unfolding for CHR programs. - Maurizio Gabbrielli; Maria Chiara Meo; Paolo Tacchella; Herbert Wiklicky (Theory Pract. Log. Program., 2015)

Self-Reconfiguring Microservices. - Maurizio Gabbrielli; Saverio Giallorenzo; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi (Theory and Practice of Formal Methods, 2016)

Parallelizing Constraint Solvers for Hard RCPSP Instances. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (LION, 2016)

Slicing Concurrent Constraint Programs. - Moreno Falaschi; Maurizio Gabbrielli; Carlos Olarte; Catuscia Palamidessi (LOPSTR, 2016)

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

An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (Int. J. Interact. Multim. Artif. Intell., 2016)

NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. - Tong Liu 004; Roberto Di Cosmo; Maurizio Gabbrielli; Jacopo Mauro (CP, 2017)

Smart mobility for all: A global federated market for mobility-as-a-service operators. - Franco Callegati; Maurizio Gabbrielli; Saverio Giallorenzo; Andrea Melis 001; Marco Prandini (ITSC, 2017)

Dynamic Choreographies: Theory And Implementation. - Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (Log. Methods Comput. Sci., 2017)

Applied Choreographies. - Saverio Giallorenzo; Fabrizio Montesi; Maurizio Gabbrielli (FORTE, 2018)

A Language-based Approach for Interoperability of IoT Platforms. - Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Stefano Pio Zingaro (HICSS, 2018)

SUNNY-CP and the MiniZinc challenge. - Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (Theory Pract. Log. Program., 2018)

Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. - Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro (The Art of Modelling Computational Systems, 2019)

No More, No Less - A Formal Model for Serverless Computing. - Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Fabrizio Montesi; Marco Peressotti; Stefano Pio Zingaro (COORDINATION, 2019)

Federated Platooning: Insider Threats and Mitigations. - Franco Callegati; Saverio Giallorenzo; Maurizio Gabbrielli; Andrea Melis 001; Marco Prandini (HICSS, 2019)

Constraint Programming for Flexible Service Function Chaining Deployment. - Tong Liu 004; Franco Callegati; Walter Cerroni; Chiara Contoli; Maurizio Gabbrielli; Saverio Giallorenzo (HICSS, 2019)

Student Dropout Prediction. - Francesca Del Bonifro; Maurizio Gabbrielli; Giuseppe Lisanti; Stefano Pio Zingaro (AIED (1), 2020)

Multimodal Side- Tuning for Document Classification. - Stefano Pio Zingaro; Giuseppe Lisanti; Maurizio Gabbrielli (ICPR, 2020)

Dynamic Slicing for Concurrent Constraint Languages. - Moreno Falaschi; Maurizio Gabbrielli; Carlos Olarte; Catuscia Palamidessi (Fundam. Informaticae, 2020)

Content-Based Textual File Type Detection at Scale. - Francesca Del Bonifro; Maurizio Gabbrielli; Stefano Zacchiroli (ICMLC, 2021)

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

Image-based many-language programming language identification. - Francesca Del Bonifro; Maurizio Gabbrielli; Antonio Lategano; Stefano Zacchiroli (PeerJ Comput. Sci., 2021)

Student Low Achievement Prediction. - Andrea Zanellati; Stefano Pio Zingaro; Maurizio Gabbrielli (AIED (1), 2022)

SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0. - Lorenzo Bacchiani; Giuseppe De Palma; Luca Sciullo; Mario Bravetti; Marco De Felice; Maurizio Gabbrielli; Gianluigi Zavattaro; Roberto Della Penna; Corrado Iorizzo; Andrea Livaldi; Luca Magnotta; Mirko Orsini (CIoT, 2022)

Tracking learners' knowledge and skills development. - Andrea Zanellati; Maurizio Gabbrielli; Olivia Levrini (EC-TEL (Doctoral Consortium), 2022)

Proactive-Reactive Global Scaling, with Analytics. - Lorenzo Bacchiani; Mario Bravetti; Maurizio Gabbrielli; Saverio Giallorenzo; Gianluigi Zavattaro; Stefano Pio Zingaro (ICSOC, 2022)

sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract). - Tong Liu 004; Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro (IJCAI, 2022)

Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study. - Lorenzo Bacchiani; Giuseppe De Palma; Luca Sciullo; Mario Bravetti; Marco Di Felice; Maurizio Gabbrielli; Gianluigi Zavattaro; Roberto Della Penna (IEEE Internet Things Mag., 2022)

Low-achievement risk assessment with machine learning. - Andrea Zanellati; Stefano Pio Zingaro; Maurizio Gabbrielli (Ital-IA, 2023)

A 2-Step Methodology for XAI in Education. - Francesco Balzan; Andrea Zanellati; Stefano Pio Zingaro; Maurizio Gabbrielli (PKDD/ECML Workshops (2), 2023)

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

Regular Matching with Constraint Programming. - Roberto Amadini; Maurizio Gabbrielli (Challenges of Software Verification, 2023)

Programming Languages: Principles and Paradigms, Second Edition - Maurizio Gabbrielli; Simone Martini 001; Saverio Giallorenzo (Springer, 2023)

A Machine Learning Based Tool to Estimate Coolant Engine Temperature Based on Motorcycle Riding Data. - Federico Pennino; Davide Sette; David Attisano; Maurizio Gabbrielli (ICTAI, 2024)

Driving Style Representation via Convolutional Neural Networks: A Contrastive Learning Approach. - Federico Pennino; Davide Sette; David Attisano; Maurizio Gabbrielli (ITSC, 2024)

Contrastive learning for body gesture detection during Adapted Physical Activity. - Juan Martinez Rocha; Federico Pennino; Cécile Dubois; Éric Monacelli; Maurizio Gabbrielli (RO-MAN, 2024)

Code stylometry vs formatting and minification. - Stefano Balla; Maurizio Gabbrielli; Stefano Zacchiroli (PeerJ Comput. Sci., 2024)

A model for correlation-based choreographic programming. - Saverio Giallorenzo; Fabrizio Montesi; Maurizio Gabbrielli (PeerJ Comput. Sci., 2024)

Stylometry for real-world expert coders: a zero-shot approach. - Andrea Gurioli; Maurizio Gabbrielli; Stefano Zacchiroli (PeerJ Comput. Sci., 2024)

Hybrid Models for Knowledge Tracing: A Systematic Literature Review. - Andrea Zanellati; Daniele Di Mitri; Maurizio Gabbrielli; Olivia Levrini (IEEE Trans. Learn. Technol., 2024)

Balancing Performance and Explainability in Academic Dropout Prediction. - Andrea Zanellati; Stefano Pio Zingaro; Maurizio Gabbrielli (IEEE Trans. Learn. Technol., 2024)

Luxury Car Data Analysis: A Literature Review. - Pegah Barakati; Flavio Bertini 001; Emanuele Corsi; Maurizio Gabbrielli; Danilo Montesi (Data, 2024)

Dataset of the paper "Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs". - Bianca Raimondi; Saverio Giallorenzo; Maurizio Gabbrielli (Zenodo, 2024)

Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs. - Bianca Raimondi; Saverio Giallorenzo; Maurizio Gabbrielli (SAC, 2025)

Is This You, LLM? Recognizing AI-written Programs with Multilingual Code Stylometry. - Andrea Gurioli; Maurizio Gabbrielli; Stefano Zacchiroli (SANER, 2025)

A Comprehensive Approach to Residual Value Analysis in the Luxury Automotive Market. - Alessandro Ghibellini; Andrea Scioletti; Mauro Coletto; Luciano Bononi; Maurizio Gabbrielli (IEEE Access, 2025)

Proactive-reactive microservice architecture global scaling. - Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Maurizio Gabbrielli; Gianluigi Zavattaro; Stefano Pio Zingaro (J. Syst. Softw., 2025)

One Model to Train them All: Hierarchical Self-Distillation for Enhanced Early Layer Embeddings. - Andrea Gurioli; Federico Pennino; João Monteiro; Maurizio Gabbrielli (CoRR, 2025)

A Computational Model of Inclusive Pedagogy: From Understanding to Application. - Francesco Balzan; Pedro P. Santos; Maurizio Gabbrielli; Mahault Albarracin; Manuel Lopes 001 (CoRR, 2025)

From Reasoning to Code: GRPO Optimization for Underrepresented Languages. - Federico Pennino; Bianca Raimondi; Massimo Rondelli; Andrea Gurioli; Maurizio Gabbrielli (CoRR, 2025)

Exploiting Primacy Effect To Improve Large Language Models. - Bianca Raimondi; Maurizio Gabbrielli (CoRR, 2025)