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

RANON R (2011) "A Smart Assistant for Shooting Virtual Cinematography with Motion-Tracked Cameras"

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

DOVIER A (2011) "A Tabled Prolog Program for Solving Sokoban"

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

Dovier A (2011) "A Tabled Prolog Program for Solving Sokoban"

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

MONTANARI A (2011) "An Optimal Decision Procedure for MPNL over the Integers"

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

Fontana F. (2011) "An exploration on the influence of vibrotactile cues during digital piano playing"

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

DATTOLO A (2011) "An integrated approach to discover tag semantics"

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

FONTANA F (2011) "Auditory recognition of floor surfaces by temporal and spectral cues of walking"

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

DOVIER A (2011) "BAAC: A Prolog System for Action Description and Agents Coordination"

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

ANSOLDI S (2011) "BL Lac Objects: Laboratories to study the environment and properties of emitting particles in relativistic jets"

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

BALLIS D (2011) "Backward Trace Slicing for Rewriting Logic Theories"

Scopus: 2-s2.0-80051703006 Web of Science: WOS:000306293800005 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV UDINE
11. Contributo in Atti di convegno

Alfredo Soldati (2011) "Benchmark test on particle-laden channel flow with point-particle LES"

Web of Science: WOS:000323091800028 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-IND/06
12. Contributo in Atti di convegno

Farinosi M (2011) "Between the Square and the Net: Civic Engagement and Participation in a Post-Earthquake Movement"

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

F. Blanchini (2011) "Bounded complexity l8 filters for switched systems"

Scopus: 2-s2.0-80053135666 Web of Science: WOS:000295376002105 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/04 Provenienza del dato: UGOV UDINE
14. Contributo in Atti di convegno

Tasso C. (2011) "Decision Support in the Smart Home"

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

ANSOLDI S (2011) "Emission models and EBL as a tool to measure the redshift of BL Lac objects"

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

ANSOLDI S (2011) "Environment and properties of emitting electrons in blazar jets: Mrk 421 as a laboratory"

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

DOVIER A (2011) "Exploring Protein Fragment Assembly Using CLP"

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

MONTANARI A (2011) "Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classification"

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

MICULAN M (2011) "Formal analysis of Facebook Connect Single Sign-On authentication protocol"

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

DATTOLO A, PITASSI EMANUELA (2011) "Information Retrieval and Folksonomies together for Recommender Systems"

Scopus: 2-s2.0-80052908188 Web of Science: WOS:000302190000015 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01
21. Contributo in Atti di convegno

FEDERICO CAMPEOTTO, DOVIER A (2011) "Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints"

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

MONTANARI A (2011) "Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders"

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

DELLA MEA V (2011) "Recent advances in standards for Collaborative Digital Anatomic Pathology"

Scopus: 2-s2.0-79953131969 Web of Science: WOS:000290234600017 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV UDINE
24. Contributo in Atti di convegno

Piciarelli C., Tasso C. (2011) "Smart Demo session: Smart Resource-Aware Multi-Sensor Network"

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

TASSO C, PICIARELLI C, MICHELONI C (2011) "Smart Resource-aware Multimedia Sensor Network for Automatic Detection of Complex Events"

Scopus: 2-s2.0-80053963307 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05, INF/01 Provenienza del dato: UGOV UDINE
26. Contributo in Atti di convegno

C. MICHELONI, G.L. FORESTI (2011) "Supervised Learning Based Stereo Matching using Neural Tree"

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

MONTANARI A (2011) "The dark side of Interval Temporal Logics: sharpening the undecidability border"

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

Ranon R (2011) "The director's lens: an intelligent assistant for virtual cinematography"

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

MONTANARI A (2011) "The light side of Interval Temporal Logics: the Bernays-Schoenfinkel's fragment of CDT"

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

Dikranjan D.N. (2011) "Topics in uniform continuity"

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

DELLA MEA V (2011) "Transnational telepathology consultations using a basic digital microscope: experience in the Italy-Slovenjia INTERREG project "patient without borders""

Scopus: 2-s2.0-79953138204 Web of Science: WOS:000290234600025 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV UDINE
32. Contributo in Atti di convegno

MONTANARI A (2011) "What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBbarLbar"

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

Federico Fontana (2011) "“Shoes-Your-Style”: Changing Sound of Footsteps to Create New Walking Experiences"

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

COMINI M (2011) "Automatic Synthesis of Specifications for Curry Programs"

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

Furio Honsell, Marina Lenisa, Ivan Scagnetto (2011) "Logical Predicates as First-Class Citizens in LF"

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


Sezione F - Docenti senza produzione scientifica


Sezione G - Bandi competitivi


Sezione H - Responsabilità e riconoscimenti scientifici