Pubblicazioni

P.Ciancarini; G. Favini, Playing the perfect Kriegspiel endgame, «THEORETICAL COMPUTER SCIENCE», 2010, 411:(40/42), pp. 3563 - 3577 [Articolo in rivista]

m. prandini; m. ramilli; w. cerroni; f. callegati, Splitting the HTTPS Stream to Attack Secure Web Connections, «IEEE SECURITY & PRIVACY», 2010, 8, pp. 80 - 84 [Articolo in rivista]

G. Landi; E. Loli Piccolomini, An iterative Lagrange method for the regularization of discrete ill-posed inverse problems, «COMPUTERS & MATHEMATICS WITH APPLICATIONS», 2010, 60, pp. 1723 - 1738 [Articolo in rivista]

M. Lombardi; M. Milano; M. Ruggiero; L. Benini, Stochastic allocation and scheduling for conditional task graphs in multi-processor systems-on-chip, «JOURNAL OF SCHEDULING», 2010, 13, pp. 315 - 345 [Articolo in rivista]

M. Roccetti; G. Marfia; M. Zanichelli, The Art and Craft of Making the Tortellino: Playing with a Digital Gesture Recognizer for Preparing Pasta Culinary Recipes, «COMPUTERS IN ENTERTAINMENT», 2010, 8:4, pp. 5 - 24 [Articolo in rivista]

C. E. Palazzi; M. Roccetti; G. Marfia, Realizing the Unexploited Potential of Games on Serious Challenges, «COMPUTERS IN ENTERTAINMENT», 2010, 8:4, pp. 1 - 4 [Articolo in rivista]

F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni, On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework, «MULTIAGENT AND GRID SYSTEMS», 2010, 6, pp. 165 - 190 [Articolo in rivista]

M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma, Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes, «FUNDAMENTA INFORMATICAE», 2010, 102(3-4), pp. 325 - 361 [Articolo in rivista]

S. Montagna; M. Viroli, A Framework for Modelling and Simulating Networks of Cells, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2010, 268, pp. 115 - 129 [Articolo in rivista]

L. Nanni; A. Lumini; S. Brahnam, High performance set of features for biometric data, «INTERNATIONAL JOURNAL OF AUTOMATED IDENTIFICATION TECHNOLOGY», 2010, 2, pp. 1 - 7 [Articolo in rivista]

L. Nanni; J-Y. Shi; S. Brahnam; A. Lumini, Protein classification using texture descriptors extracted from the protein backbone image, «JOURNAL OF THEORETICAL BIOLOGY», 2010, 264, pp. 1024 - 1032 [Articolo in rivista]

L. Nanni; A. Lumini; S. Brahnam, Local Binary Patterns variants as texture descriptors for medical image analysis, «ARTIFICIAL INTELLIGENCE IN MEDICINE», 2010, 49, pp. 117 - 125 [Articolo in rivista]

L. Nanni; A. Lumini; S. Brahnam, Advanced Machine Learning Techniques for microarray spot quality classification, «NEURAL COMPUTING & APPLICATIONS», 2010, 19, pp. 471 - 475 [Articolo in rivista]

L. Nanni; S. Brahnam; A. Lumini, High performance set of PseAAC and sequence based descriptors for protein classification, «JOURNAL OF THEORETICAL BIOLOGY», 2010, 266, pp. 1 - 10 [Articolo in rivista]

L. Nanni; A. Lumini, Orthogonal Linear Discriminant Analysis and Feature Selection for microarray data classification, «EXPERT SYSTEMS WITH APPLICATIONS», 2010, 37, pp. 7132 - 7137 [Articolo in rivista]

L. Nanni; S. Brahnam; A. Lumini, A local approach based on a Local Binary Patterns variant texture descriptor for classifying pain states, «EXPERT SYSTEMS WITH APPLICATIONS», 2010, 37, pp. 7888 - 7894 [Articolo in rivista]

F. Chesani; P. Mello; M. Montali; P. Torroni, A Logic-Based, Reactive Calculus of Events, «FUNDAMENTA INFORMATICAE», 2010, 105(1-2), pp. 135 - 161 [Articolo in rivista]

M. Magnani; D. Montesi, A survey on uncertainty management in data integration, «ACM JOURNAL OF DATA AND INFORMATION QUALITY», 2010, 2, pp. 5: 1 - 5: 33 [Articolo in rivista]

N. Kobayashi; D. Sangiorgi, A hybrid type system for lock-freedom of mobile processes, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2010, 32, pp. 1 - 49 [Articolo in rivista]

R. Demangeon; D. Hirschkoff; D. Sangiorgi, Termination in higher-order concurrent calculi, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2010, 79, pp. 550 - 577 [Articolo in rivista]