Parte II: Risultati della ricerca


Sezione D - Produzione scientifica

QUADRO D.1

D.1 Produzione scientifica

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

Bicego M., Lovato P. (2012) "2D shape recognition using biological sequence alignment tools "

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

Lovato P., Bicego M. (2012) "2D shapes classification using BLAST"

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

Francesco Stefanni, Graziano Pravadelli, Franco Fummi, Sara Vinco (2012) "A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems"

Scopus: 94708 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: ING-INF/05
4. Contributo in Atti di convegno

Castellani Umberto, Murino Vittorio (2012) "A Localized MKL method for brain classification with known intra-class variability"

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

Farinelli A. (2012) "A Methodology for Deploying the Max-Sum Algorithm and a Case Study on Unmanned Aerial Vehicles"

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

Cristani Marco, Castellani Umberto, Murino Vittorio (2012) "A Multiple Kernel Learning Approach to Multi-Modal Pedestrian Classification"

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

M. Merro (2012) "A Semantic Analysis of Wireless Network Security Protocols"

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

D. Dall'Alba, B. Maris, P. Fiorini (2012) "A compact navigation system for free hand needle placement in percutaneos procedures"

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

M. Cristani, V. Murino (2012) "A regularized spectral algorithm for Hidden Markov Models with applications in computer vision"

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

Pravadelli G. (2012) "A testbench specification language for SystemC Verification"

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

Franco Fummi, Graziano Pravadelli (2012) "Accurate Profiling of Oracles for Self-Checking Time-Constrained Embedded Software"

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

Castellani U. (2012) "Accurate and automatic alignment of range surfaces"

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

Rimmaudo I., Salavei A., Romeo A. (2012) "Ageing of CdTe Devices by Copper Diffusion"

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

Romeo Rizzi (2012) "Algorithmic Aspects of the Intersection and Overlap Numbers of a GraphAlgorithms and Computation"

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

Romeo Rizzi (2012) "An Algorithmic View on Multi-Related-Segments: A Unifying Model for Approximate Common Interval"

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

PEROLI MICHELE, VIGANO' LUCA (2012) "An Environmental Paradigm for Defending Security Protocols"

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

Sala P (2012) "An optimal tableau system for the logic of temporal neighborhood over the reals"

Scopus: 2-s2.0-84868294117 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01
18. Contributo in Atti di convegno

D. Bresolin, T. Villa (2012) "Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis"

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

VIGANO' LUCA (2012) "Automated Validation of Trust and Security of Service-Oriented Architectures with the AVANTSSAR Platform (Extended Abstract)"

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

Menegaz G. (2012) "Automated identification of the human thalamic nuclei using local white-matter properties"

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

Bicego M. (2012) "Automatic Classification of Volcanic Earthquakes in HMM-Induced Vector Spaces"

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

Castellani U. (2012) "Automatic Multi-view Surface Matching"

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

F. Spoto (2012) "Automaton-Based Array Initialization Analysis"

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

Castellani Umberto, Murino Vittorio (2012) "Biomarker Evaluation by Multiple Kernel Learning for Schizophrenia detection"

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

D. Quaglia (2012) "COMPLEX: COdesign and Power Management in PLatform-Based Design Space EXploration"

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

VOLPE M (2012) "Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics"

Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01
27. Contributo in Atti di convegno

Filippo Bistaffa, Alessandro Farinelli (2012) "Coalitional energy purchasing in the smart grid"

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

Pravadelli G., Fummi F. (2012) "Combining Dynamic Slicing and Mutation Operators for ESL Correction"

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

Romeo Rizzi (2012) "Complexity Insights of the Minimum Duplication Problem"

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

Bresolin D., Villa T. (2012) "Computing the evolution of hybrid systems using rigorous function calculus"

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

V. Manca (2012) "Computing with Multi-membranes"

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

Menegaz G. (2012) "Consensus Clustering From Experts' Partitions for Patients' nevi: Model the Ugly Duckling"

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

Marco Cristani, Cristina Segalin (2012) "Conversationally-inspired stylometric features for authorship attribution in instant messaging"

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

Pozzani G., Combi C. (2012) "Dealing with multigranular spatio-temporal databases to manage psychiatric epidemiology data"

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

Farinelli A. (2012) "Decentralized Bayesian reinforcement learning for online agent collaboration"

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

M. Cristani, V. Murino (2012) "Decentralized particle filter for joint individual-group tracking"

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

Spoto F. (2012) "Definite Expression Aliasing Analysis for Java Bytecode"

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

I. Rimmaudo, A. Salavei, A. Romeo (2012) "Device and Physical Properties of Solar Cells with Thin CdTe Absorbers"

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

Pozzani G. (2012) "Deæning spatio-temporal granularities for raster data"

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

Alberto Belussi (2012) "Distributed Integration of Spatial Data with Different Positional Accuracies"

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

M. Capiluppi, R. Segala (2012) "Distributed collision avoidance for autonomous vehicles: World automata representation"

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

Bonato M., Fummi F., Pravadelli G. (2012) "Dynamic property mining for embedded software"

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

A. Giachetti (2012) "Effective features for artery-vein classification in digital fundus images"

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

Fummi F., Pravadelli G. (2012) "Enabling dynamic assertion-based verification of embedded software through model-driven design"

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

N. Bombieri, F. Fummi, V. Guarnieri (2012) "Energy Aware TLM Platform Simulation via RTL Abstraction"

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

N. Bombieri, F. Fummi, V. Guarnieri (2012) "FAST-GP: An RTL Functional Verification Framework based on Fault Simulation on GP-GPUs"

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

D. Bresolin, M. Capiluppi (2012) "Fault Diagnosis of Hybrid Systems: an Onboard Camera Model"

Scopus: 2-s2.0-84867089858 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: ING-INF/05, INF/01
48. Contributo in Atti di convegno

Lovato P, Bicego M, Cristani M (2012) "Feature selection using Counting Grids: application to microarray data"

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

A. Salavei, I. Rimmaudo, A. Romeo (2012) "Flexible CdTe Solar Cells by a Low Temperature Process on ITO/ZnO Coated Polymers"

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

N. Bombieri, V. Guarnieri (2012) "From RTL IP to functional system-level models with extra-functional properties"

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

R.Muradore (2012) "GALACSI System Design and Analysis"

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

Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi (2012) "Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification"

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

Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi (2012) "Generation of VHDL code from UML/MARTE sequence diagrams for verification and synthesis"

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

Bicego Manuele, Murino Vittorio (2012) "Generative embeddings based on Rician mixtures:Application to kernel-based discriminative classification of magnetic resonance images"

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

Marco Cristani (2012) "Generative modelling of dyadic conversations: characterization of pragmatic skills during development age"

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

Mendez A., Menegaz G. (2012) "Integration of diffusion and perfusion images of human breast cancer by registration and dissimilarity based clustering"

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

Zorzi M. (2012) "Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic"

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

Mila Dalla Preda (2012) "Interface-Based Service Composition with Aggregation."

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01
59. Contributo in Atti di convegno

D. Bresolin, P. Sala (2012) "Interval Temporal Logics over Finite Linear Orders: the Complete Picture"

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

D. Bresolin (2012) "Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture"

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

Menegaz G. (2012) "Investigating color perceptual similarity well above threshold"

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

Marco Cristani, Vittorio Murino (2012) "Learning Discriminative Spatial Relations for Detector Dictionaries: An Application to Pedestrian Detection"

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

Menegaz G. (2012) "Locating colors in the Munsell space: an unconstrained color naming experiment"

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

Cristani M., Murino V. (2012) "Low-level multimodal integration on Riemannian manifolds for automatic pedestrian detection"

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

F. Fummi, G. Pravadelli, S. Vinco (2012) "MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution"

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

R. Giacobazzi, I. Mastroeni (2012) "Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation"

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

Zsuzsanna Liptįk (2012) "Melodic String Matching via Interval Consolidation and Fragmentation"

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

M. Capiluppi, R. Segala (2012) "Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata"

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

Carlo Combi, Roberto Posenato (2012) "Modelling Temporal, Data-Centric Medical Processes"

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

Diego Dall'Alba (2012) "Monitoring cryoablation lesions with quantitative ultrasound elastography: A feasibility study"

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

Mendez C.A., Menegaz G. (2012) "Multimodal MRI-based tissue classification in breast ductal carcinoma"

Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01
72. Contributo in Atti di convegno

A. Giachetti (2012) "Multimodal imaging techniques in sport"

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

Menegaz G. (2012) "Multiscale representations for ODF denoising in diffusion spectrum imaging"

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

Emad Samuel Malki Ebeid, Davide Quaglia (2012) "Network-aware Design-Space Exploration of a Power-Efficient Embedded Application"

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

R. Giacobazzi, I. Mastroeni (2012) "Obfuscation by Partial Evaluation of Distorted Interpreters"

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

Roberto Giacobazzi, Andrea Toppan (2012) "On Entropy Measures for Code Obfuscation"

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

Carlo Combi, Roberto Posenato (2012) "On the Complexity of Temporal Controllabilities for Workflow Schemata"

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

N. Bombieri, F. Fummi (2012) "On the automatic synthesis of parallel SW from RTL models of hardware IPs"

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

Riccardo Muradore (2012) "On the rejection of vibrations in Adaptive Optics Systems"

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

Pozzani G., Combi C. (2012) "On the semantics of ST4SQL, a multidimensional spatio-temporal query language"

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

Pravadelli G., Fummi F. (2012) "On the use of assertions for embedded-software dynamic verification"

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

Marco Cristani, Vittorio Murino (2012) "Online Bayesian Non-parametrics for Social Group Detection"

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

D. Bresolin, R. Muradore, P. Fiorini, T. Villa (2012) "Open Problems in Verification and Refinement of Autonomous Robotic Systems"

Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: ING-INF/05
84. Contributo in Atti di convegno

Marigonda Antonio, Orlandi Giandomenico (2012) "Optimal mass transportation-based models for neuronal fibers"

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

Muradore R., Quaglia D., Fiorini P. (2012) "Predictive Control of Networked Control Systems over Differentiated Services Lossy Networks"

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

T. Villa (2012) "Projected Don't Cares"

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

Villa T. (2012) "Protocol converter synthesis by solving language equations"

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

M. Cristani, V. Murino (2012) "Re-identification with rgb-d sensors"

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

Spoto Fausto (2012) "Reachability Analysis of Program Variables"

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

M. Cristani (2012) "Recursive segmentation based on higher order statistics in thermal imaging pedestrian detection"

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

N. Bombieri, F. Fummi, V. Guarnieri, G. Pravadelli (2012) "Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis"

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

V. Guarnieri, F. Fummi (2012) "Reduced-Complexity Transition-Fault Test Generation for Non-Scan Circuits through High-level Mutant Injection"

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

Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni. (2012) "Reænement of UML/MARTE models for the design of networked embedded systems"

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

Giachetti A., Castellani U. (2012) "Robust Automatic Labelling of Anatomical Landmarks on 3D Body Scans"

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

Alberto Belussi (2012) "Robustness of Spatial Relation Evaluation in Data Exchange"

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

Sara Vinco, Franco Fummi (2012) "SAGA: SystemC acceleration on GPU architectures"

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

Pozzani G., Combi C. (2012) "ST4SQL: a spatio-temporal query language dealing with granularities"

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

Mila Dalla Preda (2012) "Service integration via target-transparent mediation"

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01
99. Contributo in Atti di convegno

Garro V. (2012) "Solving the PnP Problem with Anisotropic Orthogonal Procrustes Analysis."

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

RIZZI ROMEO (2012) "Some Results on more Flexible Versions of Graph Motif"

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

A. Calanca (2012) "Speech modeling and processing by low-dimensional dynamic glottal models"

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

Cristani Marco, Murino Vittorio (2012) "Stereo-Based Framework for Pedestrian Detection with Partial Occlusion Handling"

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

R. Giacobazzi, I. Mastroeni (2012) "Strong Preservation by Model Deformation"

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

D. Quaglia, F. Stefanni (2012) "SystemC Model Generation for Realistic Simulation of Networked Embedded Systems"

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

N. Bombieri (2012) "SystemC simulation on GP-GPUs: CUDA vs. OpenCL"

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

P. Sala (2012) "Tamsulosin and gynecomastia: data from the Italian spontaneous reporting system"

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

Pietro Lovato, Manuele Bicego, Marco Cristani (2012) "Tell Me What You Like and I'll Tell You What You Are: Discriminating Visual Preferences on Flickr Data"

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

Alberto Calvi, Marco Rocchetto, Luca Vigano' (2012) "The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures"

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

Roberto Posenato, Carlo Combi (2012) "The Dynamic Controllability of Conditional STNs with Uncertainty"

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

Dalla Preda M. (2012) "The Grand Challenge in Metamorphic Analysis"

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

Franco Fummi, Graziano Pravadelli, Sara Vinco (2012) "The Strange Pair: IP-XACT and UNIVERCM to Integrate Heterogeneous Embedded Systems"

Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: ING-INF/05
112. Contributo in Atti di convegno

Matteo Cristani, Erisa Karafili, Luca Vigano' (2012) "Towards a Logical Framework for Reasoning about Risk"

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

F. Boriero, P. Fiorini, R. Muradore (2012) "Towards automated surgical robotics: A requirements engineering approach"

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

L. Vigano (2012) "Towards the secure provision and consumption in the internet of services"

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

Dalla Preda M., Giacobazzi R. (2012) "Twisting Additivity in Program Obfuscation"

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

B. Oliboni (2012) "Versioning of conventional schema in the txSchema framework"

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

Riccardo Muradore (2012) "Vibrations in AO control: a short analysis of on-sky data around the world"

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

A. Farinelli (2012) "Decentralised Stable Coalition Formation Among Energy Consumers in the Smart Grid (Demonstration)"

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

D. Dall'Alba, B. Maris, P. Fiorini (2012) "Marker based accuracy analysis of RGB-D sensor for image guided applications"

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

Maris B., D. Dall'Alba, P. Fiorini (2012) "Multimodal Data Fusion and Registration for Needle Guidance in Percutaneous Procedures"

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

Sezione E - Internazionalizzazione

QUADRO E.1

E.1 Pubblicazioni con coautori stranieri

QUADRO E.2

E.2 Mobilità Internazionale

Sezione F - Docenti senza produzione scientifica

QUADRO F.1

F.1 Docenti senza produzione scientifica per l'anno di riferimento (2012)

Sezione G - Bandi competitivi

QUADRO G.1

G.1 Progetti acquisiti da bandi competitivi

Sezione H - Responsabilitą e riconoscimenti scientifici

QUADRO H.1

H.1 Premi scientifici (2012)

QUADRO H.2

H.2 Fellow di societą scientifiche internazionali (2012)

QUADRO H.3

H.3 Direzione di riviste, collane editoriali, enciclopedie e trattati scientifici (2012)

QUADRO H.4

H.4 Direzione o responsabilitą scientifica /coordinamento di enti o istituti di ricerca pubblici o privati nazionali o internazionali (2012)

QUADRO H.5

H.5 Attribuzione di incarichi ufficiali di insegnamento o di ricerca presso atenei e centri di ricerca pubblici o privati internazionali (2012)

QUADRO H.6

H.6 Responsabilitą scientifica di congressi internazionali (2012)