Sfoglia per Autore GABBRIELLI, MAURIZIO
Comparing Recursion, Replication, and Iteration in Process Calculi
2004 N. BUSI; GABBRIELLI M.; G. ZAVATTARO
A Timed Linda Language and its Denotational Semantics.
2004 F.S. de Boer; M. Gabbrielli; M.C. Meo.
Proving Correctness of Timed Concurrent Constraint Programs
2004 DE BOER F; GABBRIELLI M.; MEO M.C.
A compositional semantics for CHR.
2005 G.Delzanno|; M.Gabbrielli|; M.C. Meo
Proceedings of the 21st International Conference on Logic Programming
2005 M. Gabbrielli; G. Gupta (eds.)
Compositional Verification of Asynchronous Processes via Constraint Solving
2005 G. Delzanno; M. Gabbrielli
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems
2006 G. Delzanno; S. Etalle; M. Gabbrielli
Linguaggi di programmazione
2006 M. Gabbrielli; S. Martini
Special Issue on Specification Analysis and Verification of Reactive Systems, Journal of Theory and Practice of Logic Programming (TPLP), 6(3).
2006 G. Delzanno; S. Etalle; M. Gabbrielli.
Unfolding in CHR
2007 P. Tacchella; M. Gabbrielli; M.C. Meo
Linguaggi di Programmazione e Sistemi Software
2007 N. Busi; M. Gabbrielli; C. Laneve; G. Zavattaro
A compositional Semantics for CHR with propagation rules
2008 M. Gabbrielli; M.C. Meo; P. Tacchella
Full abstraction for Linda
2008 C. Di Giusto; M. Gabbrielli
Timed Soft Concurrent Constraint Programs
2008 S. Bistarelli; M. Gabbrielli; M.C. Meo; F. Santini
Expressiveness of Multiple Heads in CHR
2009 C. Di Giusto; M. Gabbrielli; M.C. Meo
Foreword
2009 M. Falaschi; M. Gabbrielli; C. Palamidessi
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
2009 G. Delzanno; C. Di Giusto; M. Gabbrielli; C. Laneve; G. Zavattaro
Theoretical Computer Science, Volume 410, Issue 46, 1 November 2009, Abstract Interpretation and Logic Programming: In honor of professor Giorgio Levi
2009 M. Falaschi; M. Gabbrielli; C. Palamidessi
A compositional semantics for CHR
2009 M. Gabbrielli; M.C. Meo
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
2009 Delzanno, G; Di Giusto, C; Gabbrielli, M; Laneve, C; Zavattaro, G
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| 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 | - |
| 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 | - |
| Proving Correctness of Timed Concurrent Constraint Programs | DE BOER F; GABBRIELLI M.; MEO M.C. | 2004-01-01 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | - | 1.01 Articolo in rivista | - |
| A compositional semantics for CHR. | G.Delzanno|; M.Gabbrielli|; M.C. Meo | 2005-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |
| Proceedings of the 21st International Conference on Logic Programming | M. Gabbrielli; G. Gupta (eds.) | 2005-01-01 | - | Springer-Verlag | 3.01 Monografia / trattato scientifico in forma di libro | - |
| Compositional Verification of Asynchronous Processes via Constraint Solving | G. Delzanno; M. Gabbrielli | 2005-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems | G. Delzanno; S. Etalle; M. Gabbrielli | 2006-01-01 | THEORY AND PRACTICE OF LOGIC PROGRAMMING | - | 1.06 Abstract in rivista | - |
| Linguaggi di programmazione | M. Gabbrielli; S. Martini | 2006-01-01 | - | McGraw-Hill Italia | 3.01 Monografia / trattato scientifico in forma di libro | - |
| Special Issue on Specification Analysis and Verification of Reactive Systems, Journal of Theory and Practice of Logic Programming (TPLP), 6(3). | G. Delzanno; S. Etalle; M. Gabbrielli. | 2006-01-01 | - | Cambridge University Press | 3.02 Curatela | - |
| Unfolding in CHR | P. Tacchella; M. Gabbrielli; M.C. Meo | 2007-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |
| Linguaggi di Programmazione e Sistemi Software | N. Busi; M. Gabbrielli; C. Laneve; G. Zavattaro | 2007-01-01 | - | Zanichelli | 2.01 Capitolo / saggio in libro | - |
| 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 | - |
| Full abstraction for Linda | C. Di Giusto; M. Gabbrielli | 2008-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Timed Soft Concurrent Constraint Programs | S. Bistarelli; M. Gabbrielli; M.C. Meo; F. Santini | 2008-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| Expressiveness of Multiple Heads in CHR | C. Di Giusto; M. Gabbrielli; M.C. Meo | 2009-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| Foreword | M. Falaschi; M. Gabbrielli; C. Palamidessi | 2009-01-01 | - | Elsevier | 2.04 Breve introduzione | - |
| The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages | G. Delzanno; C. Di Giusto; M. Gabbrielli; C. Laneve; G. Zavattaro | 2009-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Theoretical Computer Science, Volume 410, Issue 46, 1 November 2009, Abstract Interpretation and Logic Programming: In honor of professor Giorgio Levi | M. Falaschi; M. Gabbrielli; C. Palamidessi | 2009-01-01 | - | Elsevier | 3.02 Curatela | - |
| A compositional semantics for CHR | M. Gabbrielli; M.C. Meo | 2009-01-01 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | - | 1.01 Articolo in rivista | - |
| The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages | Delzanno, G; Di Giusto, C; Gabbrielli, M; Laneve, C; Zavattaro, G | 2009-01-01 | - | SPRINGER-VERLAG BERLIN | 4.01 Contributo in Atti di convegno | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile