SANGIORGI, DAVIDE
Dettaglio
SANGIORGI, DAVIDE
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Pubblicazioni
Risultati 1 - 20 di 85 (tempo di esecuzione: 0.001 secondi).
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
---|---|---|---|---|---|---|---|
1 | A Component Model for the ABS Language | M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetz...sch-Heffter | 2012 | Springer | 4.01 Contributo in Atti di convegno | - | |
2 | A Correct Abstract Machine for Safe Ambients. | D. Hirschkoff; D. Pous; D. Sangiorgi | 2005 | Springer | 4.01 Contributo in Atti di convegno | - | |
3 | A hybrid type system for lock-freedom of mobile processes | N. Kobayashi; D. Sangiorgi | 2010 | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1.01 Articolo in rivista | - | |
4 | A Hybrid Type System for Lock-Freedom of Mobile Processes | N. Kobayashi; D. Sangiorgi | 2008 | Springer | 4.01 Contributo in Atti di convegno | - | |
5 | A Model of Evolvable Components | F.Montesi; D. Sangiorgi | 2010 | Springer | 4.01 Contributo in Atti di convegno | - | |
6 | Advanced Topics in Bisimulation and Coinduction | Davide Sangiorgi;Jan Rutten | 2012 | CAMBRIDGE UNIVERSITY PRESS | 3.02 Curatela | - | |
7 | An efficient abstract machine for Safe Ambients | D. Hirschkoff; D. Pous; D. Sangiorgi | 2007 | JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING | 1.01 Articolo in rivista | - | |
8 | An Object Group-Based Component Model | Michaël Lienhardt;Mario Bravetti;Davide Sangiorgi | 2012 | Springer | 4.01 Contributo in Atti di convegno | - | |
9 | Asynchronous π -calculus at Work: The Call-by-Need Strategy | Sangiorgi D. | 2019 | Springer | 4.01 Contributo in Atti di convegno | ||
10 | Beyond Bisimulation: The "up-to" Techniques | D. Sangiorgi | 2006 | Springer | 4.01 Contributo in Atti di convegno | - | |
11 | Bisimilarity via unique-solution techniques | Sangiorgi, Davide* | 2018 | CEUR WORKSHOP PROCEEDINGS | CEUR-WS | 4.01 Contributo in Atti di convegno | - |
12 | Bisimulation and Co-induction: Some Problems | D. Sangiorgi | 2006 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 4.01 Contributo in Atti di convegno | - | |
13 | Bisimulation and Coinduction Enhancements: A Historical Perspective | Pous D.; Sangiorgi D. | 2019 | FORMAL ASPECTS OF COMPUTING | 1.01 Articolo in rivista | ||
14 | Bisimulation: From The Origins to Today | D. Sangiorgi | 2004 | IEEE Computer Society | 4.01 Contributo in Atti di convegno | - | |
15 | Bisimulations up-to: Beyond first-order transition systems | Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide | 2014 | Springer Verlag | 4.01 Contributo in Atti di convegno | - | |
16 | Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi | Baeten, Jos C.M.; Sangiorgi, Davide | 2014 | Elsevier | 2.01 Capitolo / saggio in libro | - | |
17 | Concurrency theory: timed automata, testing, program synthesis | Davide Sangiorgi | 2012 | DISTRIBUTED COMPUTING | 1.06 Abstract in rivista | - | |
18 | Divergence and unique solution of equations | Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide | 2017 | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | ||
19 | DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS | Durier, A; Hirschkoff, D; Sangiorgi, D | 2019 | LOGICAL METHODS IN COMPUTER SCIENCE | 1.01 Articolo in rivista | ||
20 | Duality and i/o-Types in the π-Calculus | Daniel Hirschkoff;Jean-Marie Madiot;Davide Sangiorgi | 2012 | Springer | 4.01 Contributo in Atti di convegno | - |