R. Demangeon; D. l Hirschkoff; N. Kobayashi; D. Sangiorgi, On the Complexity of Termination Inference for Processes, in: Lecture Notes in Computer Science, BERLIN, Springer, 2008, 4912, pp. 140 - 155 (atti di: Trustworthy Global Computing (TGC 2007), Sophia-Antipolis, France, November 5-6, 2007) [Contribution to conference proceedings]
I. Lanese; J. A. Perez; D. Sangiorgi; A. Schmitt, On the Expressiveness and Decidability of Higher-Order Process Calculi, in: LICS'08, LOS ALAMITOS, IEEE Computer Society, 2008, pp. 145 - 155 (atti di: Twenty-Third Annual IEEE Symposium on
Logic in Computer Science, LICS 2008,, Pittsburgh, USA, 24-27 June 2008) [Contribution to conference proceedings]
Coordination of a Research Project: Sensoria.
Daniel Hirschkoff; Etienne Lozes; Davide Sangiorgi, Separability in the Ambient Logic, «LOGICAL METHODS IN COMPUTER SCIENCE», 2008, 4, pp. 1 - 44 [Scientific article]Open Access
R. Demangeon; D. Hirschkoff; D. Sangiorgi, Static and dynamic typing for the termination of mobile processes, in: IFIP, BERLIN, Springer, 2008, 273, pp. 413 - 427 (atti di: Fifth IFIP International Conference On Theoretical Computer
Science (TCS 2008) of IFIP 20th World Computer Congress, Milano, September 7-10, 2008) [Contribution to conference proceedings]
D. Hirschkoff; D. Pous; D. Sangiorgi, An efficient abstract machine for Safe Ambients, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2007, 71(2), pp. 114 - 149 [Scientific article]
D. Sangiorgi; N. i Kobayashi; E. Sumii, Environmental Bisimulations for Higher-Order Languages, in: LICS 07, LOS ALAMITOS, IEEE Computer Society, 2007, pp. 293 - 302 (atti di: 22nd IEEE Symposium on Logic in Computer Science, Wroclaw, Polonia, Luglio 2007) [Contribution to conference proceedings]
D. Sangiorgi; N. Kobayashi; E. Sumii, Logical Bisimulations and Functional Languages, in: Lecture Notes in Computer Science, BERLIN, Springer, 2007, 4767, pp. 364 - 379 (atti di: International Symposium on Fundamentals of
Software Engineering (FSEN 2007), Teheran (Iran), April 2007) [Contribution to conference proceedings]
D. Sangiorgi, Beyond Bisimulation: The "up-to" Techniques, in: Lecture Notes in Computer Science, BERLIN, Springer, 2006, 411, pp. 161 - 171 (atti di: Formal Methods for Components and Objects, 4th International Symposium, Amsterdam, Novembre 2005) [Contribution to conference proceedings]
D. Sangiorgi, Bisimulation and Co-induction: Some Problems, in: , «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 162, pp. 311 - 315 (atti di: Proceedings of the Workshop "Essays on Algebraic Process Calculi", Bertinoro, Agosto 2006) [Contribution to conference proceedings]
Y. Deng; D. Sangiorgi, Ensuring termination by typability, «INFORMATION AND COMPUTATION», 2006, 204, pp. 1045 - 1082 [Scientific article]
D. Hirschkoff; E. Lozes; D. Sangiorgi, On the Expressiveness of the Ambient Logic, «LOGICAL METHODS IN COMPUTER SCIENCE», 2006, 2 [Scientific article]
P. Giannini; D. Sangiorgi; A. Valente, Safe Ambients: Abstract machine and distributed implementation, «SCIENCE OF COMPUTER PROGRAMMING», 2006, 59, pp. 209 - 249 [Scientific article]
M. Boreale; R. Bruni;
L. Caires; R. De Nicola; I. Lanese; M. Loreti;
F. Martins;
U. Montanari; A. Ravara;
D. Sangiorgi; V. Vasconcelos; G. Zavattaro;, SCC: a Service Centered Calculus, in: M. BRAVETTI, G. ZAVATTARO, Web Services and Formal Methods, BERLIN, Springer, 2006, 4184, pp. 38 - 57 (atti di: Third International Workshop on Web Services and Formal Methods, Vienna, 8-9 Settembre 2006) [Contribution to conference proceedings]
Sangiorgi D., Termination of processes, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2006, 16, pp. 1 - 39 [Scientific article]
