Pubblicazioni

Daniel Hirschkoff; Etienne Lozes; Davide Sangiorgi, Separability in the Ambient Logic, «LOGICAL METHODS IN COMPUTER SCIENCE», 2008, 4, pp. 1 - 44 [Articolo in rivista] Open Access

A. Di Iorio; L. Furini; F. Vitali; J. Lumley; T. Wiley, Higher-level layout through topological abstraction, in: Proceeding of the eighth ACM symposium on Document engineering, NEW YORK, ACM, 2008, pp. 90 - 99 (atti di: Eighth ACM symposium on Document engineering, Sao Paulo, Settembre 2008) [Contributo in Atti di convegno]

D. Rossi; F. Vitali, Workflow Enactment in a Social Software Environment, in: Lecture Notes in Business Information Processing, BERLIN, Springer verlag, 2008, 17, pp. 716 - 722 (atti di: BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008) [Contributo in Atti di convegno]

S. Cavalcanti; S. Lodi; G. Moro; M. Samorani; C. Sartori; S. Severi, Methods for Discriminating Pre-Ectopic Sinus Beats, in: null, 2008, 35, pp. 909 - 911 (atti di: Computers in Cardiology, Bologna, Italy, 14 – 17 Sep, 2008) [Contributo in Atti di convegno]

G. Monti; G. Moro, Scalable multi-dimensional range queries and routing in data-centric sensor networks, in: null, 2008, 3, pp. 1 - 9 (atti di: InfoScale '08: Proceedings of the 3rd international conference on Scalable information systems, Vico Equense, Italy, 4-6 June, 2008) [Contributo in Atti di convegno]

G. Finocchiaro; L. Margara; S. Martini, Internet, il WWW e i loro servizi, in: Fondamenti di Informatica, BOLOGNA, Zanichelli, 2008, pp. 1 - 58 [Capitolo/Saggio in libro]

S. Martini (Progetto A3) (a cura di): PROGETTO A3 - DIPARTIMENTO DI SCIENZE DELL'INFORMAZIONE, Fondamenti di Informatica, 2 voll., BOLOGNA, Zanichelli, 2008, pp. 700 . [Curatela]

S. Martini, Elogio di Babele, «MONDO DIGITALE», 2008, 2, pp. 17 - 23 [Articolo in rivista]

R. Bruni; I. Lanese, Parametric synchronizations in mobile nominal calculi, «THEORETICAL COMPUTER SCIENCE», 2008, 402(2-3), pp. 102 - 119 [Articolo in rivista]

R. BRUNI; I. LANESE; H. MELGRATTI; E. TUOSTO, Multiparty Sessions in SOC, in: Proceedings of the 10th International Conference on Coordination Models and Languages, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5052, pp. 67 - 82 (atti di: 10th International Conference on Coordination Models and Languages, Oslo, Norvegia, 4-6/6/2008) [Contributo in Atti di convegno]

L. CRUZ-FILIPE; I. LANESE; F. MARTINS; A. RAVARA; V.T. VASCONCELOS, Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus, in: Proceedings of the 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5051, pp. 59 - 77 (atti di: 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, Oslo, Norway, 4-6/6/2008) [Contributo in Atti di convegno]

Lanese I., Exploiting User-Definable Synchronizations in Graph Transformation, in: Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006) Vienna, Austria, Amsterdam, Elsevier B.V, 2008, 211, pp. 27 - 38 (atti di: 5th International Workshop on Graph Transformation and Visual Modeling Techniques, Vienna, Austria, 1/4/2006) [Contributo in Atti di convegno]

Baranovic M; Golfarelli M; Vrdolijak B; Sandri R, Proceedings of the 31st INTERNATIONAL CONFERENCE ON BUSINESS INTELLIGENCE SYSTEMS (miproBIS), REJEKA, Croatian Society of Information and Communication, 2008, pp. 261 . [Curatela]

Alberto Dennunzio; Pietro Di Lena; Enrico Formenti; Luciano Margara, Classification of directional dynamics for additive Cellular Automata, in: First Symposium on Cellular Automata "Journées Automates Cellulaires" (JAC 2008), Uzès, France, April 21-25, 2008. Proceedings., MCCME Publishing House, 2008, pp. 40 - 53 (atti di: First Symposium on Cellular Automata, JAC 2008, Uzès, France, April 21-25, 2008) [Contributo in Atti di convegno]

Sabin C Buraga; Alina Sirbu, A SOA-based Solution for Resource Monitoring within a Grid System, in: Distributed Systems Seminar, Suceava, 2008, pp. 1 - 5 (atti di: Distributed Systems Seminar, Suceava, Romania, 2008) [Contributo in Atti di convegno]

J. Krivine; R. Milner; A. Troina, Stochastic Bigraphs, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2008, 218, pp. 73 - 96 [Articolo in rivista]

R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, Bisimulations in Calculi Modelling Membranes, «FORMAL ASPECTS OF COMPUTING», 2008, 20, pp. 351 - 377 [Articolo in rivista]

R. Barbuti; A. Maggiolo-Schettini; P. Milazzo; P. Tiberi; A. Troina, Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways, «TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY», 2008, IX, pp. 86 - 113 [Articolo in rivista]

R. Lanotte; A. Maggiolo-Schettini; P. Milazzo; A. Troina, Design and Verification of Long-Running Transactions in a Timed Framework, «SCIENCE OF COMPUTER PROGRAMMING», 2008, 73, pp. 76 - 94 [Articolo in rivista]

Palazzi, Claudio E.; Pau, Giovanni; Marcondes, Cesar; Gerla, Mario, Shareable bandwidth estimation on satellite links, in: Palazzi, Claudio E.*, 2008 4th Advanced Satellite Mobile Systems - Proceedings, ASMS 2008, 2008, pp. 186 - 191 (atti di: 2008 4th Advanced Satellite Mobile Systems, ASMS 2008, Bologna, ita, 2008) [Contributo in Atti di convegno]