GABBRIELLI, MAURIZIO
GABBRIELLI, MAURIZIO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
A compositional semantics for CHR
2009 M. Gabbrielli; M.C. Meo
A compositional Semantics for CHR with propagation rules
2008 M. Gabbrielli; M.C. Meo; P. Tacchella
A compositional semantics for CHR.
2005 G.Delzanno|; M.Gabbrielli|; M.C. Meo
A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing
2013 Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli
A Language-based Approach for Interoperability of IoT Platforms
2018 Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Zingaro, Stefano Pio;
A multicore tool for constraint solving
2015 Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
A Role-Playing Game for a Software Engineering Lab: Developing a Product Line
2012 Sara Zuppiroli; Paolo Ciancarini; Maurizio Gabbrielli
A Timed Linda Language and its Denotational Semantics.
2004 F.S. de Boer; M. Gabbrielli; M.C. Meo.
AIOCJ
2014 Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio
AIOCJ: A choreographic framework for safe adaptive distributed applications
2014 Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio
An Efficient Management of Correlation Sets with Broadcast
2011 Jacopo Mauro; Maurizio Gabbrielli; Claudio Guidi; Fabrizio Montesi
An Empirical Evaluation of Portfolios Approaches for Solving CSPsIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
2013 Roberto Amadini;Maurizio Gabbrielli;Jacopo Mauro
An enhanced features extractor for a portfolio of constraint solvers
2014 Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems
2016 Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
Applied choreographies
2018 Giallorenzo, Saverio*; Montesi, Fabrizio; Gabbrielli, Maurizio
Artificial Intelligence and education: new research perspectives = Intelligenza artificiale e educazione: nuove prospettive di ricerca
2020 Chiara Panciroli; Pier Cesare Rivoltella; Maurizio Gabbrielli; Olaf Zawacki-Richter;
Comparing Recursion, Replication, and Iteration in Process Calculi
2004 N. BUSI; GABBRIELLI M.; G. ZAVATTARO
Compositional Verification of Asynchronous Processes via Constraint Solving
2005 G. Delzanno; M. Gabbrielli
Concurrent and Reactive Constraint Programming
2010 M.Gabbrielli; C.Palamidessi; F. D. Valencia
Constraint programming for flexible service function chaining deployment
2019 Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, and Saverio Giallorenzo
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A compositional semantics for CHR | M. Gabbrielli; M.C. Meo | 2009-01-01 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | - | 1.01 Articolo in rivista | - |
| A compositional Semantics for CHR with propagation rules | M. Gabbrielli; M.C. Meo; P. Tacchella | 2008-01-01 | - | Springer-Verlag | 2.01 Capitolo / saggio in libro | - |
| A compositional semantics for CHR. | G.Delzanno|; M.Gabbrielli|; M.C. Meo | 2005-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |
| A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing | Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli | 2013-01-01 | INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | - |
| A Language-based Approach for Interoperability of IoT Platforms |
Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Zingaro, Stefano Pio; |
2018-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| A multicore tool for constraint solving | Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2015-01-01 | IJCAI | International Joint Conferences on Artificial Intelligence | 4.01 Contributo in Atti di convegno | - |
| A Role-Playing Game for a Software Engineering Lab: Developing a Product Line | Sara Zuppiroli; Paolo Ciancarini; Maurizio Gabbrielli | 2012-01-01 | - | IEEE Computer Society | 4.01 Contributo in Atti di convegno | - |
| A Timed Linda Language and its Denotational Semantics. | F.S. de Boer; M. Gabbrielli; M.C. Meo. | 2004-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| AIOCJ | Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio | 2014-01-01 | - | - | 7.04 Software | - |
| AIOCJ: A choreographic framework for safe adaptive distributed applications | Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio | 2014-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| An Efficient Management of Correlation Sets with Broadcast | Jacopo Mauro; Maurizio Gabbrielli; Claudio Guidi; Fabrizio Montesi | 2011-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| An Empirical Evaluation of Portfolios Approaches for Solving CSPsIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Roberto Amadini;Maurizio Gabbrielli;Jacopo Mauro | 2013-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| An enhanced features extractor for a portfolio of constraint solvers | Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2014-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | - |
| An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems | Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo | 2016-01-01 | INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | - |
| Applied choreographies | Giallorenzo, Saverio*; Montesi, Fabrizio; Gabbrielli, Maurizio | 2018-01-01 | LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Artificial Intelligence and education: new research perspectives = Intelligenza artificiale e educazione: nuove prospettive di ricerca | Chiara Panciroli; Pier Cesare Rivoltella; Maurizio Gabbrielli; Olaf Zawacki-Richter; | 2020-01-01 | FORM@RE | - | 1.01 Articolo in rivista | Intelligenza artificiale e educazione_ nuove prospettive di ricerca.pdf |
| Comparing Recursion, Replication, and Iteration in Process Calculi | N. BUSI; GABBRIELLI M.; G. ZAVATTARO | 2004-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| Compositional Verification of Asynchronous Processes via Constraint Solving | G. Delzanno; M. Gabbrielli | 2005-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| Concurrent and Reactive Constraint Programming | M.Gabbrielli; C.Palamidessi; F. D. Valencia | 2010-01-01 | - | Springer-Verlag | 2.01 Capitolo / saggio in libro | - |
| Constraint programming for flexible service function chaining deployment | Tong Liu, Franco Callegati, Walter Cerroni, Chiara Contoli, Maurizio Gabbrielli, and Saverio Gial...lorenzo | 2019-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |