Pubblicazioni

O. Babaoglu; M. Jelasity; A. Montresor, Grassroots Approach to Self-Management in Large-Scale Distributed Systems, in: Unconventional Programming Paradigms, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3566, pp. 276 - 286 (atti di: International Workshop on Unconventional Programming Paradigms, Mont Saint-Michel, Francia, Settembre 2004) [Contributo in Atti di convegno]

M. Bravetti; J. Baeten, A Ground-Complete Axiomatization of Finite State Processes in Process Algebra, in: Proc. of 16th International Conference on Concurrency Theory (CONCUR'05), BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3653, pp. 248 - 262 (atti di: Concurrency Theory, 16th International Conference, CONCUR'05, San Francisco, CA, USA, August 2005) [Contributo in Atti di convegno]

N. Dragoni; M. Gaspari; D. Guidi, An ACL for Specifying Fault-Tolerant Protocols, in: LECTURE NOTES IN COMPUTER SCIENCE - AI*IA 2005: Advances in Artificial Intelligence, BERLIN - HEIDELBERG, Springer, 2005, 3673, pp. 237 - 248 (atti di: AI*IA 2005: Advances in Artificial Intelligence, Milan, Italy, September 21-23, 2005) [Contributo in Atti di convegno]

Brevetto BO2005A000398, Apparecchio e metodo per discriminare una impronta digitale vera da una impronta digitale artificiale attraverso l’analisi dell’odore del dito associato all’impronta digitale da discriminare.

Brevetto BO2005A000399, Apparecchio e metodo per discriminare una impronta digitale vera da una impronta digitale artificiale falsa, attraverso l’analisi della distorsione elastica della pelle.

A. Brown; C. Laneve; G. Meredith, PiDuce: a process calculus with native XML datatypes, in: Second International on Web Services and Formal Methods (WS-FM 05), in "Lecture Notes in Computer Science", vol. 3670 (2005), AMSTERDAM, Springer Verlag, 2005, 3670, pp. 18 - 34 (atti di: Second International on Web Services and Formal Methods (WS-FM 05), Versailles, Parigi, 3-4 Settembre 2005) [Contributo in Atti di convegno]

M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda, in: null, 2005, 128(5), pp. 39 - 53 (atti di: 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'04), Londra (UK), agosto 2004) [Contributo in Atti di convegno]

Mirko Viroli; Alessandro Ricci, Agent Interaction Semantics by Timed Operating Instructions, in: Agent Communication, Berlin Heidelberg, Springer, 2005, pp. 173 - 192 [Capitolo/Saggio in libro]

Cellarosi G.; Sartori C., Synopsis for Microbiological Data Stream Analysis, in: CBMS’05, NEW YORK, IEEE, 2005, pp. 359 - 364 (atti di: 18th IEEE Symposium on Computer-Based Medical Systems, Dublino, Irlanda, 23-24 Giugno 2005) [Contributo in Atti di convegno]

L.Benini; D. Bertozzi; A. Guerri; M. Milano, Allocation and scheduling for MPSoCs via Decomposition and No.Good Generation, in: Principles and Practice of Constraint Programming, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3709, pp. 107 - 121 (atti di: Principle and Practive of Constraint Programming CP 2005, Sitges - Spagna, Settembre 2005) [Contributo in Atti di convegno]

M. Milano; R. Bartak, Proceedings of the 2nd Int.l Conference on the Integration of AI and OR techniques in Constraint programming, BERLIN, Springer Verlag, 2005, pp. 1-408 (Lecture Notes in Computer Science). [Curatela]

Dina Goldin; Mirko Viroli, Workshop on the Foundations of Interactive Computation: FInCo 2005, EDINBURGH, LFCS University of Endiburgh, 2005, pp. 149 . [Curatela]

F. Neri; F. Callegati; P. Poggiolini, The Network of Excellence e-Photon/ONe, in: A Review of Major International Programmes in Optical Network Architectures, S.N., s.n, 2005, We1.1(atti di: 31st European Conference on Optical Communications, Glasgow, Scotland, 25-29 Settembre 2005) [Contributo in Atti di convegno]

N. Busi; L. Padovani, A Distributed Implementation of Mobile Nets as Mobile Agents, in: Formal Methods for Open Object-Based Distributed Systems, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3535, pp. 259 - 274 (atti di: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005) [Contributo in Atti di convegno]

D. Bottazzi; A. Corradi; R. Montanari, Enabling context-aware group collaboration in MANETs, in: Autonomous Decentralized Systems ISADS 2005, s.l, IEEE Press, 2005, pp. 310 - 318 (atti di: ISADS 2005, Chengdu, China, Aprile 4-8, 2005) [Contributo in Atti di convegno]

D. Bottazzi; A. Corradi; R. Montanari;, Context-Awareness for Impromptu Collaboration in MANETs, in: Wireless On-demand Network Systems and Services,, s.l, IEEE Press, 2005, pp. 421 - 429 (atti di: The 2005 Symposium on Wireless On-demand Network Systems and Services WONS 2005, S. Moritz, Switzerland, January 19-21, 2005) [Contributo in Atti di convegno]

R. Montanari; A. Toninelli; J. M. Bradshaw, Context-based Security Management for Multi-Agent Systems, in: Multi-Agent Security and Survivability, s.l, IEEE Press, 2005, pp. 75 - 84 (atti di: IEEE 2nd Symposium on Multi-Agent Security and Survivability MAS&S, Philadelphia, USA,, August 30-31, 2005) [Contributo in Atti di convegno]

A. Corradi; R. Montanari; D. Tibaldi; A. Toninelli, A Context-centric Security Middleware for Service provisioning in Pervasive Computing, in: Applications and the Internet, s.l, IEEE Press, 2005, pp. 421 - 429 (atti di: The 2005 Symposium on Applications and the Internet, Trento, Italy, January 31 - February 4, 2005) [Contributo in Atti di convegno]

LEITE J.; TORRONI P., Computational Logic in Multi-Agent Systems. Fifth International Workshop, CLIMA V, Lisbon, Portugal, September 2004. Revised Selected and Invited Papers, BERLIN HEIDELBERG, Springer-Verlag, 2005, pp. XII, 281 (Lecture Notes in Artificial Intelligence). [Curatela]

I. Bartolini; P. Ciaccia, Optimal Incremental Evaluation of Preference Queries Based on Ranked Sub-queries, in: Proceedings of the 13th Italian Symposium on Adanced Database Systems (SEBD 2005), ROMA, ARACNE, 2005, pp. 308 - 315 (atti di: 13th Italian Symposium on Adanced Database Systems (SEBD 2005), Brixen-Bressanone (Bozen-Bolzano), Italy, June 19-22, 2005) [Contributo in Atti di convegno]