IL PORTALE per la RICERCA dei DIPARTIMENTI

Burato Elisa, Cristani Matteo, Vigano' Luca (2011) "A Deduction System for Meaning Negotiation"

D. Bresolin, M. Capiluppi (2011) "A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems"

B. Maris, P. Fiorini (2011) "A Geometric Approach to Improve Performance of a Collision Detection Algorithm Derived from GJK and LC Algorithms"

Vigano' L. (2011) "A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes"

M. Cristani, Vittorio Murino (2011) "A Multiple Component Matching Framework for Person Re-identification"

RIZZI R. (2011) "A Polynomial-Time Algorithm for Finding a Minimal Conflicting Set Containing a Given Row"

P. Lovato, M. Cristani, M. Bicego (2011) "A comparison on score spaces for expression microarray data classification"

Antonio Marigonda, Giandomenico Orlandi (2011) "A mathematical model for neuronal fibers"

Castellani Umberto, Murino Vittorio (2011) "A multiple kernel learning algorithm for cell nucleus classification of renal cell carcinoma"

Castellani Umberto, Murino Vittorio (2011) "A new shape diffusion descriptor for brain classification"

Sala P (2011) "A uniform framework for temporal functional dependencies with multiple granularities"

M. Bicego, V. Murino (2011) "AN INNOVATIVE PROTOCOL FOR COMPARING PROTEINBINDING SITES VIA ATOMIC GRID MAPS"

Cristani M., Murino V. (2011) "Abnormal crowd behavior detection by social force optimization"

N. Bombieri, F. Fummi, V. Guarnieri (2011) "Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction"

Muradore R., Quaglia D., Fiorini P. (2011) "Adaptive LQ control over differentiated service lossy networks"

Carra Damiano (2011) "Adaptive Load Balancing in KAD"

Cristani Marco, Murino Vittorio (2011) "An Experimental Framework for Evaluating PTZ Tracking Algorithms"

D. Bresolin (2011) "An Optimal Decision Procedure for MPNL over the Integers"

Villa T. (2011) "An approximation algorithm for cofactoring-based synthesis"

Pozzani G., Combi C. (2011) "An inference system for relationships between spatial granularities"

Menegaz G. (2011) "Analysis of Superior and Inferior Parietal Lobe Function duringDepth Perception and Spatial Manipulation in Surgical Robotics"

V. Manca (2011) "Arithmetical Metabolic P Systems"

S. Baldo, G. Orlandi (2011) "Asymptotics for Ginzburg-Landau energies in 3-D condensed matter physics"

Peroli Michele, Vigano' Luca (2011) "Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis"

C. Daffara (2011) "Autofocus laser system for multi-NIR scanning imaging of painting surfaces"

Garro V. (2011) "Automatic Camera Orientation And Structure Recovery With Samantha"

N. Bombieri, F. Fummi, D. Quaglia (2011) "Automatic interface generation for component reuse in HW-SW partitioning"

A. Farinelli, M. Bicego (2011) "Biclustering of expression microarray data using Affinity Propagation"

Cristani Matteo, Karafili Erisa, Vigano' Luca (2011) "Blocking Underhand Attacks by Hidden Coalitions"

Bicego M., Cristani M, Murino V. (2011) "CLOOSTING: CLustering Data with bOOSTING"

Romeo A. (2011) "CdTe thin film solar cells : present status and future perspectives"

Castellani Umberto, Murino Vittorio (2011) "Combining Data Sources Nonlinearly for Cell Nucleus Classification of Renal Cell Carcinoma"

Fummi F., Quaglia D., Stefanni F. (2011) "Communication-aware design flow for dependable networked embedded systems"

fummi f., quaglia d., stefanni f. (2011) "Communication-aware middleware-based design-space exploration for networked embedded systems"

Toppan A (2011) "Controlling the quality of multiple choice tests"

Bresolin D., Villa T. (2011) "Correct-by-construction code generation from hybrid automata specification"

Cristani Marco, Murino Vittorio (2011) "Custom Pictorial Structures for Re-identification"

Francesco Olivieri, Simone Scannapieco, Matteo Cristani (2011) "Designing for Compliance: Norms and Goals"

FUMMI FRANCO, PRAVADELLI GRAZIANO (2011) "EFSM-based model-driven approach to concolic testing of system-level design"

I. Rimmaudo, A. Salavei, V. Allodi, A. Romeo (2011) "ELECTRICAL CHARACTERIZATION OF CdTe SOLAR CELLS MADE BY A LOW TEMPERATURE FABRICATION PROCESS"

N. Bombieri, F. Fummi, V. Guarnieri, F. Stefanni (2011) "Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation"

Zsuzsanna Lipták (2011) "Efficient Reconstruction of RC-Equivalent Strings"

IANNIZZOTTO A (2011) "Existence of solutions of discrete equations via critical point theory"

Marco Cristani, Vittorio Murino (2011) "FAST FPGA-BASED ARCHITECTURE FOR PEDESTRIAN DETECTION BASED ON COVARIANCE MATRICES"

Marco Cristani, Vittorio Murino (2011) "FPGA-Based Pedestrian Detection Using Array of Covariance Features"

Dalla Preda M (2011) "Graceful Interruption of Request-Response Service Interactions"

A. Giachetti (2011) "Health-related shape analysis of 3D body scanner data"

Castellani Umberto, Murino Vittorio (2011) "Heat Diffusion Based Dissimilarity Analysis for Schizophrenia Classification"

U. Castellani, A. Giachetti (2011) "Heat diffusion approach for feature-based body scans analysis"

M. DALLA PREDA (2011) "Hunting Distributed Malware with the k-Calculus"

M. Bicego, U. Castellani, V. Murino (2011) "Hybrid Generative-Discriminative Nucleus Classification of Renal Cell Carcinoma"

A. Salavei, I. Rimmaudo, V. Allodi, A. Romeo (2011) "INVESTIGATION OF A SUITABLE BACK CONTACT FOR CdTe/CdS SOLAR CELLS PREPARED IN THE SUBSTRATE CONFIGURATION"

Fummi F., Pravadelli G. (2011) "IPA: Assertion-based verification in embedded-software design"

Fummi F., Pravadelli G. (2011) "IPA: Reusing of Properties after Discretization of Hybrid Automata"

Manca Vincenzo (2011) "Inference of Biological Pathways by Integrating Different Kinds of Correlation Indexes"

Spoto F. (2011) "Inference of Field Initialization"

A. Salavei, I. Rimmaudo, V. Allodi, A. Romeo (2011) "LOW SUBSTRATE TEMPERATURE DEPOSITED CdTe SOLAR CELLS WITH AN ALTERNATIVERECRYSTALLIZATION PROCESS"

Murino V. (2011) "Learning attentional policies for object tracking and recognition in video with deep networks"

M.Cristani, A. Pesarin, V. Murino (2011) "Look at Who's Talking: Voice Activity Detection by Automated Gesture Analysis"

Calvi A., Lovato P., Oliboni B. (2011) "MICROARRAY SYSTEM. A System for Managing Data Produced by DNA-microarray Experiments"

Fummi F., Pravadelli G. (2011) "Model-Driven Design and Validation of Embedded Software"

C. Daffara (2011) "Multi-band scanning imaging for in situ analysis of paintings in the VIS-NIR range"

Umberto Castellani, Manuele Bicego, Vittorio Murino (2011) "Multimodal Schizophrenia Detection by Multiclassification Analysis"

Andrea Giachetti (2011) "Multiresolution Localization and Segmentation of the Optical Disc in Fundus Images Using Inpainted Background and Vessel Information"

V. Guarnieri, N. Bombieri, G. Pravadelli, F. Fummi (2011) "Mutation Analysis for SystemC Designs at TLM"

Romeo Rizzi (2011) "On cycle bases with limited edge overlap."

Maria Paola Bonacina (2011) "On interpolation in decision procedures"

Zsuzsanna Lipták (2011) "On prefix normal words"

C. Daffara (2011) "On the edges of the rainbow and beyond: using color mapping in multispectral diagnostics of artworks"

Gloria Menegaz (2011) "On the perceptual/linguistic origin of the twelfth basic color term in the Italian color lexicon"

Oliboni B. (2011) "On the reduction of sequences of XML document and schema update operations"

C. Daffara (2011) "Optical techniques for the characterization of surface-subsurface defects in painted layers"

Bresolin D, Sala P (2011) "Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders"

F. Boschi (2011) "Optimization of a novel Cerenkov detector for radiotherapy applications using GEANT4 and FLUKA2011 IEEE Nuclear Science Symposium Conference Record"

Pravadelli G., Fummi F. (2011) "Optimization of assertion placement in time-constrained embedded systems"

M. Cristani, V. Murino (2011) "Optimizing Interaction Force for Global Anomaly Detection in Crowded Scenes"

R. RIZZI (2011) "Output-Sensitive Listing of Bounded-Size Trees in Undirected Graphs"

Quaglia D., Muradore R., Fiorini P. (2011) "Plant control over QoS-enabled packet networks"

Giachetti A. (2011) "Reliability of the Breuckmann bodyscan for 3D anthropometric measurement."

M. Bicego, U. Castellani, V. Murino (2011) "Renal Cancer Cell Classification Using Generative Embeddings and Information Theoretic Kernels"

Farinelli A. (2011) "Resource-aware junction trees for efficient multi-agent coordination"

Fummi F., Pravadelli G. (2011) "Reusing of Properties after Discretization of Hybrid Automata"

C. Daffara (2011) "Riflettografia IR multispettrale a scansione: sviluppi recenti e nuove applicazioni diagnostiche"

Allodi V., Rimmaudo I., Salavei A., Romeo A. (2011) "STUDY OF ELECTRO-OPTICAL PROPERTIES OF CdTe SOLAR CELLS PREPARED BY A LOW TEMPERATURE FABRICATION PROCESS"

Oliboni B. (2011) "Schema versioning in tXSchema-based multitemporal XML repositories"

PEROLI MICHELE, VIGANO' LUCA (2011) "Security protocols as environments: A lesson from non-collaboration"

Castellani Umberto, Murino Vittorio (2011) "Selecting scales by multiple kernel learning for shape diffusion analysis"

M. Merro (2011) "Semantic analysis of gossip protocols for wireless sensor networks"

Federico Boschi (2011) "Small animal optical multispectral Cerenkov tomography2011 IEEE Nuclear Science Symposium Conference Record"

CRISTANI MARCO, MENEGAZ GLORIA, MURINO VITTORIO (2011) "Social interaction discovery by statistical analysis of F-formations"

Spoto F. (2011) "Static Analysis of Android Programs"

Sala P (2011) "Temporal functional dependencies based on interval relations"

Combi Carlo (2011) "The NestFlow Interpretation of Workflow Control-Flow Patterns"

D. Bresolin (2011) "The dark side of Interval Temporal Logic: sharpening the undecidability border"

D. Bresolin (2011) "The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT"

Olivieri Francesco, Scannapieco Simone (2011) "Three concepts of defeasible permission"

MARCO CRISTANI, GLORIA MENEGAZ, VITTORIO MURINO (2011) "Towards Computational Proxemics: Inferring Social Relations from Interpersonal Distances"

P. Fiorini (2011) "Towards Flow-Sensing Robots: Situated Analysis for PIV Flow Imaging"

Combi Carlo (2011) "Towards Structured Business Process Modeling Languages"

Menegaz G. (2011) "Towards a Diffusion Image Processing Validation and Accuracy Prediction Framework"

Maria Paola Bonacina (2011) "Towards interpolation in an SMT solver with integrated superposition"

Fummi F., Pravadelli G., Stefanni F., Vinco S. (2011) "UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design"

Giachetti A. (2011) "VAMPIRE: Vessel Assessment and Measurement Platform for Images of the REtina"

Belussi A. (2011) "Validation of Geographical Datasets against Spatial Constraints at Conceptual Level"

Garro Valeria (2011) "Visual Localization for Mobile Surveillance"

A. Calanca (2011) "Voice processing by dynamic glottal models with applications to speech enhancement"

D. Bresolin, P. Sala (2011) "What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL"

C. Daffara (2011) "Wide-band IR imaging in the NIR-MIR-FIR regions for in situ analysis of frescoes"

Alberto Belussi (2011) "Workflow Technology for Geo-Processing: The Missing Link"