IL PORTALE per la RICERCA dei DIPARTIMENTI

S. Mattoccia (2011) "A Discussion on the Accuracy and Performance of Local Stereo Algorithms for Stereo Correspondence"

F. Chesani, P. Mello, P. Torroni (2011) "A computational logic application framework for service discovery and contracting"

Ambra Molesini, Andrea Omicini (2011) "Adaptable Multi-Agent Systems: The Case of the Gaia Methodology"

F. Tombari, L. Di Stefano (2011) "Adaptive Low Resolution Pruning for Fast Full-Search Equivalente Pattern Matching"

A. Lumini (2011) "Artificial intelligence systems based on texture descriptors for vaccine development"

S. Mirri, P. Salomoni, M. Roccetti (2011) "Beyond Standards: Unleashing Accessibility on a Learning Content Management System"

A. Lumini (2011) "Biohashing applied to an orientation-based minutia descriptor for a secure fingerprint authentication system"

A. Asperti, C. Sacerdoti Coen (2011) "Certified Complexity"

I. Bartolini (2011) "Collaborative Filtering with Personalized Skylines"

A. Lumini (2011) "Combining different Local Binary Pattern variants to boost performance"

Andrea Omicini, Mirko Viroli (2011) "Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres"

Fariselli P. (2011) "Correlating disease related mutations to their effect on protein stability: a large scale analysis of the human proteome"

M. Lombardi, M. Milano, A. Roli (2011) "Deriving Information from Sampling and Diving"

L. Di Stefano (2011) "Editorial of the Special Issue on Advanced Video-Based Surveillance"

P. Bellavista (2011) "Editorial: Smart Space Technological Developments"

A.A. Bertossi (2011) "Efficient training protocols for localization in heterogeneous sensor and actor networks"

Di Felice M., Bononi L. (2011) "End-to-end Protocols for Cognitive Radio Ad Hoc Networks: An Evaluation Study"

P. Torroni, P. Mello (2011) "Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos"

R. Davoli (2011) "Enhancing the social issues components in our computing curriculum: computing for the social good"

D. Sangiorgi (2011) "Environmental bisimulations for higher-order languages"

C. Sacerdoti Coen (2011) "Formalizing Overlap Algebras in Matita"

P. Di Lena (2011) "Genome-Wide Identification of Bcl11b Gene Targets Reveals Role in Brain-Derived Neurotrophic Factor Signaling"

A. Roli (2011) "Hybrid metaheuristics in combinatorial optimization: A survey"

Fariselli P. (2011) "Improving the prediction of disulfide bonds in Eukaryotes with machine learning methods and protein subcellular localization"

Andrea Omicini (2011) "Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems"

U. Dal Lago (2011) "Light Logics and Optimal Reduction: Completeness and Complexity."

A. Lumini (2011) "Likelihood ratio based features for a trained biometric score fusion"

A. Lumini (2011) "Local ternary patterns from three orthogonal planes for human action classification"

Foschini L., Corradi A. (2011) "M2M-Based Metropolitan Platform for IMS-Enabled Road Traffic Management in IoT"

Fariselli P. (2011) "MemPype: a pipeline for the annotation of eukaryotic membrane proteins"

P. Bellavista (2011) "Mobile Applications: Status and Trends (guest editorial)"

P. Bellavista (2011) "Next Generation Networks Service Management"

Claudio Sacerdoti Coen (2011) "Nonuniform Coercions via Unification Hints"

I. Lanese, D. Sangiorgi (2011) "On the expressiveness and decidability of higher-order process calculi"

Ugo Dal Lago (2011) "Realizability Models and Implicit Complexity"

P. Bellavista (2011) "Recent Advances in Mobile Middleware for Wireless Systems and Services (Guest Editorial)"

Cosimo Laneve (2011) "Reversibility in Massive Concurrent Systems"

A. Roli (2011) "Task partitioning in swarms of robots: An adaptive method for strategy selection"

A. Lumini (2011) "Texture descriptors for generic pattern classification problems"

A. Asperti (2011) "Zen and the art of formalisation."