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