CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
ItalianoSANGIORGI, DAVIDE
Pubblicazioni
Risultati 1 - 20 di 85 (tempo di esecuzione: 0.003 secondi).
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | |
|---|---|---|---|---|---|---|
| 1 | A Component Model for the ABS Language | M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetzsch-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 | 2008 | Springer | 4.01 Contributo in Atti di convegno | |
| 4 | 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 | |
| 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 | An operational semantics for a calculus for wireless systems | I. Lanese; D. Sangiorgi | 2010 | THEORETICAL COMPUTER SCIENCE | 1.01 Articolo in rivista | |
| 10 | Asynchronous π -calculus at Work: The Call-by-Need Strategy | Sangiorgi D. | 2019 | Springer | 4.01 Contributo in Atti di convegno | |
| 11 | Beyond Bisimulation: The "up-to" Techniques | D. Sangiorgi | 2006 | Springer | 4.01 Contributo in Atti di convegno | |
| 12 | Bisimilarity via unique-solution techniques | Sangiorgi, Davide* | 2018 | CEUR WORKSHOP PROCEEDINGS | CEUR-WS | 4.01 Contributo in Atti di convegno |
| 13 | Bisimulation and Co-induction: Some Problems | D. Sangiorgi | 2006 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 4.01 Contributo in Atti di convegno | |
| 14 | Bisimulation and Coinduction Enhancements: A Historical Perspective | Pous D.; Sangiorgi D. | 2019 | FORMAL ASPECTS OF COMPUTING | 1.01 Articolo in rivista | |
| 15 | Bisimulation: From The Origins to Today | D. Sangiorgi | 2004 | IEEE Computer Society | 4.01 Contributo in Atti di convegno | |
| 16 | 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 | |
| 17 | Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi | Baeten, Jos C.M.; Sangiorgi, Davide | 2014 | Elsevier | 2.01 Capitolo / saggio in libro | |
| 18 | Concurrency theory: timed automata, testing, program synthesis | Davide Sangiorgi | 2012 | DISTRIBUTED COMPUTING | 1.06 Abstract in rivista | |
| 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 | Divergence and unique solution of equations | Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide | 2017 | LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno |
Dettaglio
SANGIORGI, DAVIDE
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Copyright © 2020