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

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
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. 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
19. 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
20. 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
21. 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
22. 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
23. 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
24. 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
25. 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
26. 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
27. 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
28. 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
29. 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
30. 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
31. 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
32. 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
33. 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
34. 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
35. 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
36. 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
37. 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
38. 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
39. 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
40. 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
41. 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
42. 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
43. 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
44. 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
45. 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
46. 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
47. 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
48. 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
49. 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
50. 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
51. 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
52. 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


Sezione F - Docenti senza produzione scientifica


Sezione G - Bandi competitivi


Sezione H - Responsabilitą e riconoscimenti scientifici