Maurizio Gabbrielli

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 50

Top Venues

CoRR

Theory Pract. Log. Program.

HICSS

J. Artif. Intell. Res.

Publications

Pegah Barakati, Flavio Bertini, Emanuele Corsi, Maurizio Gabbrielli, Danilo Montesi
Luxury Car Data Analysis: A Literature Review. Data 9 (4) (2024)
Andrea Zanellati, Daniele Di Mitri, Maurizio Gabbrielli, Olivia Levrini
Hybrid Models for Knowledge Tracing: A Systematic Literature Review. IEEE Trans. Learn. Technol. 17 (2024)
Andrea Zanellati, Stefano Pio Zingaro, Maurizio Gabbrielli
Low-achievement risk assessment with machine learning. Ital-IA (2023)
Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
On the Evaluation of (Meta-)solver Approaches. J. Artif. Intell. Res. 76 (2023)
Stefano Pio Zingaro, Giuseppe Lisanti, Maurizio Gabbrielli
Multimodal Side-Tuning for Document Classification. CoRR (2023)
Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro
Proactive-Reactive Global Scaling, with Analytics. ICSOC (2022)
Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
On the evaluation of (meta-)solver approaches. CoRR (2022)
Lorenzo Bacchiani, Giuseppe De Palma, Luca Sciullo, Mario Bravetti, Marco Di Felice, Maurizio Gabbrielli, Gianluigi Zavattaro, Roberto Della Penna
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study. IEEE Internet Things Mag. 5 (3) (2022)
Andrea Zanellati, Stefano Pio Zingaro, Maurizio Gabbrielli
Student Low Achievement Prediction. AIED (1) (2022)
Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract). IJCAI (2022)
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
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0. CIoT (2022)
Andrea Zanellati, Maurizio Gabbrielli, Olivia Levrini
Tracking learners' knowledge and skills development. EC-TEL (Doctoral Consortium) (2022)
Francesca Del Bonifro, Maurizio Gabbrielli, Antonio Lategano, Stefano Zacchiroli
Image-based many-language programming language identification. PeerJ Comput. Sci. 7 (2021)
Francesca Del Bonifro, Maurizio Gabbrielli, Stefano Zacchiroli
Content-Based Textual File Type Detection at Scale. CoRR (2021)
Francesca Del Bonifro, Maurizio Gabbrielli, Stefano Zacchiroli
Content-Based Textual File Type Detection at Scale. ICMLC (2021)
Tong Liu, Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
sunny-as2: Enhancing SUNNY for Algorithm Selection. J. Artif. Intell. Res. 72 (2021)
Francesca Del Bonifro, Maurizio Gabbrielli, Giuseppe Lisanti, Stefano Pio Zingaro
Student Dropout Prediction. AIED (1) (2020)
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
Dynamic Slicing for Concurrent Constraint Languages. Fundam. Informaticae 177 (3-4) (2020)
Stefano Pio Zingaro, Giuseppe Lisanti, Maurizio Gabbrielli
Multimodal Side- Tuning for Document Classification. ICPR (2020)
Tong Liu, Roberto Amadini, Jacopo Mauro, Maurizio Gabbrielli
sunny-as2: Enhancing SUNNY for Algorithm Selection. CoRR (2020)
Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo
Constraint Programming for Flexible Service Function Chaining Deployment. HICSS (2019)
Franco Callegati, Saverio Giallorenzo, Maurizio Gabbrielli, Andrea Melis, Marco Prandini
Federated Platooning: Insider Threats and Mitigations. HICSS (2019)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
No more, no less - A formal model for serverless computing. CoRR (2019)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
No More, No Less - A Formal Model for Serverless Computing. COORDINATION (2019)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. The Art of Modelling Computational Systems (2019)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
SUNNY-CP and the MiniZinc challenge. Theory Pract. Log. Program. 18 (1) (2018)
Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, Saverio Giallorenzo
Constraint programming for flexible Service Function Chaining deployment. CoRR (2018)
Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
Applied Choreographies. FORTE (2018)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro
A Language-based Approach for Interoperability of IoT Platforms. HICSS (2018)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Dynamic Choreographies: Theory And Implementation. Log. Methods Comput. Sci. 13 (2) (2017)
Franco Callegati, Maurizio Gabbrielli, Saverio Giallorenzo, Andrea Melis, Marco Prandini
Smart mobility for all: A global federated market for mobility-as-a-service operators. ITSC (2017)
Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro
NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. CP (2017)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
SUNNY-CP and the MiniZinc Challenge. CoRR (2017)
Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
Self-Reconfiguring Microservices. Theory and Practice of Formal Methods (2016)
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
Slicing Concurrent Constraint Programs. LOPSTR (2016)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Portfolio approaches for constraint optimization problems. Ann. Math. Artif. Intell. 76 (1-2) (2016)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems. Int. J. Interact. Multim. Artif. Intell. 3 (7) (2016)
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
Slicing Concurrent Constraint Programs. CoRR (2016)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Parallelizing Constraint Solvers for Hard RCPSP Instances. LION (2016)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. LOPSTR (2015)
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
Feature Selection for SUNNY: A Study on the Algorithm Selection Library. ICTAI (2015)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Developing correct, distributed, adaptive software. Sci. Comput. Program. 97 (2015)
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky
Unfolding for CHR programs. Theory Pract. Log. Program. 15 (3) (2015)
Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi
Applied Choreographies. CoRR (2015)
Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
SUNNY for algorithm selection: a preliminary study. CILC (2015)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
SUNNY-CP: a sequential CP portfolio solver. SAC (2015)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. COORDINATION (2015)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
SUNNY-CP 2: a Parallel CP Portfolio Solver. CoRR (2015)
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
Timed soft concurrent constraint programs: An interleaved and a parallel approach. Theory Pract. Log. Program. 15 (6) (2015)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
A Multicore Tool for Constraint Solving. IJCAI (2015)
Ugo Dal Lago, Sara Zuppiroli, Maurizio Gabbrielli
Probabilistic Recursion Theory and Implicit Computational Complexity. Sci. Ann. Comput. Sci. 24 (2) (2014)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Portfolio Approaches for Constraint Optimization Problems. LION (2014)
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE (2014)
Claudio Guidi, Saverio Giallorenzo, Maurizio Gabbrielli
Towards a Composition-based APIaaS Layer. CLOSER (2014)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
An enhanced features extractor for a portfolio of constraint solvers. SAC (2014)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
SUNNY: a Lazy Portfolio Approach for Constraint Solving. Theory Pract. Log. Program. 14 (4-5) (2014)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Deadlock Freedom by Construction for Distributed Adaptive Applications. CoRR (2014)
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. CoRR (2014)
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach. CoRR (2014)
Frank S. de Boer, Maurizio Gabbrielli
Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs. Horizons of the Mind (2014)
Maurizio Gabbrielli, Saverio Giallorenzo, Fabrizio Montesi
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. DCAI (2014)
Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli
A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing. Int. J. Interact. Multim. Artif. Intell. 2 (4) (2013)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
An Empirical Evaluation of Portfolios Approaches for Solving CSPs. CPAIOR (2013)
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky
Unfolding for CHR programs. CoRR (2013)
Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli
Fast Post-Disaster Emergency Vehicle Scheduling. DCAI (2013)
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo
The expressive power of CHR with priorities. Inf. Comput. 228 (2013)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Features for Building CSP Portfolio Solvers. CoRR (2013)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
SUNNY: a Simple and Dynamic Algorithm Portfolio for Solving CSPs. CoRR (2013)
Sara Zuppiroli, Paolo Ciancarini, Maurizio Gabbrielli
A Role-Playing Game for a Software Engineering Lab: Developing a Product Line. CSEE&T (2012)
Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
Service integration via target-transparent mediation. SOCA (2012)
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
An Empirical Evaluation of Portfolios Approaches for solving CSPs CoRR (2012)
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
On the Expressive Power of Multiple Heads in CHR. ACM Trans. Comput. Log. 13 (1) (2012)
Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
Interface-Based Service Composition with Aggregation. ESOCC (2012)
Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi
An Efficient Management of Correlation Sets with Broadcast. COORDINATION (2011)
Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli
Solving XCSP problems by using Gecode CoRR (2011)
Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli
Solving XCSP problems by using Gecode. CILC (2011)
Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro
Graceful Interruption of Request-Response Service Interactions. ICSOC (2011)
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
Decidability properties for fragments of CHR CoRR (2010)
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
Decidability properties for fragments of CHR. Theory Pract. Log. Program. 10 (4-6) (2010)
Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
On the expressive power of recursion, replication and iteration in process calculi. Math. Struct. Comput. Sci. 19 (6) (2009)
Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro
-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. CMSB (2009)
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
Expressiveness of Multiple Heads in CHR. SOFSEM (2009)
Maurizio Gabbrielli, Maria Chiara Meo
A compositional semantics for CHR. ACM Trans. Comput. Log. 10 (2) (2009)
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo
On the expressive power of priorities in CHR. PPDP (2009)
Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi
Foreword. Theor. Comput. Sci. 410 (46) (2009)
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
Timed Soft Concurrent Constraint Programs. COORDINATION (2008)
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella
Unfolding in CHR CoRR (2008)
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
Expressiveness of multiple heads in CHR CoRR (2008)
Cinzia Di Giusto, Maurizio Gabbrielli
Full Abstraction for Linda. ESOP (2008)
Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo
Unfolding in CHR. PPDP (2007)
Maurizio Gabbrielli, Maria Chiara Meo
A compositional Semantics for CHR CoRR (2006)
Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. Theory Pract. Log. Program. 6 (3) (2006)
Giorgio Delzanno, Maurizio Gabbrielli
Compositional Verification of Asynchronous Processes via Constraint Solving. ICALP (2005)
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
A compositional semantics for CHR. PPDP (2005)
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
Proving correctness of timed concurrent constraint programs. ACM Trans. Comput. Log. 5 (4) (2004)
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
A Timed Linda Language and its Denotational Semantics. Fundam. Informaticae 63 (4) (2004)
Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
Comparing Recursion, Replication, and Iteration in Process Calculi. ICALP (2004)
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
Compositional Verification of Infinite State Systems. ICLP (2003)
Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
Replication vs. Recursive Definitions in Channel Based Calculi. ICALP (2003)
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS (2002)

Maurizio Gabbrielli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Maurizio Gabbrielli