IL PORTALE per la RICERCA dei DIPARTIMENTI

M. Cristani. (2013) ""Tell Me More": How Semantic Technologies Can Help Refining Internet Image Search"

G. Menegaz (2013) "'Italian blues': A challenge to the universal inventory of basic colour terms"

Farinelli A. (2013) "A Distributed Kinodynamic Collision Avoidance System under ROS"

Filippo Bistaffa, Alessandro Farinelli (2013) "A Fast Approach to Form Core-Stable Coalitions Based on a Dynamic Model"

M. Caliari (2013) "A Meshfree splitting method for nonlinear Schroedinger equations"

N. Bombieri, F. Fummi (2013) "A Method to Abstract RTL IP Blocks into C++ Code and Enable High-Level Synthesis"

Simone Scannapieco, Francesco Olivieri, Matteo Cristani (2013) "A Methodology for Plan Revision under Norm and Outcome Compliance"

Romeo Rizzi (2013) "A Novel Combinatorial Method for Estimating Transcript Expression with RNA-Seq: Bounding the Number of PathsAlgorithms in Bioinformatics"

D. Quaglia (2013) "A Physical-Aware Abstraction Flow for Efficient Design-Space Exploration of a Wireless Body Area Network Application"

Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia (2013) "A Toolchain for UML-based Modeling and Simulation of Networked Embedded Systems"

Valeria Garro, Andrea Giachetti (2013) "A Tracking Approach for the Skeletonization of Tubular Parts of 3D Shapes"

M. Cristani, L. Vigano (2013) "A complete tableau procedure for risk analysis"

D. Bresolin, M. Capiluppi (2013) "A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions"

L. Vigano, M. Volpe (2013) "A labeled deduction system for the logic UB"

C. Daffara (2013) "A study of surface optical properties for characterizing the cleaning process of paintings"

D. Bresolin (2013) "A tableau system for right propositional neighborhood logic over finite linear orders: an implementation"

Andrei Salavei, Ivan Rimmaudo, Alessandro Romeo (2013) "ANALYSIS OF CDTE ACTIVATION TREATMENT WITH A NOVEL APPROACH"

Davide Conigliaro, Marco Cristani (2013) "ATTENTO: ATTENTion Observed for Automated Spectator Crowd Analysis"

I. Mastroeni (2013) "Abstract interpretation-based approaches to Security - A survey on Abstract non-Interference and its challenging application"

Sala P (2013) "Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness"

Carlo Combi, Roberto Posenato (2013) "An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty"

Giuditta Franco (2013) "An Investigation on Genomic Repeats"

C. Daffara (2013) "An integrated instrument for real-time profilometry and multispectral infrared reflectography for the analysis of deformations on paintings"

L. Viganò (2013) "Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities"

Riccardo Muradore, Paolo Fiorini (2013) "Automated Surgical Task Execution: the Needle Insertion Case"

Graziano Pravadelli (2013) "Automatic Generation of Compact Formal Properties for Effective Error Detection"

F. Fummi, V. Guarnieri, G. Pravadelli, F. Stefanni, W. Vendraminetto (2013) "Automatic HDL Conversion and Abstraction Methodologies"

Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni (2013) "Automatic Network Protocol Synthesis from UML Sequence Diagrams"

A. Farinelli, M. Bicego (2013) "C-Link: A Hierarchical Clustering Approach to Large-scale Near-optimal Coalition Formation"

Andrea Giachetti (2013) "Centers of Approximate Spherical Symmetry and Radial Symmetry Graphs"

F. Fummi, M. Lora, F. Stefanni, S. Vinco (2013) "Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity"

Roberto Posenato, Carlo Combi (2013) "Controllability of Time-Aware Processes at Run Time"

L. Vigano (2013) "Defining privacy is supposed to be easy"

Boschi F. (2013) "Development of a simulation environment for Cerenkov luminescence imaging2013 IEEE Nuclear Science Symposium and Medical Imaging Conference (2013 NSS/MIC)"

C. Daffara, F. Monti (2013) "Direct, trans-irradiation and multispectral infrared imaging of a Titian canvas"

Menegaz G. (2013) "Early detection of epileptic seizures by entropy-based methods"

Andrea Giachetti (2013) "Edge Detection on Polynomial Texture Maps"

Franco Fummi, Graziano Pravadelli (2013) "Efficient Fault Simulation through Dynamic Binary Translation for Dependability Analysis of Embedded Software"

Alessandro Romeo, Andrei Salavei, Ivan Rimmaudo (2013) "Electrical characterization and aging of CdTe thin film solar cells with Bi2Te3 back contact"

Ivan Rimmaudo, Andrei Salavei, Alessandro Romeo (2013) "Etching effect of CdTe absorber on the stability of thin film solar cell devices"

Alberto Calvi (2013) "Evaluation of ASLan Mutation Operators"

Mila Dalla Preda, Roberto Giacobazzi (2013) "Fast location of similar code fragments using semantic 'juice'"

D. Bresolin (2013) "Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms"

M. Dalla Preda, I. Mastroeni, R. Giacobazzi (2013) "Formal Framework for Property-driven Obfuscations"

Marco Cristani (2013) "Group detection in still images by F-formation modeling: A comparative study2013 14th International Workshop on Image Analysis for Multimedia Interactive Services (WIAMIS)"

D. Carra (2013) "HFSP: Size-based Scheduling for Hadoop"

D. Bresolin (2013) "HyLTL: a temporal logic for model checking hybrid systems"

A. Calanca, P. Fiorini (2013) "Improving Continuous Approximation of Sliding Mode Control"

D. Bresolin (2013) "Improving HyLTL model checking of hybrid systems"

Zsuzsanna Lipták (2013) "Indexes for Jumbled Pattern Matching in Strings, Trees, and Graphs"

Riccardo Muradore (2013) "Inertial Parameter Identification Including Friction and Motor Dynamics"

Lidia Angeleri (2013) "Infinite dimensional tilting theory"

Sala P (2013) "Interval logics and ¿b-regular languages"

A. Romeo, I. Rimmaudo, A. Salavei (2013) "KEY DEVELOPMENTS IN CdTe THIN FILM SOLAR CELL BACK-CONTACT"

V. Garro (2013) "Label transfer exploiting three-dimensional structure for semantic segmentation"

G. Orlandi (2013) "Limiting models in condensed matter Physics and gradient flows of 1-homogeneous functionals"

C. Daffara (2013) "Mid-infrared reflectography for the analysis of pictorial surface layers in artworks"

T. Villa (2013) "Minimization of EP-SOPs via Boolean Relations"

T. Villa (2013) "Minimization of P-Circuits using Boolean Relations"

R. Muradore, D. Quaglia, P. Fiorini (2013) "Model predictive control over delay-based differentiated services control networks"

Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia (2013) "Model-Driven Design for the Development of Multi-Platform Smartphone Applications"

M. Merro (2013) "Modelling MAC-Layer Communications in Wireless Systems"

C. Combi (2013) "Multiple Temporal Axes for Visualising the Behaviour of Elders Living Alone"

IANNIZZOTTO A (2013) "Multiplicity results for constrained Neumann problems"

G. Menegaz (2013) "Myelin plasticity does not significantly influence diffusion remodelling in the uninjured motor network after stroke"

U. Castellani, V. Murino (2013) "Neuronal network structural connectivity estimation by probabilistic features and graph heat kernels2013 IEEE 10th International Symposium on Biomedical Imaging"

M. Zorzi (2013) "Non-determinism, non-termination and the strong normalization of System T"

A. Giachetti (2013) "Novel VAMPIRE algorithms for quantitative analysis of the retinal vasculature"

Romeo Rizzi (2013) "On Recognizing Words That Are Squares for the Shuffle ProductComputer Science – Theory and Applications"

Alberto Belussi (2013) "On Robust Interpretation of Topological Relations in Identity and Tolerance Models"

N. Bombieri, F. Fummi (2013) "On the Automatic Generation of GPU-oriented Software Applications from RTL IPs"

S. Vinco (2013) "On the Use of GP-GPUs for Accelerating Compute-intensive EDA Applications"

N. Bombieri, E. S. M. Ebeid, F. Fummi, M. Lora (2013) "On the reuse of RTL IPs for SysML model generation"

C. Daffara (2013) "Optical diagnostics on Caravaggio's paintings with a new IR multispectral scanner for reflectography"

Romeo Rizzi, Roberto Posenato (2013) "Optimal Design of Consistent Simple Temporal Networks"

Romeo Rizzi (2013) "Optimal Listing of Cycles and st-Paths in Undirected GraphsProceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms"

Davide Quaglia, Riccardo Muradore, Paolo Fiorini (2013) "Passivity-based control over differentiated-services packet networks"

A. Di Pierro (2013) "Probabilistic data flow analysis: a linear equational approach"

N. Bombieri, F. Fummi (2013) "RTL IP abstraction into optimized embedded software"

Cristina Segalin, Marco Cristani (2013) "Reading between the turns: Statistical modeling for identity recognition and verification in chats"

Diego Dall'Alba, Riccardo Muradore, Paolo Fiorini (2013) "Real-time biopsy needle tip estimation in 2D ultrasound images"

A. Giachetti (2013) "SHREC'13 Track: Retrieval on Textured 3D Models"

N.Bombieri, F. Stefanni (2013) "SMAC: Smart Systems Co-Design"

Ivan Rimmaudo, Andrei Salavei, Alessandro Romeo (2013) "STUDY OF THE EFFECT OF ABSORBER ETCHING ON THE BACK CONTACT PERFORMANCE OF CDTE SOLAR CELLS"

Castellani Umberto (2013) "Semantic-Context-Based Augmented Descriptor for image feature matching"

Alessandra Di Pierro (2013) "Semantics of Probabilistic Programs: A Weak Limit Approach"

Marco Cristani, Vittorio Murino (2013) "Semi-supervised multi-feature learning for person re-identification"

De Pra Y (2013) "Sensitivity to loudspeaker permutations during an eight-channel array reproduction of piano notes"

V.Garro, A.Giachetti (2013) "Shape processing for digital anthropometry"

Marco Cristani, Cristina Segalin (2013) "Statistical Analysis of Visual Attentional Patterns for Video Surveillance"

M. Merro (2013) "Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks"

T. Villa (2013) "Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata"

Franco Fummi, Graziano Pravadelli (2013) "Teaching embedded software design with radSUITE"

P. Lovato, M. Bicego, and M. Cristani. (2013) "Tell me what you like and ill tell you what you are: Discriminating visual preferences on Flickr data."

L. Vigano (2013) "The SPaCIoS project: Secure provision and consumption in the internet of services"

C. Daffara (2013) "The challenge of infrared imaging of frescos: Thermal Quasi-Reflectography unveils hidden features of artworks"

C. Segalin, A. Pesarin, M. Cristani (2013) "The expressivity of turn-taking: Understanding children pragmatics by hybrid classifiers"

C. Daffara (2013) "Thermal Quasi-Reflectography (TQR): current research and potential applications"

G. Orlandi (2013) "Time-like minimal surfaces in Minkowski space"

Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi (2013) "UML-based Modeling and Simulation of Environmental Effects in Networked Embedded Systems"

M. Cristani, C. Segalin (2013) "Unveiling the multimedia unconscious: implicit cognitive processes and multimedia content analysis"

M. Rocchetto, L. Vigano, M. Volpe (2013) "Using interpolation for the verification of security protocols"

Michele Peroli (2013) "VERA: A Flexible Model-Based Vulnerability Testing Tool"

Davide Conigliaro, Marco Cristani (2013) "Viewing the Viewers: A Novel Challenge for Automated Crowd Analysis"

A. Farinelli (2013) "Visual coverage using autonomous mobile robots for search and rescue applications2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)"

P Lovato, C Segalin, M Cristani (2013) "WE LIKE IT! MAPPING IMAGE PREFERENCES ON THE COUNTING GRID"

Zucchelli M., Menegaz G. (2013) "Waveform decoding and detection in hdEEG"

Alberto Belussi (2013) "Wearable Queries: Adapting Common Retrieval Needs to Data and Users"

Valeria Garro (2013) "Wide Area Camera Localization"

M. Capiluppi, R. Segala (2013) "World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems"

G. Menegaz (2013) "A diffusion spectrum imaging study of the cortico-subcortical motor connections after stroke"

F. Simonetti, G. Menegaz (2013) "A multi-view approach to multi-modal MRI Cluster Ensembles for heterogeneity assessment of tumoral lesions"

Alberto Belussi (2013) "Application of the GeoUML Tools for the Production and Validation of Inspire Datasets"

P.Marzola (2013) "Magnetosomes extracted from Magnetospirillum gryphiswaldence as magnetic thermotherapy agents"

C. Daffara, F. Monti, P. Fiorini (2013) "Multiscale modelling of surfaces by profilometry based on conoscopic holography"

Maria Paola Bonacina (2013) "On model-based reasoning: recent trends and current developments"

A. Farinelli (2013) "RMASBench: A Benchmarking System for Multi-agent Coordination in Urban Search and Rescue"

A. Farinelli (2013) "RMASBench: Benchmarking Dynamic Multi-agent Coordination in Urban Search and Rescue"

Alberto Belussi (2013) "Towards the creation of an Archaeological Urban Information System: Data Modeling of the Historical Heritage of Verona"

Maria Paola Bonacina (2013) "Two-stage interpolation systems"

Maris B., Dall'Alba D., Fiorini P. (2013) "A phantom study for the validation of a Surgical Navigation System Based on Real-Time Segmentation and Registration Methods"

A Romeo (2013) "Inclusion of a-bisabolol into PLGA nanoparticles enhances its pro-apoptotic activity in human tumoral pancreatic cells."