GABBRIELLI, MAURIZIO

GABBRIELLI, MAURIZIO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 83 (tempo di esecuzione: 0.07 secondi).
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 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 -
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 -
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 -
Content-Based Textual File Type Detection at Scale Bonifro F.D.; Gabbrielli M.; Zacchiroli S. 2021-01-01 - Association for Computing Machinery 4.01 Contributo in Atti di convegno -
Decidability properties for fragments of CHR M. Gabbrielli; J. Mauro; M.C. Meo; J. Sneyers 2010-01-01 THEORY AND PRACTICE OF LOGIC PROGRAMMING - 4.01 Contributo in Atti di convegno -
Developing correct, distributed, adaptive software Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo 2015-01-01 SCIENCE OF COMPUTER PROGRAMMING - 1.01 Articolo in rivista -
Dynamic choreographies - Safe runtime updates of distributed applications Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo 2015-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
Dynamic Choreographies: Theory And Implementation Mila, Dalla Preda; Maurizio, Gabbrielli; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro 2017-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista main.pdfLMCS-dynamicChor-editoriale.pdf
Dynamic Slicing for Concurrent Constraint Languages Falaschi M.; Gabbrielli M.; Olarte C.; Palamidessi C. 2020-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -