Parte II: Risultati della ricerca


Sezione D - Produzione scientifica


Sezione E - Internazionalizzazione

Contributo in atti di convegno

Le pubblicazioni visualizzate in questo quadro sono ordinate per Classificazione, Titolo. Vengono visualizzati gli autori appartenenti al Dipartimento. Per consultare la lista completa delle informazioni relative alle pubblicazioni cliccare sul nome autori. Il campo "Provenienza del dato", se presente, indica il CRIS di Ateneo di provenienza del dato.

N.ClassificazionePubblicazione
1. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
2. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
3. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/08 Provenienza del dato: UGOV VERONA
4. Contributo in Atti di convegno

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

Scopus: 2-s2.0-84879857068 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA
5. Contributo in Atti di convegno

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

Lingua: ENG, ITA Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
6. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/09 Provenienza del dato: UGOV VERONA
7. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA
8. Contributo in Atti di convegno

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

Scopus: 2-s2.0-84899540987 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
9. Contributo in Atti di convegno

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

Scopus: 2-s2.0-84885710898 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05
10. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
11. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA
12. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01, ING-INF/05 Provenienza del dato: UGOV VERONA
13. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
14. Contributo in Atti di convegno

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

Scopus: 2-s2.0-84893973358 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
15. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
16. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
17. Contributo in Atti di convegno

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

Scopus: 2-s2.0-84875975575 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05
18. Contributo in Atti di convegno

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)"

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
19. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA
20. Contributo in Atti di convegno

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

Scopus: 0-84893910948 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
21. Contributo in Atti di convegno

Lidia Angeleri (2013) "Infinite dimensional tilting theory"

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/02 Provenienza del dato: UGOV VERONA
22. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
23. Contributo in Atti di convegno

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

Scopus: SI Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
24. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
25. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/05
26. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
27. Contributo in Atti di convegno

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

Scopus: 2-s2.0-84884511635 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
28. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
29. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/09 Provenienza del dato: UGOV VERONA
30. Contributo in Atti di convegno

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

Scopus: 2-s2.0-84885617014 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05
31. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/09 Provenienza del dato: UGOV VERONA
32. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
33. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05, INF/01 Provenienza del dato: UGOV VERONA
34. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05, ING-INF/04 Provenienza del dato: UGOV VERONA
35. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA
36. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
37. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
38. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
39. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01, ING-INF/05 Provenienza del dato: UGOV VERONA
40. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA
41. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01, ING-INF/05 Provenienza del dato: UGOV VERONA
42. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
43. Contributo in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05, INF/01 Provenienza del dato: UGOV VERONA
44. Abstract in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
45. Abstract in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
46. Abstract in Atti di convegno

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

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA
47. Poster

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"

Lingua: ENM Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05, ING-INF/04 Provenienza del dato: UGOV VERONA


Sezione F - Docenti senza produzione scientifica


Sezione G - Bandi competitivi


Sezione H - Responsabilitą e riconoscimenti scientifici