Pubblicazioni

M.Ferrara;D.Maltoni;R.Cappelli, Noninvertible Minutia Cylinder-Code Representation, «IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY», 2012, 7, pp. 1727 - 1737 [Articolo in rivista]

M. Ferrara; A. Franco; D. Maio; D. Maltoni, Face Image Conformance to ISO/ICAO standards in Machine Readable Travel Documents, «IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY», 2012, 7, pp. 1204 - 1213 [Articolo in rivista]

M. Marzolla; S. Ferretti; G. D'Angelo, Dynamic Resource Provisioning for Cloud-Based Gaming Infrastructures, «COMPUTERS IN ENTERTAINMENT», 2012, 10, pp. 1 - 20 [Articolo in rivista]

S. Mirri; P. Salomoni; C. Prandi; L. Muratori, GAPforAPE: an augmented browsing system to improve Web 2.0 accessibility, «THE NEW REVIEW OF HYPERMEDIA AND MULTIMEDIA», 2012, 18, pp. 205 - 229 [Articolo in rivista]

M. Prandini; M. Ramilli, Return-Oriented Programming, «IEEE SECURITY & PRIVACY», 2012, 10, pp. 84 - 87 [Articolo in rivista]

F. Piccinini; A. Tesei; W. Zoli; A. Bevilacqua, Extending the Universal Quality Index to assess N-image fusion in light microscopy, «INTERNATIONAL JOURNAL OF BIOELECTROMAGNETISM», 2012, 14, pp. 217 - 222 [Articolo in rivista]

A.Asperti; W.Ricciotti, A proof of Bertrand's postulate, «JOURNAL OF FORMALIZED REASONING», 2012, 5, pp. 37 - 57 [Articolo in rivista]

U. Dal Lago; S. Martini, On constructor rewrite systems and the lambda-calculus, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8(3:12), pp. 1 - 27 [Articolo in rivista]

L. Nanni; C. Casanova; S. Brahnam; A. Lumini, Empirical tests on enhancement techniques for an hybrid fingerprint matcher based on minutiae and texture, «INTERNATIONAL JOURNAL OF AUTOMATED IDENTIFICATION TECHNOLOGY», 2012, 4, pp. 1 - 10 [Articolo in rivista]

L. Nanni; S. Brahnam; A. Lumini, Wavelet images and Chou's pseudo amino acid composition for protein classification, «AMINO ACIDS», 2012, 43, pp. 657 - 665 [Articolo in rivista]

L. Nanni; A. Lumini, Combining Face and Eye Detectors in a High- Performance Face-Detection System, «IEEE MULTIMEDIA», 2012, 19, pp. 20 - 27 [Articolo in rivista]

L. Nanni; S. Brahnam; A. Lumini, Local phase quantization descriptor for improving shape retrieval/classification, «PATTERN RECOGNITION LETTERS», 2012, 33, pp. 2254 - 2260 [Articolo in rivista]

Prandini M.; Ramilli M., A Model for E-voting Systems Evaluation Based on International Standards: Definition and Experimental Validation, «E-SERVICE JOURNAL», 2012, 8, pp. 42 - 72 [Articolo in rivista]

G. Landi; E. Loli Piccolomini, A feasible direction method for image restoration, «OPTIMIZATION LETTERS», 2012, 6, pp. 1795 - 1817 [Articolo in rivista]

Ken-ichi Kitayama;Franco Callegati;Masahiko Jinno, Optical Switching and Networking: Special Issue of ONDM 2010, «OPTICAL SWITCHING AND NETWORKING», 2012, 9, pp. 224 - 224 [Replica/breve intervento (e simili)]

M. Bravetti;C. D. Giusto;J. A. Perez;G. Zavattaro, Adaptable processes, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8, pp. 1 - 71 [Articolo in rivista]

Giorgio Delzanno;Gianluigi Zavattaro, Reachability problems in BioAmbients, «THEORETICAL COMPUTER SCIENCE», 2012, 431, pp. 56 - 74 [Articolo in rivista]

Cristian Versari;Gianluigi Zavattaro, Complex Functional Rates in Rule-Based Languages for Biochemistry, «TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY», 2012, 7625, pp. 123 - 150 [Articolo in rivista]

Davide Sangiorgi, Concurrency theory: timed automata, testing, program synthesis, «DISTRIBUTED COMPUTING», 2012, 25, pp. 3 - 4 [Abstract in rivista]

Pietro Di Lena; Luciano Margara, On the Undecidability of Attractor Properties for Cellular Automata, «FUNDAMENTA INFORMATICAE», 2012, 115, pp. 75 - 85 [Articolo in rivista]