Pubblicazioni

Cannata Nicola; Corradini Flavio; Merelli Emanuela; Omicini Andrea; Ricci Alessandro, An Agent-oriented Conceptual Framework for Biological Systems Simulation, in: MERELLI EMANUELA, GONZALEZ PABLO, OMICINI ANDREA, Models and Metaphors from Biology to Bioinformatics Tools, CAMERINO, MC, s.n., 2004, pp. 167 - 180 [Contributo in Atti di convegno]

Omicini Andrea; Ricci Alessandro; Viroli Mirko; Castelfranchi Cristiano; Tummolini Luca, A Conceptual Framework for Self-Organising MAS, in: BALDONI MATTEO, DE PAOLI FLAVIO, MARTELLI ALBERTO, OMICINI ANDREA, WOA 2004. Dagli oggetti agli agenti: sistemi complessi e agenti razionali, BOLOGNA, Pitagora Editrice, 2004, pp. 100 - 109 [Contributo in Atti di convegno]

Viroli Mirko; Omicini Andrea, ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications, in: BROGI ANTONIO, JACQUET JEAN-MARIE, PIMENTEL ERNESTO, 3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), LONDON, s.n., 2004, pp. 127 - 150 [Contributo in Atti di convegno]

Omicini Andrea; Ricci Alessandro; Viroli Mirko, RBAC for Organisation and Security in an Agent Coordination Infrastructure, in: FOCARDI RICCARDO, ZAVATTARO GIANLUIGI, 2nd International Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo'04), LONDON, s.n., 2004, pp. 43 - 62 [Contributo in Atti di convegno]

D. Maltoni, Generation of Synthetic Fingerprint Image Databases, in: N. RATHA R. BOLLE, Automatic Fingerprint Recognition Systems, NEW YORK, Springer, 2004, pp. 361 - 384 [Capitolo/Saggio in libro]

R. Cappelli; D. Maio, The State of the Art in Fingerprint Classification, in: N. RATHA R. BOLLE EDS., Automatic Fingerprint Recognition Systems, NEW YORK, Springer, 2004, pp. 183 - 206 [Capitolo/Saggio in libro]

R. Cappelli, FVC: Fingerprint Verification Competitions, in: AA.VV., Second BSI-Symposium on Biometrics 2004: Biometrics in the Reflections of Requirement, DARMSTADT, Secumedia, 2004, pp. 56 - 63 [Contributo in Atti di convegno]

A. Montresor; M. Jelasity; O. Babaoglu, Robust Aggregation Protocols for Large-Scale Overlay Networks, in: E.N. ELNOZAHY; A. BOBBIO; H. MADEIRA, Proceedings of the International Conference on Dependable Systems and Networks, LOS ALAMITOS, IEEE Computer Society Press, 2004, pp. 19 - 28 (atti di: DSN: International Conference on Dependable Systems and Networks, Firenze, Italia, Giugno 2004) [Contributo in Atti di convegno]

Özalp Babaoğlu; Alberto Bartoli; Vance Maverick; Simon Patarin; Jakša Vučković; Huaigu Wu, A Framework for Prototyping J2EE Replication Algorithms, in: VINNY CAHILL;STEVE VINOSKI;WERNER VOGELS;, Proceedings of the International Symposium on Distributed Objects and Applications, s.l, s.n, 2004, pp. 1413 - 1426 (atti di: DOA: Distributed Objects and Applications, Agia Napa, Cipro, Ottobre 2004) [Contributo in Atti di convegno]

S. Ferretti; M. Roccetti, A Novel Obsolescence-based Approach to Event Delivery Synchronization in Multiplayer Games, «INTERNATIONAL JOURNAL OF INTELLIGENT GAMES & SIMULATION», 2004, 3:1, pp. 7 - 19 [Articolo in rivista]

R.Gorrieri; R.Lanotte; A.Maggiolo-Schettini; F.Martinelli; S.Tini; E.Tronci, Automated Analysis of Timed Security: A Case Study on Web Privacy, «INTERNATIONAL JOURNAL OF INFORMATION SECURITY», 2004, 2(3-4), pp. 168 - 186 [Articolo in rivista]

D. Maltoni; A.K Jain (a cura di): D. MALTONI, A.K JAIN (EDS.), Biometric Authentication: ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15th, 2004. Proceedings, PRAGUE, Springer, 2004, pp. 341 (Lecture Notes in Computer Science). [Curatela]

R. Cappelli; A.Franco; L.Nanni, Towards a robust face detector, in: Biometric Authentication: ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15th, 2004. Proceedings, PRAGUE, Springer, 2004, 3087, pp. 57 - 69 [Contributo in Atti di convegno]

Roberto Gorrieri; F.Martinelli, A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules, «SCIENCE OF COMPUTER PROGRAMMING», 2004, 50(1-3), pp. 23 - 49 [Articolo in rivista]

A.Aldini; M.Bravetti; R.Gorrieri, A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference, «JOURNAL OF COMPUTER SECURITY», 2004, 12(2), pp. 191 - 246 [Articolo in rivista]

A.Aldini; M.Bravetti; A.Di Pierro; R.Gorrieri; C.Hankin; H.Wiklicky, Two Formal Approaches for Approximating Noninterference Properties, in: Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures, BERLIN, Springer, 2004, pp. 1 - 43 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

R.Focardi; R.Gorrieri; F.Martinelli, Classification of Security Properties. Part II: Network Security, in: Foundations of Security Analysis and Design II, Heidelberg, Springer, 2004, pp. 139 - 185 [Capitolo/Saggio in libro]

Lumini, Alessandra; Maio, Dario, Adaptive positioning of a visible watermark in a digital image, in: AA.VV., Multimedia and Expo, 2004. ICME '04. 2004 IEEE International Conference on, TAIPEI, IEEE, 2004, 2, pp. 967 - 970 [Contributo in Atti di convegno]

R. Cappelli, SFinGe: an Approach to Synthetic Fingerprint Generation, in: AA.VV., International Workshop on Biometric Technologies (BT2004), CALGARY, s.n., 2004, pp. 147 - 154 [Contributo in Atti di convegno]

A. Franco; A. Lumini, Un approccio al relevance feedback per il reperimento di immagini, in: M. AGOSTI, N.DESSÌ, F. A. SCHREIDER (EDS.), Proceeding of the Twelfth Italian symposium on Advanced Database systems, CAGLIARI, s.n., 2004, pp. 202 - 213 [Contributo in Atti di convegno]