Parte II: Risultati della ricerca


Sezione D - Produzione scientifica

QUADRO D.1

D.1 Produzione scientifica

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 (2013)

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 (2013)

QUADRO H.2

H.2 Fellow di società scientifiche internazionali (2013)

QUADRO H.3

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

QUADRO H.4

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

QUADRO H.5

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

QUADRO H.6

H.6 Responsabilità scientifica di congressi internazionali (2013)
N.CognomeNomeTipo PartecipazioneTitolo CongressoAnno Congresso
1. ANGELERI Lidia Technical program chair/Presid. comitato programma di congresso Oberwolfach Mini-Workshop: Localising and Tilting in Abelian and Triangulated Categories 2013
2. BONACINA Maria Paola Technical program chair/Presid. comitato programma di congresso Twenty-Fourth International Conference on Automated Deduction (CADE) 2013
3. BONACINA Maria Paola Technical program chair/Presid. comitato programma di congresso International Workshop on Synthesis Verification and Analysis of Rich Models (SVARM) 2013
4. CARRA Damiano Technical program chair/Presid. comitato programma di congresso International European Conference on Parallel and Distributed Computing (Euro-Par) - Topic "Peer-to-Peer Computing" 2013
5. CARRA Damiano Technical program chair/Presid. comitato programma di congresso IEEE International Conference on Peer-to-Peer Computing (P2P), Demo and Poster 2013
6. CASTELLANI Umberto Technical program chair/Presid. comitato programma di congresso Eurographics Workshop on 3D Object Retrieval (3DOR) 2013
7. COMBI Carlo Technical program chair/Presid. comitato programma di congresso IEEE International Conference on Healthcare Informatics 2013 - ICHI 2013 2013
8. FIORINI Paolo Technical program chair/Presid. comitato programma di congresso International Conference of Robotics and Automation 2013
9. FUMMI Franco Technical program chair/Presid. comitato programma di congresso IEEE DATE - tutorial 2013
10. GIACOBAZZI Roberto Technical program chair/Presid. comitato programma di congresso POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - General Chair 2013
11. GIACOBAZZI Roberto Technical program chair/Presid. comitato programma di congresso Verification, Model Checking, and Abstract Interpretation (VMCAI2013) 2013
12. MASTROENI Isabella Technical program chair/Presid. comitato programma di congresso 14th International symposium on Verification, Model Checking and Abstract Interpretation 2013
13. VIGANO' Luca Technical program chair/Presid. comitato programma di congresso The Seventh International Conference on Tests and Proofs, TAP 2013, Budapest, Hungary, June 2013. Co-chair of the Program Committee with Margus Veanes. 2013
14. VIGANO' Luca Technical program chair/Presid. comitato programma di congresso 8th Workshop on Security and High Performance Computing Systems (SHPCS 2013), affiliated with the International Conference on High Performance Computing & Simulation (HPCS 2013), Helsinki, Finland, July 1–5, 2013. Co-chair of the Program Committee with Luca Spalazzi. 2013
15. VILLA Tiziano Technical program chair/Presid. comitato programma di congresso GandALF 2013 : 4th International Symposium on Games, Automata, Logics, and Formal Verification 2013
16. VILLA Tiziano Technical program chair/Presid. comitato programma di congresso 26th European Conference on Operational Research (EURO XXVI) Chair of: MD-27: Boolean Methods in Computer Science Stream: Boolean and Pseudo-Boolean Optimization 2013
17. VILLA Tiziano Technical program chair/Presid. comitato programma di congresso DATE 2013 (Design Automation and Test in Europe) Tutorial A: Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead - A Tribute to Robert Brayton 2013