Curriculum vitae di Agostino Dovier

Transcript

Curriculum vitae di Agostino Dovier
Indirizzi:
Ufficio: Dipartimento di Scienze Matematiche, Informatiche, e Fisiche
Università di Udine,
Via delle Scienze 206, 33100 Udine
Tel.: (+39) 0432 558494 — (+39) 320 4366281
Fax: (+39) 0432 558499
E-mail: [email protected]
Web: http://www.dimi.uniud.it/dovier
Residenza: Via G. Galilei 14, 33100 Udine (UD)
Data di nascita: 28 Luglio 1965.
Luogo di nascita: Grado (GO).
Laurea: in Scienze dell’Informazione, presso la Facoltà di Scienze Matematiche Fisiche e Naturali dell’Università
degli Studi di Udine, il 07/03/1991 (laureato in corso con valutazione 110/110 e lode, menzione per il
particolare curriculum e dignità di stampa della tesi).
Dottorato di ricerca: in Informatica, presso l’Università degli studi di Pisa, il 15/10/1996.
Principali posizioni scientifiche ricoperte:
• Borsista CNR presso il Dipartimento di Matematica e
Informatica dell’Università di Udine. (1/02/97–15/04/97)
• Dal 16/04/1997 al 30/10/2001 ricercatore INF/01–informatica (ex K05B) presso la facoltà di Scienze
Matematiche Fisiche e Naturali dell’Università degli Studi di Verona (Confermato dal 16/04/2000).
• Dal 1/11/2001 Professore Associato di Informatica INF/01 presso la facoltà di Scienze MM FF NN
dell’Università degli Studi di Udine (Confermato dal 01/11/2004).
• 2008–2011: membro (eletto, non rieleggibile) dell’Executive Board dell’Association of Logic Programming.
• 2000-2012: membro eletto (rieletto 2 volte) del Consiglio Direttivo dell’associazione italiana GULP
(Gruppo ricercatori e Utenti di Logic Programming), affiliata all’Association of Logic Programming.
• 2012-2015: presidente dell’associazione italiana GULP (Gruppo ricercatori e Utenti di Logic Programming). Rieletto a dicembre 2015.
• 2006–2009, Area Editor (real-world applications of logic and constraint logic programming) delle
ALP (Association of Logic Programming) Newsletter.
• Dal 2010, editor in chief delle ALP (Association of Logic Programming) Newsletter (rivista internazionale on-line, bollettino ufficiale dell’ALP).
• Dal 2012, associate editor della rivista Algorithms for Molecular Biology (AMB), Biomed Central,
per la series on constraints and bioinformatics
• Dal 2016, area editor (Constraints) della rivista Theory and Practice of Logic Programming (TPLP),
Cambridge University Press.
• Program chair del convegno International Conference on Logic Programming ICLP’12 (Budapest),
General chair del convegno ICLP’08 (Udine) e Workshop chair del convegno ICLP’07 (Porto),
Tutorial chair del convegno ECAI’14 (Praga), Track chair (Constraints and Biology) del convegno
CP’16 (Tolosa).
Program chair dei Workshops on Constraint Based Methods for Bioinformatics WCB: Sitges (ES),
Ottobre 2005, Nantes (FR), Settembre 2006, Parigi (FR), Maggio 2008, Edinburgh (UK), Luglio
2010, Perugia (IT), Settembre 2011, Uppsala (SE), Settembre 2013, Cork (IE), Agosto 2015.
• Membro del comitato di programma di (82) convegni scientifici, per lo più internazionali, nelle aree
della programmazione logica, dell’intelligenza artificiale, e della bioinformatica.
1
• Oltre alla ovvia attività di revisione nei convegni suddetti ho svolto e svolgo costantemente una
cospicua attività di revisione (documentabile, se richiesto) per molti altri convegni e per diverse riviste di area linguaggi di programmazione, algoritmi, intelligenza artificiale, programmaizone logica,
logica, e bioinformatica.
• Responsabile Scientifico dell’unità di ricerca di Udine del progetto FIRB 2003 (triennale, a partire
da maggio 2005): Il riconoscimento molecolare nelle interazioni proteina-ligando, proteina-proteina
e proteina superficie: sviluppo di approcci sperimentali e computazionali integrati per lo studio di
sistemi di interesse farmaceutico.
• Coordinatore Nazionale Progetto GNCS 2005 (annuale): Sviluppo di risolutori di vincoli e loro
applicazioni in teoria dei codici e bioinformatica.
• Responsabile Scientifico dell’unità di ricerca di Udine del progetto PRIN 2005 (biennale): Vincoli
per la programmazione con insiemi, l’analisi di sistemi con automi, il ragionamento su intervalli e
la bioinformatica.
• Responsabile Scientifico dell’unità di ricerca di Udine del progetto PRIN 2008 (biennale): Approcci
innovativi e multi-disciplinari per ragionamento con vincoli e preferenze.
• Reponsabile scientifico di tre progetti su fondi regionali in collaborazione con le ditte Qualibit srl e
Tellus (2011, 2012), collaboratore attivo all’interno di altri due progetti analoghi con la ditta Acritas
(2009 e 2013).
• Coordinatore Nazionale Progetto GNCS 2015 (annuale): Constraint-Based Search using GPUs and
applications to protein structure prediction
• 2014–2016 (aprile), coordinatore del Piano lauree Scientifiche in Matematica e Statistica Univ. di
Udine. Progetto rifinanziato dal MIUR in seguito a domanda da me presentata a dicembre 2015.
• Ha partecipato inoltre ad un’altra decina di progetti di ricerca italiani finanziati a partire dal 1992
(CNR, MURST, MIUR, INdAM GNCS, Compulog) più ad alcuni progetti negli Stati Uniti, ultimo
dei quali un progetto sulle smart grids ancora attivo.
• Ho coordinato 6 assegnisti di ricerca banditi su fondi da me gestiti (Bortolussi, Pieri, Scalabrin,
Varini, Zanco, Zanucco).
• Sono coordinatore del CLPLAB, NVIDIA research center, laboratorio del DIMI/DIMA.
• Co-direttore delle scuole internazionali: BCI 2005 e BCI 2006 International School on Biology,
Computation and Information, Dobbiaco (BZ).
• Da Luglio 2004, responsabile per l’Università di Udine di Agentlink III, European Co-ordination
Action for Agent Based Computing.
Attività didattica: Ho tenuto, in qualità di docente a contratto o incaricato, prima, e come carico didattico
o a supplenza, poi, una cinquantina di corsi universitari (dettagli nel resto del documento), oltre a 2 corsi
in scuole di dottorato internazionali, 4 corsi per il dottorato di ricerca, un corso per la scuola superiore
di Udine, 4 corsi per la SSIS, svariati “laboratori” per il piano lauree scientifiche, un corso di formazione
insegnanti, esercitazioni in corsi universitari, e altri cicli di lezioni. Sono stato relatore o corelatore di
94 tesi di laurea del vecchio ordinamento, triennale o specialistica (105 contando quelle in corso), e
ho collaborato attivamente alla formazione di 10 dottori di ricerca e sono supervisore o co-supervisore
ufficiale di 6: Elisa Quintarelli (PA a Milano), Alessandro Dal Palù (PA a Parma), Luca Bortolussi (PA
a Trieste), e i più giovani Raffaele Cipriano, Federico Campeotto, Ferdinando Fioretto tutti con buone
posizioni negli Stati Uniti d’America.
Attività di ricerca: Sono autore o co-autore di 39 lavori su riviste internazionali, e di 3 sulla rivista dell’Associazione Italiana di Intelligenza Artificiale, co-autore di 6 capitoli di libro e di una cinquantina di lavori su
convegni internazionali con revisori e atti ufficiali, editore di un libro di ricerca internazionale (Springer)
guest editor di 3 numeri speciali di riviste, e autore di circa 24 “editorial” (4 all’anno dal 2010) per
una rivista scientifica on-line, più un altro centinaio di pubblicazioni in convegni italiani, workshops
internazionali, e technical report.
I principali temi di ricerca affrontati, seguendo l’ordine temporale, sono, schematicamente, i seguenti:
2
• Problematiche relative all’espressività dei costrutti di tipo insiemistico in linguaggi di programmazione (in particolare dichiarativi).
• Problemi algoritmici per l’implementazione dei linguaggi che inglobano tali costrutti, con particolare
riferimento ai problemi di soddisfazione di vincoli.
• Utilizzo di tecniche sviluppate per risolvere i punti precedenti per affrontare problemi diversi.
• Implementazione efficiente del test di bisimulazione/simulazione di grafi.
• Utilizzo di tecniche di model-checking per interrogazione di basi di dati semi-strutturate.
• Metodogie di programmazione con constraint per risolvere problemi complessi.
• Soluzione del problema del protein folding mediante constraint (logic) programming.
• Sviluppo e implementazione di linguaggi per la codifica di problemi di planning e loro soluzione
mediante Answer Set Programming e Constraint Logic Programming.
• Sviluppo di un SAT solver, di un ASP solver, e di un Constraint solver che sfruttino il parallelismo
offerto dalle schede grafiche (GPU).
Bibliometrica (7 aprile 2016): Google Scholar (tra parentesi i dati dal 2011): Citazioni 2666 (1319),
Indice H 29 (18), i10-index 58 (31). Scopus: 90 lavori, 674 citationi, Indice H 13.
3
4
Attività didattica svolta
1. A.s. 1990/91: Supplenza temporanea di Elettronica industriale presso l’I.T.I. “A. Malignani” di Udine.
2. A.s. 1991/92: Supplenza annuale di Matematica presso l’I.T.I. “A. Malignani” di Udine.
3. A.a. 1992/93: Ciclo di seminari dal titolo Teoria della Computabilità: Macchine di Turing e formalismi
funzionali (con stesura di dispense), Corso di laurea in Scienze dell’Informazione di Cesena, Università di
Bologna.
4. A.a. 1994/95: Ciclo di seminari dal titolo Tecniche per la memorizzazione digitale della musica (con
stesura di dispense), corso di Informatica generale, diploma di laurea in Conservazione dei beni culturali,
Università di Udine.
5. A.a. 1995/96 e 1996/97: Ciclo di seminari relativi a Software applicativo corso di Informatica generale,
diploma di laurea in Conservazione dei beni culturali, Università di Udine.
6. A.a. 1995/96: Professore incaricato del corso di Fondamenti di Informatica, corso di laurea in ingegneria
civile e meccanica, facoltà di Ingegneria, Università di Udine. (1o corso)
7. A.a. 1997/98: Ciclo di lezioni dal titolo La Programmazione Logica, corso di Linguaggi di Programmazione, Corso di laurea in Informatica, Università di Verona.
8. A.a. 1997/98, 1998/99, e 1999/2000: Esercitazioni all’interno del corso di Informatica Generale, corso di
laurea in Biotecnologie Agro-Industriali, Università di Verona.
9. A.a. 1997/98, 1998/99, e 1999/2000: Esercitazioni all’interno del corso di Calcolo delle Probabilità e
Statistica, Corso di laurea in Biotecnologie Agro-Industriali, Università di Verona.
10. A.a. 1998/99 e 1999/2000: Ciclo di lezioni dal titolo Linguaggi formali ed automi all’interno del corso
di Fondamenti dell’Informatica (con stesura di dispense), Corso di laurea in Informatica, Università di
Verona.
11. A.a. 1999/2000 e 2000/2001: Affidamento del Corso Linguaggi di Programmazione: linguaggi e tecniche
speciali di programmazione, 5o anno del Corso di laurea in Informatica, Università di Verona. (3o )
12. A.a. 2000/2001: Affidamento del Corso Fondamenti dell’Informatica: Complessità, 4o anno del Corso di
laurea in Informatica, Università di Verona. (4o )
13. A.a. 2000/2001: Coordinamento (e lezioni all’interno dello stesso) del corso di dottorato dal titolo:
Complementi di Algoritmica per il Dottorato di Ricerca in Informatica di Verona.
14. A.a. 2001/2002: Supplenza del corso di Laboratorio di Programmazione, Corso di Laurea NO in Teconologie Web e Multimediali, Università di Udine. (5o )
15. A.a. 2001/2002: Supplenza del corso di Sistemi di Elaborazione, diploma di laurea in Conservazione dei
beni culturali, Università di Udine. (6o )
16. A.a. 2001/2002: Supplenza dei corsi Reti e Strumenti Informatici multimediali: alfabetizzazione 1 e 2
presso la S.S.I.S. di Udine.
17. A.a. 2002/2003: Supplenza dei corsi Reti e Strumenti Informatici multimediali: alfabetizzazione 2 e
Fondamenti dell’Informatica 1 presso la S.S.I.S. di Udine.
18. A.a. 2003/2004, 2004/2005, 2009/2010: Supplenza di metà corso di Algoritmi e Complessità presso il
corso di laurea SP in Informatica, Università di Udine. (9o )
19. A.a. 2001/02—2006/2007: Titolarità del corso di Informatica 1, Corso di Laurea NO in Matematica,
Università di Udine. (15o )
20. A.a. 2002/2003—2009/2010: Titolarità del corso di Fondamenti dell’Informatica 2 presso il corso di
laurea NO e SP in Informatica, Università di Udine. (23o )
5
21. A.a. 2002/2003—2006/2007: Supplenza del corso di Teoria dell’Informazione presso il corso di laurea
VO e SP in Informatica, e SP in Tecnologie dell’Informazione dell’Università di Udine. (28o )
22. A.a. 2007/2008—2009/2010: Titolarità del corso di Teoria dell’Informazione presso il corso di laurea SP
in Informatica, e SP in Tecnologie dell’Informazione dell’Università di Udine. (31o )
23. A.a. 2003/2004—2007/2008: Supplenza del corso di Linguaggi di Nuova Concezione presso il corso di
laurea SP in Informatica, Università di Udine. (36o )
24. A.a. 2007/2008. Coordinamento e lezioni all’interno di un corso di dottorato interdisciplinare dal titolo:
Programmazione con vincoli e vincoli NMR per le predizione di struttura.
25. A.a. 2010/2011. Titolarità del corso di Teoria dell’Informazione, crittografia e complessità (9CFU) presso
il corso di laurea SP in Informatica, e SP in Tecnologie dell’Informazione dell’Università di Udine. (37o )
26. A.a. 2010/2011, 2012/2013, 2014/2015. Supplenza o titolarità del corso di Constraint Programming &
Planning (6CFU) presso il corso di laurea SP in Informatica. (40o )
27. A.a. 2010/2011–2015/2016. Titolarità del corso di Fondamenti dell’Informatica (9CFU) presso il corso
di laurea triennale in Informatica. (46o )
28. A.a. 2011/2012–2013/2014, 2015/16. Titolarità del corso di Teoria dell’Informazione e crittografia
(6CFU) presso il corso di laurea magistrale in Informatica, e in Comunicazione multimediale e tecnologie
dell’informazione dell’Università di Udine. (50o )
29. A.a. 2011/2012. Corso per il dottorato di ricerca in informatica dal titolo Logic Programming, Knowledge
Representation, and Non Monotonic Reasoning
30. A.a. 2011/2012–2013/2014. Corso per il piano lauree scientifiche dal titolo: Codici Segreti presso il
liceo scientifico Le Filandiere di San Vito al Tagliamento, il liceo Scientifico Magrini di Gemona, l’ISIS
Bachmann di Tarvisio, il Liceo Scientifico-Tecnologico Malignani di Udine (2x) e l’ITC Zanon di Udine
(2x).
31. 2013/2014 e 2014/2015. Corso per il piano lauree scientifiche dal titolo: Intelligenza Artificiale: codifica
e risoluzione di rompicapi (Liceo scientifico Le Filandiere di San Vito al Tagliamento, e ISIS Malignani
di Udine).
32. Settembre 2012. Corso Constraint and Biology presso la scuola internazionale di dottorato dell’Association
for Constraint Programming, tenutasi a Wroclaw (Polonia), 24–28 Settembre 2012.
33. Giugno 2015. Corso Semantics of Logic Programming presso la scuola internazionale di dottorato organizzata dal GULP a Genova in occasione del trentennale dell’associazione.
34. Ottobre 2015/Aprile 2016. La programmazione logica come metodologia per la codifica e la risoluzione
di rompicapi. Progetto PID-SU 2015-2016 (formazione insegnanti).
35. Novembre/Dicembre 2015. Corso Modeling Bioinformatics with Logic Programming per Dottorato di
ricerca in Informatica e Scienze Matematiche e Fisiche di Udine.
36. Febbraio/Aprile 2016. Metodi algebro-geometrici della crittografia (Scuola Superiore di Udine)
6
Tesi di laurea seguite
1. Univ. di Udine, laurea in Scienze dell’informazione. Katya Moret: Costrutti di collezione nei linguaggi
per Database Deduttivi. A.A. 1995–96. (co-relatore Prof. Alberto Policriti)
2. Univ. di Verona, laurea in Informatica. Elisa Quintarelli: WG-Log: semantiche operazionali e proprietà
logiche. A.A. 1997–98. (co-relatore Prof. Letizia Tanca)
3. Univ. di Verona, laurea in Scienze dell’informazione. Massimo Marchesini: Sviluppo di un sistema informativo presso un’azienda di soluzioni informatiche distribuita geograficamente: progetto ed organizzazione della rete. A.A. 1997–98. (co-relatore Prof. Letizia Tanca)
4. Univ. di Verona, laurea in Scienze dell’informazione. Chiara Biasi: Sviluppo di un sistema informativo
presso un’azienda di soluzioni informatiche distribuita geograficamente: applicazioni realizzate. A.A.
1997–98. (co-relatore Prof. Letizia Tanca)
5. Univ. di Udine, laurea in Scienze dell’informazione. Mauro Bailotti: Applicazioni industriali della programmazione logica con vincoli. A.A. 1997–98. (co-relatore Prof. Moreno Falaschi)
6. Univ. di Verona, laurea in Informatica. Marco Stefani: Algoritmi di partizionamento stabile: realizzazione
ed applicazioni. A.A. 1998–99. (co-relatore Prof. Letizia Tanca)
7. Univ. di Verona, laurea in Informatica. Maria Maddalena Piccoli: Unificazione insiemistica e semantica
operazionale della concorrenza. A.A. 1998–99. (co-relatore Prof. Corrado Priami)
8. Univ. di Verona, laurea in Scienze dell’informazione. Monica Dongili: LIMS: una metodologia di progettazione di un sistema informatica convalidato per un’azienda farmaceutica. A.A. 1998–99. (co-relatore
Dr. Alberto Belussi)
9. Univ. di Verona, laurea in Informatica. Nico Lavarini: Estensione della semantica logica per linguaggi
grafici di interrogazione di dati semistrutturati e risoluzione efficiente basata sul model-checking. A.A.
1999–2000. (co-relatore Dr.ssa Elisa Quintarelli)
10. Univ. di Verona, laurea in Informatica. Alessandro Peroni: Il test funzionale per sistemi digitali basato
su programmazione logica con vincoli. A.A. 1999–2000. (co-relatore Prof. F. Fummi)
11. Univ. di Verona, laurea in Informatica. Elisa Veneri: Programmazione con vincoli di sicurezza. A.A.
1999-2000. (co-relatore Prof. R. Giacobazzi)
12. Univ. di Verona, laurea in Informatica. Matteo Burato: Tecniche di Programmazione logica con vincoli
per il problema del Protein Folding. A.A. 2000-2001. (co-relatore Prof. F. Fogolari)
13. Univ. di Udine, laurea in Informatica. Elio Panegai. Algoritmica su Ordered Binary Decision Diagrams.
A.A. 2000-2001. (co-relatore Prof. Alberto Policriti)
14. Univ. di Verona, laurea in Informatica. Alessandro Dal Palù: New Optimal Algorithms for Pointer
Machines. A.A. 2001-2002. (co-relatori Prof. R. Giacobazzi, Prof. D. Ranjan, Prof. E. Pontelli)
15. Univ. di Verona, laurea in Informatica. Sandro Bozzoli: Utilizzo di analisi di frequenza per il Protein
Folding Approssimato nel modello HP. A.A. 2002-2003. (co-relatore Dr. Fausto Spoto)
16. Univ. di Udine, laurea N.O. in Informatica. Stefano Valle: Controllo e gestione di dispositivi domotici:
comunicazione tramite cellulare e comunicatori GSM. A.A. 2002–2003. (co-relatrice Dr. ssa Katya Moret)
17. Univ. di Udine, laurea N.O. in Informatica. Paolo Zuliani. Controllo e gestione di dispositivi domotici:
PDA e Comunicazioni Blue-Tooth con sistemi powerline e bus domotici. A.A. 2002–2003. (co-relatrice
Dr. ssa Katya Moret)
18. Univ. di Udine, laurea in Matematica. Sara Scarazzolo. Studio e realizzazione di un sistema di compressione audio-video. A.A. 2002–2003.
19. Univ. di Udine, laurea N.O. in Informatica. Luca Vassena. Controllo e gestione di dispositivi domotici:
Interruttore multifunzione e PDA. A.A. 2002–2003. (co-relatrice Dr. ssa Katya Moret)
7
20. Univ. di Udine, laurea N.O. in Informatica. Adolfo Bulfoni. Controllo e gestione di dispositivi domotici:
Configurazione e Manutenzione di un sistema con combinatore tramite cellulari Java e sms. A.A. 2002–
2003. (co-relatrice Dr. ssa Katya Moret)
21. Univ. di Udine, laurea N.O. in Informatica. Michele Zennaro. Progettazione e realizzazione di un sistema
bibliotecario accessibile dalla rete. A.A. 2002–2003. (co-relatore Dr. Andrea Bruschina)
22. Univ. di Udine, laurea N.O. in Informatica. Massimo Coluzzi. Studio ed Implementazione con Interfaccia
Grafica dell’algoritmo di Hopcroft. A.A. 2002–2003.
23. Univ. di Udine, laurea N.O. in Informatica. Ruggero Dall’Aglio. Gestione di Consulenze di una Biblioteca
Civica. A.A. 2002–2003. (co-relatore Prof. Simone Martini)
24. Univ. di Udine, laurea in Informatica. Paolo Ferdinando Bongiovanni. An in depth investigation into
metalearning including the proposal of two new dataset properties: S-typeness and cumulativity. A.A.
2002–2003. (co-relatore Prof. Hendrik Blockeel)
25. Univ. di Udine, laurea N.O. in Informatica. Giovanni Bellomo. Studio del linguaggio xpath e relativa
complessità. A.A. 2003–2004.
26. Univ. di Udine, laurea N.O. in Informatica. Marco Strapazzon. Portale Web Texne Veneto. A.A. 2003–
2004.
27. Univ. di Udine, laurea N.O. in Informatica. Matteo Bosco. Studio dei self-avoiding walks su reticolo SQ.
A.A. 2003–2004. (co-relatore dr. Luca Bortolussi)
28. Univ. di Udine, laurea N.O. in Informatica. Marica Rigo. Studio degli algoritmi per la risoluzione di
query XPATH. A.A. 2003–2004.
29. Univ. di Udine, laurea N.O. in Informatica. Giulio D’Arrigo. Determinazione dei Self-avoiding Walks su
vari reticoli: algoritmo del pivot. A.A. 2003–2004.
30. Univ. di Udine, laurea N.O. in Informatica. Fabio Pivetta. Determinazione dei Self-avoiding Walks su
vari reticoli: algoritmo slithering snake. A.A. 2003–2004.
31. Univ. di Udine, laurea N.O. in Informatica. Fabio Pignaton. Simulazione multiagente del processo di
folding di proteine. A.A. 2003–2004. (co-relatore dr. Luca Bortolussi)
32. Univ. di Udine, laurea N.O. in Informatica. Marco Zardini. Simulazione multiagente del processo di
folding di proteine. A.A. 2003–2004. (co-relatore dr. Luca Bortolussi)
33. Univ. di Udine, laurea N.O. in Biotecnologie. Marco Cossettini. Il reticolo FCC per la discretizzazione
delle proteine. A.A. 2004–2005. (co-relatore dr. Alessandro Dal Palù)
34. Univ. di Udine, laurea quinquennale in Informatica. Zeno Pioventini. Predizione della sistemazione delle
catene laterali di proteine con constraint programming. (co-relatore dr. Alessandro Dal Palù)
35. Univ. di Udine, laurea quinquennale in Informatica. Piero Tonolo, Predizione di struttutta di proteina
multi-agente: implementazione con MPI. A.A. 2005–2006 (co-relatore dr. Luca Bortolussi)
36. Univ. di Udine, laurea specialistica in Informatica. Raffaele Cipriano Un tool integrato per il rostering
ospedaliero. A.A. 2005–2006 (co-relatore: Dott. Luca Di Gaspero) Con tale tesi Cipriano ha vinto uno
dei 4 premi di laurea 2007 conferiti da AICA 2007 (Associazione Italiana per l’Informatica ed il Calcolo
Automatico) e da Confindustria Servizi Innovativi e Tecnologici.
37. Univ. di Udine, laurea specialistica in Informatica. Paolo Zuliani. Web Service Comparison Using Semantic Web Techniques. A.A. 2005–2006 (co-relatori Dott. Vincenzo Della Mea, Dott. Joanguo Lu)
38. Univ. di Udine, laurea NO in Informatica. Marco Penzi. Analisi comparativa dei principali tool per la
risoluzione di SAT. A.A. 2005–2006.
8
39. Univ. di Udine, laurea N.O. in Biotecnologie. Damiano Geppini. Il reticolo KNIGHTS per la discretizzazione delle proteine. A.A. 2005–2006. (co-relatore dr. Alessandro Dal Palù)
40. Univ. di Udine, laurea specialistica in Ingegneria Gestionale. Matteo Castelli. Configurazione della
Forward – Reserve Area in un magazzino industriale del settore calzaturiero mediante Constraint Logic
Programming (CLP) A.A. 2005–2006. (co-relatore dr.ssa Antonella Meneghetti)
41. Univ. di Udine, laurea specialistica in Informatica. Matteo Bosco. Approccio Combinato Constraint
Programming Integer Linear Programming A.A. 2005–2006. (co-relatore prof. Giuseppe Lancia)
42. Univ. di Udine, laurea specialistica in Informatica. Alberto Ghedin. Planning: studio e sviluppo di
algoritmi di ricerca e preferenze A.A. 2006–2007. (co-relatori prof. Enrico Pontelli e Tran Cao Son)
43. Univ. di Udine, laurea triennale in Informatica. Iacuzzi Cristian. Studio di profili genici: clustering,
bootstrap e intervalli di confidenza. A.A. 2006–2007. (co-relatore prof.ssa Carla Piazza)
44. Univ. di Udine, laurea specialistica in Tecnologie dell’Informazione. Tarzariol Andrea. Algoritmi per
l’analisi ed il clustering di profili genici. A.A. 2006–2007. (co-relatore prof.ssa Carla Piazza)
45. Univ. di Udine, laurea specialistica in Informatica. Jacopo Mauro. Espressività ed implementazione di
linguaggi dichiarativi per il planning. A.A. 2007–2008.
46. Univ. di Udine, laurea specialistica in Informatica. Andrea Schiavinato. Sviluppo di strumenti per la
gestione e la pianificazione della produzione aziendale. (co-relatori prof. Angelo Montanari e prof.ssa
Carla Piazza) A.A. 2007–2008.
47. Univ. di Udine, laurea specialistica in Informatica. Fabio Pivetta. Studio e propagazione del vincolo
alldifferent su spazi multidimensionali. A.A. 2007–2008.
48. Univ. di Udine, laurea triennale in Informatica. Stefano De Giorgio. Linguaggi per il planning. A.A.
2007–2008.
49. Univ. di Udine, laurea quinquennale V.O. in Informatica. Andrea Calligaris. Tecniche ed algoritmi
per la rappresentazione e la manipolazione della conoscenza in sistemi di configurazione. (co-relatori
prof. Angelo Montanari e prof.ssa Carla Piazza) A.A. 2007–2008.
50. Univ. di Udine, laurea quinquennale V.O. in Informatica. Marco de Salvador. Gestione parametrica
della discretizzazione e relative euristiche di ricerca in COLA. (co-relatore dr. Alessandro dal Palù) A.A.
2007–2008.
51. Univ. di Udine, laurea specialistica in Informatica. Mirko Buoro. Applicazione della programmazione con
vincoli per la predizione di struttura di proteine a partire da mappe di densità. (co-relatore dr. Alessandro
dal Palù) A.A. 2007–2008.
52. Univ. di Udine, laurea specialistica in Informatica. Claudio Zambon. Predizione di struttura di proteine
a partire da mappe di densità elettronica usando tecniche di programmazione con vincoli. (co-relatore
dr. Alessandro dal Palù) A.A. 2007–2008.
53. Univ. di Udine, laurea specialistica in Informatica. Michele De Toni Integrazione e ottimizzazione di
un motore inferenziale nel sistema Morphos. (co-relatore prof. A. Montanari, dr. C. De Rosa) A.A.
2008–2009.
54. Univ. di Udine, laurea triennale in Informatica. Tommaso Dreossi. Prospettive del DNA Computing.
A.A. 2008–2009.
55. Univ. di Udine, laurea triennale in Informatica. Linda Freschi. CLINGO: un ASP solver per SAT solving.
A.A. 2008–2009.
56. Univ. di Udine, laurea triennale in Informatica. Gianni Zongaro. ANTON: Composizione musicale con
Answer Set Programming. A.A. 2008–2009.
9
57. Univ. di Udine, laurea specialistica in Informatica. Giovanni Lombardino. Approccio ibrido alla risoluzione
di un CSP. (co-relatore dr. R. Cipriano) A.A. 2008–2009.
58. Univ. di Udine, laurea V.O. in Scienze dell’Informazione. Paul Tambi Mfonten. Applicazioni della teoria
di Shannon alla biologia molecolare. A.A. 2008–2009.
59. Univ. di Udine, laurea triennale in Informatica. Davide Zanucco. Uno strumento per la visualizzazione
della risoluzione in CLP A.A. 2009–2010.
60. Univ. di Udine, laurea triennale in Informatica. Matteo Dusefante. Analisi della Complessità nei Sistemi
Multi-Agente. A.A. 2009–2010.
61. Univ. di Udine, laurea specialistica in Informatica. Davide Zambon. Sistema di monitoring del Tier 0
per l’esperimento CMS (co-relatrice M. Cobal) A.A. 2009–2010.
62. Univ. di Udine, laurea V.O. in Informatica. Giacomo Marcon. Estensioni e applicazioni del configuratore
morphos. (co-relatori A. Montanari, C. Piazza, C. De Rosa) A.A. 2009–2010.
63. Univ. di Udine, laurea specialistica in Informatica. Federico Campeotto. Predizione della struttura di
una proteina componendo frammenti: limiti computazionali e sviluppo di un predittore. (co-relatore A.
Dal Palù) A.A. 2010–2011.
64. Univ. di Udine, laurea triennale in Informatica. Elena Topan. Apprendimento Clausale nella Risoluzione
di SAT, A.A. 2010-2011.
65. Univ. di Udine, laurea specialistica in Informatica. Michele Sinicco L’euristica Graphlan nella risoluzione
del planning con vincoli. A.A. 2010-2011.
66. Univ. di Udine, laurea specialistica in Informatica. Gabriele Savio Euristiche e Meta-euristiche per un
SAT solver su GPGPU A.A. 2010-2011.
67. Univ. di Udine, laurea specialistica in Informatica. Francesco Peloi Apprendimento Clausale e sua realizzazione su GPGPU A.A. 2010-2011.
68. Univ. di Udine, laurea specialistica in Informatica. Generazione E Riconoscimento Di Codici Visuali Per
L’Automazione Industriale. Federico Zanco (Co-relatori: A. Fusiello, U. Piconi) A.A. 2010-2011.
69. Univ. di Udine, laurea triennale in Informatica. Studio e valutazione comparativa di constraint solvers.
Paolo Morettin. A.A. 2011-2012.
70. Univ. di Udine, laurea magistrale in Informatica. Apprendimento Clausale su singoli Thread della GPU.
Monica Pitt. A.A. 2011-2012.
71. Univ. di Udine, laurea magistrale in Informatica. Nicola Di Pol. CUD@MiniSAT: implementazione
parallela del SAT solver MiniSAT con framework CUDA. A.A. 2012-2013. (co relatore: Alessandro Dal
Palù)
72. Univ. di Udine, laurea triennale in Informatica. Stefano Tognazzi. Approcci alla risoluzione di programmi
dichiarativi. A.A. 2012-2013.
73. Univ. di Udine, laurea triennale in Informatica. Marco Meneghin. Traduzione di specifiche dichiarative
Minizinc nel linguaggio delle schede grafiche. A.A. 2012-2013.
74. Univ. di Udine, laurea triennale in Informatica. Luca Francescon. Decrittazione usando GPU. A.A.
2012-2013.
75. Univ. di Udine, laurea triennale in Informatica. Mihai Horia Popescu. Sistema android di raccolta e
monitoraggio dati in ambito automotive. (co relatore: Sebastiano Suraci). A.A. 2012-2013.
76. Univ. di Udine, laurea triennale in Informatica. Matteo Bernardon. Sviluppo di un’applicazione android
per effettuare una diagnostica del corretto funzionamento del veicolo. filtraggio dei dati ed individuazione
pattern. (co relatore: Sebastiano Suraci). A.A. 2012-2013.
10
77. Univ. di Udine, laurea triennale in Informatica. Davide Dozzi. SOKOBAN: studio del problema e
principali approcci AI. A.A. 2012-2013.
78. Univ. di Udine, laurea magistrale in Informatica. Davide Zanucco. Studio e realizzazione di una libreria
per il routing multilivello. (co relatori: Dean Cozzo e Carla Piazza) A.A. 2012-2013.
79. Univ. di Udine, laurea triennale in Informatica. Filippo Copetti. Programmazione Parallela in JAVA.
(co relatore: Antonio Abramo) A.A. 2013-2014.
80. Univ. di Udine, laurea triennale in Informatica. Riccardo Zucchetto. Algoritmi di compressione per dati
automotive. (co relatori: Enrico Goi, Sebastiano Suraci) A.A. 2013-2014.
81. Univ. di Udine, laurea magistrale in Informatica. Stefano Bortolotti. SEMoLa: Simple and Easy MOdelling LAnguage. Analisi delle tempistiche computazionali e porting di modelli in C++ e CUDA (co
relatore Francesco Danuso) A.A. 2013-2014.
82. Univ. di Udine, laurea magistrale in Informatica. Matteo Dusefante. Un sistema integrato per la predizione di proteine (co relatore Federico Campeotto) A.A. 2013-2014.
83. Univ. di Udine, laurea triennale in Informatica. Nenad Micic. Sviluppo di un’applicazione android per
riconoscere gli eventi di guida. (co relatore Enrico Goi) A.A. 2013-2014.
84. Univ. di Udine, laurea triennale in Informatica. Manuel Dal Mas. Studio del linguaggio Minizinc e di sue
implementazioni (co relatore Federico Campeotto) A.A. 2013-2014.
85. Univ. di Udine, laurea triennale in Informatica. Andrea Passalenti. Sistemi di controllo automotive (co
relatore Enrico Goi) A.A. 2013-2014.
86. Univ. di Udine, laurea triennale in Informatica. Federico Palla. Determinazione sperimentale di parametri
in sistemi automotive (co relatore Enrico Goi) A.A. 2013-2014.
87. Univ. di Udine, laurea triennale in Informatica. Federico Igne. Linguaggi logici per la rappresentazione
della conoscenza e loro applicazione alla codifica di rompicapi. AA 2014/15
88. Univ. di Udine, laurea magistrale in Informatica. Marco Meneghin. Sviluppo di un simulatore per la
modellizzazione e il dimensionamento di sistemi energetici (co relatore Claudio Buble) AA 2014/15
89. Univ. di Udine, laurea magistrale in Informatica. Stefano Tognazzi. Exploring the use of BDDs in
Conformant Planning (co relatore Enrico Pontelli). AA 2014/15
90. Univ. di Udine, laurea triennale in Informatica. Gerarduzzi Federico AI Planning con il linguaggio Picat.
AA 2014/15
91. Univ. di Udine, laurea triennale in Informatica. Marco De Bortoli A PDDL to Picat translator (co relatore
Roman Bartàk). AA 2014/15
92. Univ. di Udine, laurea triennale in Informatica. Luca Foschiani Studio e implementazione di algoritmi
per la progagazione di vincoli in un risolutore (co relatore Federico Campeotto). AA 2014/15
93. Univ. di Udine, laurea triennale in Informatica. Matteo Dunnhofer. Estensioni di Mapinfo per il routing
multilivello (co relatori Carla Piazza, Dean Cozzo). AA 2014/15
94. Univ. di Udine, laurea Magistrale in Informatica. Alberto Marturano. Constraint Programming modeling
and parallel constraints propagation proposal for Partner Units Problem (co relatore Gerhard Friedrich)
AA 2014/15
Tesi in corso:
95. (Magistrale) Stefano De Giorgio
96. (Magistrale) Riccardo Zucchetto
97. (Magistrale) Massimiliano Turchetto
11
98. (Magistrale) Marco Penzi
99. (Triennale) Francesco Contaldo
100. (Triennale) Gabriele Roncaglia.
101. (Triennale) Francesco Andreussi
102. (Triennale) Pietro Totis
103. (Triennale) Claudio Desideri.
104. (Triennale) Nela Graca.
105. (Triennale) Alice Tarzariol.
Coordinamento dottorandi di ricerca
1. Ho collaborato, in qualità di corelatore, al coordinamento delle ricerche necessarie alla stesura della tesi
di dottorato di ricerca in Ingegneria Informatica e Automatica di Elisa Quintarelli (Politecnico di Milano,
2002), ora prof. associata ING-INF/05 presso il Politecnico di Milano.
2. Sono stato supervisore di Alessandro Dal Palù per la tesi di dottorato di ricerca in informatica presso
l’Università degli Studi di Udine, 2006. Alessandro è ora prof. associato INF/01 presso l’Univ. di Parma.
La tesi di dottorato di Dal Palù ha ricevuto il premio Marco Cadoli attribuito dall’associazione GULP
per le migliori tesi di dottorato.
3. Sono stato supervisore di Luca Bortolussi, ricerca in informatica presso l’Università degli Studi di Udine,
2007. Luca è ora prof. associato INF/01 presso l’Univ. di Trieste.
4. Sono stato supervisore (in collaborazione con Luca Di Gaspero) di Raffaele Cipriano per la tesi di dottorato
di ricerca in informatica presso l’Università degli Studi di Udine.
5. Sono stato supervisore di Federico Campeotto, dottorando di ricerca in informatica presso l’Università
degli Studi di Udine.
6. Sono stato supervisore di Ferdinando Fioretto, dottorando di ricerca in informatica presso l’Università
degli Studi di Udine.
7. Ho collaborato al coordinamento delle ricerche necessarie alla stesura della tesi di dottorato di ricerca
in Matemáticas di Purificación Arenas Sánchez (Univ. Complutense de Madrid, 1998), ora professoressa
associata presso la stessa università.
8. Ho collaborato al coordinamento delle ricerche necessarie alla stesura della tesi di dottorato di ricerca in
Informatica di Andrea Formisano (Univ. di Roma “La sapienza”, 2000), ora professore associato INF/01
all’Università di Perugia.
Informatica di Carla Piazza (Univ. di Udine, 2002), ora professoressa associata INF/01 all’Università di
Udine.
Informatica di Elisabetta De Maria (Univ. di Udine, 2009), ora Maı̂tre de Conférence presso l’Univ. de
Nice Sophia-Antipolis.
12
Attività ad invito presso altri dottorati di ricerca in Italia e all’estero
1. Revisore tesi Alex Stivala, relatori Peter J. Stuckey e Tony Wirth, Univ. of Melbourne, 2010.
2. Membro della commissione per l’attribuzione del premio per tesi di dottorato “Marco Cadoli” dell’associazione Italiana per l’Intelligenza Artificiale, 2010 (vincitore: Michele Lombardi).
3. Bologna, Dottorato in Informatica, Membro della commissione finale, 2011.
4. Revisore tesi e membro esterno invitato del collegio esaminatore di Pieter Wuille, relatore Tom Schrijvers,
K.U. Leuven, 2011.
5. Revisore tesi GAIRE, Raj Kumar, relatori Peter J. Stuckey, J. Bailey, I. Haviv, Univ. of Melbourne,
2012.
6. Revisore tesi e membro esterno invitato del collegio esaminatore di Miguel Arejas, relatore Ricardo Rocha,
Univ. di Porto, 2015.
7. Reviewing Committee e mentor del Doctoral Consortium on Logic and Constraint Logic Programming
all’ICLP 2005 e 2006.
8. Revisore di una tesi per l’attribuzione del premio per tesi di dottorato “Gaetano Lanzarone” dell’associazione
italiana di programmazione logica, 2012.
9. Titolare del corso di dottorato Constraints and Biology presso la scuola internazionale di dottorato ACP
(Association for Constraint Programming) a Wroclaw (Polonia), settembre 2012.
Dispense didattiche
1. 1993: Teoria della Computabilità: Macchine di Turing e formalismi funzionali. Corso di laurea in Scienze
dell’Informazione di Cesena, Università di Bologna.
2. 1995: Tecniche per la memorizzazione digitale della musica. Diploma di laurea in Conservazione dei beni
culturali, Università di Udine.
3. 1999–2016: (con R. Giacobazzi) Dispense per il corso di Fondamenti dell’Informatica. Disponibili on line
dalla mia pagina web.
4. 2000–2008: (con A. Formisano) Programmazione dichiarativa in Prolog, CLP, CCP e ASP. Dispense per
il corso di Linguaggi e Tecniche Speciali di Programmazione. Disponibili on line dalla mia pagina web.
5. 2003–2005: Dispense di programmazione con il linguaggio C per il corso di Informatica 1 del Corso di
laurea in Matematica. Disponibili on line dalla mia pagina web.
Seminari Invitati
Ho tenuto, in qualità di relatore invitato, i seguenti seminari:
1. Operational and Abstract Semantics of a Graphical Query Language Dept. of Computer Science, New
Mexico State University, 12 Ottobre 1998.
2. Set Unification, Univ. di Bologna, Dipartimento di Elettronica, Informatica e Sistemistica, 5 Novembre
1999.
3. Model-Checking Based Data Retrieval, Istituto per la Ricerca Scientifica e Tecnologica (IRST) Trento, 1
marzo 2001.
4. A fast bisimulation algorithm, Univ. di Padova, Dip. di Matematica Pura e Applicata, 30 marzo 2001.
5. Using Secondary Structure Information for Protein Folding in CLP (FD) Dept. of Computer Science,
New Mexico State University, 13 Dicembre 2002.
13
6. Tutorial invitato: Il problema del Protein Folding e i relativi approcci basati su programmazione con
vincoli al convegno CILC’04, Convegno Italiano di Logica Computazionale, Parma, 16 giugno 2004.
7. Constraint Programming approaches to the Protein Folding Problem. Dept. of Computer Science, New
Mexico State University, 4 Dicembre 2004.
8. Constraint Programming approaches to the Protein Folding Problem. Dipartimenti di Informatica, Univ.
di Venezia, 2 Febbraio 2005.
9. Relazione invitata: Constraint Programming approaches to the Protein Folding Problem al convegno
Second P2P Symposium: Predicting the structure and function of proteins, University of Padova, 11
Novembre 2005.
10. Protein folding with constraint based techniques Seminar at New Mexico State University, 10 Luglio 2009.
11. Relazione invitata: Protein folding with constraint based techniques al convegno BELCP 2010 - 1st Belgian
Constraint Progamming Symposium, Leuven, Belgio, 25 Febbraio 2010.
12. Relazione invitata: A 25 Year Perspective on Logic Programming al convegno CILC2010: 25-esimo
Convegno Italiano di Logica Computazionale. Rende, 7 luglio 2010.
13. Relazione invitata: CLP-based protein fragment assembly presso la scuola internazionale di dottorato
BCI. Dobbiaco, settembre 2010.
14. Relazione invitata: A 25 Year Perspective on Logic Programming nella serie: I mercoledı̀ del dipartimento,
presso il DIMI, Univ. di Udine, mercoledı̀ 24/11/2010.
15. Relazione invitata: Introduzione al Constraint (Logic) Programming presso l’Univ. di Genova, DISI,
2/12/2010.
16. Relazione invitata: CLP-based protein fragment assembly presso l’Univ. di Genova, DISI, 2/12/2010.
17. Relazione invitata presso il Doctoral Consortium organizzato in collaborazione con l’ICLP 2011 (Lexington, Kentucky).
18. Relazione invitata dal titolo: Attacco a Enigma: dal codice di Giulio Cesare alla moderna Crittografia.
Conferenza in sala Ajace a Udine del 3/14/15 in occasione del giorno del pi-greco.
19. Tutorial invitato dal titolo: Constraints and Bioinformatics: Results and Challenges presso il convegno
internazionale CP 2015 (Cork, Irlanda, 4 settembre 2015).
Ho sostenuto svariati interventi nelle sedi in cui ho afferito come dottorando, borsista, ricercatore, e prof.
associato, ovvero
• Univ. di Pisa, Dip. di Informatica,
• Univ. di Udine, Dip. di Matematica e Informatica,
• Univ. di Verona, Dip. di Informatica.
Presenza in Comitati di Programma
Elenco in modo schematico (usando le sigle) i convegni dei cui comitati di programma ho fatto/faccio parte:
Convegni internazionali area logic/constraint programming:
1. ICLP 2003 Mumbay (India),
2. ICLP 2006 Seattle (USA),
3. ICLP 2007, Porto (Workshop Chair),
4. ICLP 2008 Udine (General chair),
14
5. LPRNM 2009 Postdam (Germany),
6. PPDP 2009 Coimbra (Portugal),
7. FLOPS 2010 Sendai (Japan),
8. ICLP 2010 Edinburgh (Scotland),
9. PADL 2011 (Austin, Texas),
10. LPNMR 2011 (Vancouver, BC, Canada),
11. ICLP 2011 Lexington (Kentucky - USA),
12. PADL 2012 (Philadelphia),
13. ICLP 2012 (Budapest: program chair),
14. CP 2012 (Quebec City, Canada),
15. LPNMR 2013 (La Coruna, Spain),
16. PPDP 2013 (Madrid, Spain),
17. ICLP 2013 (Istanbul, Turkey),
18. PADL 2015 (Portland, Oregon, USA),
19. LPNMR 2015 (Lexington, Kentucky),
20. ICLP 2015 (Cork, Ireland)
21. PADL 2016 (St Petersburger, Florida)
22. PPDP 2016 (Edinburgh, Scotland)
23. ICLP 2016 (New York, USA)
24. CP 2016 (Toulose, France, Senior PC member)
Convegni internazionali area Intelligenza Artificiale:
25. ECAI 2010 Lisbon,
26. IJCAI 2011 Barcelona,
27. SOFSEM 2012 Spindleruv Mlyn, Czech Republic,
28. AAAI 2012 Toronto, Canada,
29. WEB Reasoning and Rule Systems (RR) 2013, Mannheim (GE).
30. IJCAI 2013 Beijing, China,
31. ECAI 2014, Prague, Czech Republic (Tutorial Chair),
32. RR 2014 Athens (Greece),
33. PAIS 2014 (Praque, Czech Republic),
34. AAAI-15 Austin, Texas,
35. RR 2015 Berlin (Germany)
36. ICAART 2015 Lisbon (PT)
37. IJCAI 2015 Buenos Aires (Argentina)
15
38. ICAART 2016 Roma
39. ISAIM2016 (Fort lauderdale, Florida)
40. IJCAI 2016 (New York, USA),
41. ECAI 2016 (The Hague, Holland)
42. PAIS 2016 (The Hague, Holland),
Workshops internazionali:
43. BeyondFD’05 Sitges (SP),
44. WCB05 (co-chair) Sitges (SP),
45. WCB06 (co-chair) Nantes (FR),
46. WFLP06 Madrid (SP),
47. WCB07 Porto (PT),
48. WCB08 (co-chair) Paris (FR),
49. MASBIO08 Cagliari (IT),
50. WCB09 Lisbon (PT),
51. WCB10 Edinburgh (chair),
52. ASP competition 2011 (LPNMR Vancouver),
53. LPMAS 2011 Lexington (Kentucky - USA),
54. WCB11 Perugia (chair),
55. WCB12 Budapest,
56. ASP competition 2013 (LPNMR La Coruna),
57. WCB13 Uppsala (Sweden) chair,
58. COPLAS 2014 (Portsmouth, USA),
59. WCB14 Lyon (France),
60. COPLAS 2015 Jerusalem, Israel,
61. WCB15 Cork (Ireland),
62. COPLAS 2016 (London, UK)
63. KnowProS 2016 (New York, USA)
64. WCB16 (Toulose, FR)
Convegni dell’Associazione Italiana di Programmazione Logica GULP:
65. AGP’99 L’Aquila,
66. AGP’00 La Habana (Cuba) (co-editor of the official Proceedings)
67. CILC’04 Parma,
68. CILC’05 Roma,
69. CILC’06 Bari,
16
70. CILC’14 Torino,
71. CILC’16 Milano.
Convegni/workshops dell’Associazione Italiana di Intelligenza Artificiale AI*IA:
72. Agenti e Vincoli 2004 Perugia,
73. AI*IA:RCRA 2005 Ferrara,
74. AI*IA:RCRA 2006 Udine,
75. AI*IA:RCRA 2007 Roma,
76. AI*IA: BIO-LOGICAL 2009 Reggio Emilia (IT),
77. AI*IA:RCRA 2009 Reggio Emilia,
78. AI*IA:RCRA 2011 Barcelona (Spain),
79. AI*IA:RCRA 2013 Roma,
80. Popularize Artificial Intelligence 2013 Torino,
81. AI*IA 2015, Ferrara
82. AI*IA:RCRA 2015, Ferrara.
Presenza in Comitati Organizzativi
1. Ho fatto parte del comitato organizzativo del 1st International Workshop of the HCM project CONSOLE
“CONstraint SOLving in Europe” on Constraint solving in declarative languages, tenutosi a Venezia nei
giorni 18–19 dicembre 1995.
2. Ho fatto parte del comitato organizzativo del convegno APPIA-GULP–PRODE ’97, Joint Conference on
Declarative Programming tenutosi a Grado (GO) nei giorni 16–19 giugno 1997.
3. Ho fatto parte del comitato organizzativo del convegno CIM’98, Colloquium on Musical Informatics,
tenutosi a Gorizia (GO) nei giorni 23–26 giugno 1998.
4. Ho fatto parte del comitato organizzativo del convegno WFLP’02, Workshop on Functional and (constraint) Logic Programming. tenutosi a Grado (GO) nei giorni 20–22 Giugno 2002.
5. Sono stato workshop chair (e dunque anche responsabile dell’organizzazione dei workshop) del convegno
internazionale ICLP 2007 (Porto).
6. Sono stato general chair (e dunque anche responsabile dell’organizzazione) del convegno internazionale
ICLP 2008 (Udine).
7. Come program chair mi sono occupato anche degli aspetti organizzativi del convegno ICLP12 (Budapest)
8. Membro del comitato organizzativo del convegno BITS 2013 (Convegno Italiano di Bioinformatica),
Udine, maggio 2013.
9. Sono stato tutorial chair (e dunque anche responsabile dell’organizzazione dei tutorials) del convegno
internazionale ECAI 2014 (Praga).
17
Collaborazioni scientifiche
• Collaborazione con il Dept. of Computer Science, New Mexico State University (Prof. Enrico Pontelli).
I lavori in cooperazione superano il centinaio. Diversi i progetti congiunti.
• Collaborazione con l’Universidad Complutense di Madrid. (Prof. Puri Arenas-Sanchez). Principale
lavoro in cooperazione: [2].
• Collaborazione con il Jena Center of Bioinformatics, Institute of Computer Science, Friedrich-SchillerUniversity Jena, e poi con l’università di Frieburg (Proff. Rolf Backofen e Sebastian Will). Cooperazione
nell’organizzazione dei workshops WCB [45, 48, 53, 54, 55].
• Collaborazione con l’INRIA Rocquencourt (Prof. Francois Fages). Cooperazione nell’organizzazione dei
workshops WCB e Cooperazione nell’organizzazione dei workshops WCB [48, 55].
• Collaborazione con il CUNY (The City University of New York) sulla codifica dichiarativa di problemi
di Planning (Prof. Neng-fa Zhou).
• Collaborazione con la Charles University di Praga su tematiche analoghe (prof. Romàn Bartak)
• Collaborazione con il Dipartimento di Matematica, Univ. di Parma (Prof. Gianfranco Rossi e Alessandro
Dal Palù). Svariati sono i lavori in cooperazione.
• Collaborazione con il Dipartimento di Matematica pura e applicata, Univ. dell’Aquila e con il Dipartimento di Informatica e Sistemistica, Univ. di Roma “La Sapienza”, e l’Università di Trieste (Prof.
Eugenio Omodeo). Principali lavori in cooperazione: [1, 4, 17].
• Collaborazione con il Dipartimento di Matematica e Informatica, Univ. di Perugia (Prof. Andrea Formisano).
Principali lavori in cooperazione: [69, 17, 24].
• Collaborazione con l’Università di Padova (Prof. Francesca Rossi). Diversi progetti PRIN (due accettati)
preparati assieme.
• Collaborazione con il Dipartimento di Informatica dell’Univ. di Verona (Prof. R. Giacobazzi, D. Rocchesso, A. Belussi). Principali lavori in cooperazione: [81, 15].
• Collaborazione con il Dipartimento di Matematica, Univ. di Bologna (dr. Davide Aliffi). Principale lavoro
in cooperazione: [5].
• Collaborazione con il Dipartimento di Matematica pura e applicata, Univ. di Venezia (Prof. Agostino
Cortesi). Principale lavoro in cooperazione: [10].
• Collaborazione con il Dipartimento di Elettronica e Informazione, Politecnico di Milano (Prof. Letizia
Tanca). Principale lavoro in cooperazione: [10].
18
Partecipazione a commissioni di concorso/valutazione
Ho partecipato in qualità di membro alle seguenti commissioni di concorso:
1998 posto di Funzionario di Elaborazione Dati presso l’istituto policattedra, Univ. di Verona.
2003 commissione finale per il XIV ciclo di dottorato di ricerca in Informatica dell’Univ. di Udine.
2003 ammissione per il XIX ciclo di dottorato di ricerca in Informatica dell’Univ. di Udine.
2006 valutazione comparativa per un posto di ricercatore INF01, Univ. degli Studi di Trieste, Facoltà di
Scienze MFN.
2006 valutazione comparativa ad un posto di Professore Associato INF01, Univ. degli Studi di Padova, Facoltà
di Scienze MFN.
2007 valutazione comparativa per un posto di ricercatore INF01, Univ. degli Studi di Padova, Facoltà di
Scienze MFN.
2008 ammissione per il XXIII ciclo di dottorato di ricerca in Informatica dell’Univ. di Udine.
2013 ammissione per il XXIX ciclo di dottorato di ricerca in Informatica e scienze matematiche e fisiche
dell’Univ. di Udine.
2013 valutazione comparativa per un posto di ricercatore universitario INF/01 a tempo determinato presso
l’Università Iuav di Venezia Dipartimento di Culture del Progetto.
2014 commissione finale per il XXI ciclo di dottorato di ricerca in Informatica dell’Univ. di Udine.
Ho inoltre partecipato come commissario a una quindicina di concorsi per l’attribuzione di assegni di ricerca.
19
Elenco pubblicazioni scientifiche di Agostino Dovier per tipologia
Riviste Internazionali
1. A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi. {log}: A Language for Programming in Logic with
Finite Sets. Journal of Logic Programming, 28(1):1–44, 1996, (Elsevier, North Holland).
2. P. Arenas-Sánchez and A. Dovier. A minimality study for set unification. Journal of Functional and
Logic Programming, 1997(7):1–49, December 1997, (The MIT Press).
3. A. Dovier, A. Policriti, and G. Rossi. A uniform axiomatic view of lists, multisets and the relevant
unification algorithms. Fundamenta Informaticae 36(2/3):201–234, 1998 (IOS Press).
4. A. Dovier, E. Omodeo, and A. Policriti. Solvable set/hyperset contexts: II. A goal-driven unification
algorithm for the blended case. Applicable Algebra in Engineering, Communication and Computing,
9(4):293–332 1999 (Springer-Verlag).
5. D. Aliffi, A. Dovier, and G. Rossi. From Set to Hyperset Unification. Journal of Functional and Logic
Programming, 1999(10):1–48, September 1999 (The MIT Press).
6. A. Dovier, E. Pontelli, and G. Rossi. A Necessary condition for Constructive Negation in Constraint
Logic Programming. Information Processing Letters, Vol. 74(3–4), pp. 147-156, 2000 (Elsevier, North
Holland)
7. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi. Sets and constraint logic programming. ACM Transaction
on Programming Language and Systems (TOPLAS), 22(5):861–931, 2000 (ACM press).
8. A. Dovier, E. Pontelli, and G. Rossi. Constructive negation and constraint logic programming with sets.
New Generation Computing 19(3)209–255, May 2001 (Ohmsha Ltd and Springer-Verlag).
9. A. Dovier, C. Piazza, and G. Rossi. Multiset rewriting by multiset constraint solving. Romanian Journal
of Information Science and Technology, Vol. 4(1–2), 2001 (Editura Academiei Române, Bucharest).
10. A. Cortesi, A. Dovier, E. Quintarelli, and L. Tanca. Operational and abstract semantics of the query
language G-log. Theoretical Computer Science, 275/1-2 pp 521-560, 28 March 2002 (Elsevier).
11. A. Dovier. Book review: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001, Theory
and Practice of Logic Programming, 3(1):125–128, 2003 (Cambridge University Press).
12. A. Dovier and C. Piazza. The Subgraph Bisimulation Problem. IEEE Transaction on Knowledge and
Data Engineering, 15(4):1055–1056, 2003 (IEEE Press).
13. A. Dovier, C. Piazza, and E. Pontelli. Disunification in ACI1 Theories. Constraints, An International
Journal 9(1):35–91, Gennaio 2004 (Springer Netherlands).
14. A. Dovier, C. Piazza and A. Policriti. An efficient algorithm for computing bisimulation equivalence.
Theoretical Computer Science 311(1–3):221–256, Gennaio 2004 (Elsevier).
15. F. Avanzini, D. Rocchesso, A. Belussi, A. Dal Palù, and A. Dovier. Designing an Urban-Scale Auditory
Alert System. IEEE Computers 37(9):55–61, September 2004 (IEEE Press).
16. A. Dal Palù, A. Dovier, and F. Fogolari. Constraint logic programming approach to protein structure
prediction. BMC Bioinformatics, 5(186):1–12, November 2004, (Bio Med Central publisher).
17. A. Dovier, A. Formisano, and E. Omodeo. Decidability Results for Sets with Atoms. ACM Transaction
on Computational Logics (TOCL), 7(2):269–301, April 2006 (ACM Press).
18. A. Dovier, E. Pontelli, and G. Rossi. Set Unification.
6(6):645-701, 2006 (Cambridge University Press).
20
Theory and Practice of Logic Programming,
19. A. Dal Palù, A. Dovier, and E. Pontelli. A constraint solver for discrete lattices, its parallelization, and
application to protein structure prediction. Software-Practice and Experience, 37(13):1405–1449, 2007
(Wiley).
20. F. Fogolari, L. Pieri, A. Dovier, L. Bortolussi, G. Giugliarelli, A. Corazza, G. Esposito, P. Viglino.
Scoring predictive models using a reduced representation of proteins: model and energy definition. BMC
Structural Biology 7(15):1–17, March 23th, 2007 (Bio Med Central publisher).
21. Luca Bortolussi, Agostino Dovier, and Federico Fogolari. Agent-based Protein Structure Prediction.
Multiagent and Grid Systems 2(2):183–197, 2007 (IOS Press).
22. Agostino Dovier, Carla Piazza, and Gianfranco Rossi. A uniform approach to constraint-solving for lists,
multisets, compact lists, and sets. ACM Transaction on Computational Logics (TOCL), Volume 9,
Number 3, Giugno 2008 (ACM press).
23. Agostino Dovier and Elisa Quintarelli. Applying Model-Checking to solve Queries on Semistructured
Data Computer Languages, Systems & Structures 25:143–172, 2009 (Elsevier).
24. A. Dovier, A. Formisano, and E. Pontelli. An Empirical Study of Constraint Logic Programming and
Answer Set Programming Solutions of Combinatorial Problems Journal of Experimental & Theoretical
Artificial Intelligence 21(2):79–121, June 2009 (Taylor & Francis).
25. A. Dal Palù, A. Dovier, and E. Pontelli. Computing Approximate Solutions of the Protein Structure
Determination Problem using Global Constraints on Discrete Crystal Lattices. International Journal of
Data Mining and Bioinformatics. 4(1):1-20, January 2010 (Inderscience).
26. A. Dovier, A. Formisano, and E. Pontelli. Multi-valued Action Languages with Constraints in CLP(FD).
Theory and Practice of Logic Programming 10(2):167–235, March 2010 (Cambridge).
27. A. Dal Palù, A. Dovier, F. Fogolari, and E. Pontelli. CLP-based protein fragment assembly. Theory and
Practice of Logic Programming 10(4-6): pp 709-724, July 2010 (special issue dedicated to ICLP 2010).
28. A. Dovier, A. Formisano, and E. Pontelli. An investigation of Multi-Agent Planning in CLP. Fundamenta
Informaticae 105(1–2):79–103.
29. D. Campagna, C. De Rosa, A. Dovier, A. Montanari, and C. Piazza. Morphos Configuration Engine:
the core of a commercial configuration system in CLP(FD). Fundamenta Informaticae 105(1–2):105–133,
2010.
30. A. Dovier, A. Formisano, and E. Pontelli. Autonomous Agents Coordination: Action Languages meet
CLP(FD) and Linda. To appear in Theory and Practice of Logic Programming. Also available as CORR.
31. A. Dovier. Recent constraint/logic programming based advances in the solution of the protein folding
problem. Intelligenza Artificiale 5(1):113-117. DOI 10.3233/IA-2011-0013 IOS Press, February 21, 2011.
32. A. Dovier and V. S. Costa. Introduction to the 28th International Conference on Logic Programming
Special Issue, Theory and Practice of Logic Programming 12(4-5):421-426, 2012.
33. Neng-Fa Zhou and A. Dovier. A Tabled Prolog Program for Solving Sokoban. Fundamenta Informaticae
124:1-15, 2013.
34. A. Dovier, A. Formisano, and E. Pontelli. Autonomous Agents Coordination: Action Languages meet
CLP(FD) and Linda. Theory and Practice of Logic Programming 13(2):149-173, 2013.
35. Davide Ancona, Agostino Dovier: A Theoretical Perspective of Coinductive Logic Programming. Fundam. Inform. 140(3-4): 221-246 (2015)
36. Alessandro Dal Pal, Agostino Dovier, Andrea Formisano, Enrico Pontelli: CUD@SAT: SAT solving on
GPUs. J. Exp. Theor. Artif. Intell. 27(3): 293-316 (2015)
37. Federico Campeotto, Agostino Dovier, Enrico Pontelli: A declarative concurrent system for protein structure prediction on GPU. J. Exp. Theor. Artif. Intell. 27(5): 503-541 (2015)
21
38. Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli: Constrained Community-Based Gene Regulatory
Network Inference. ACM Trans. Model. Comput. Simul. 25(2): 11 (2015)
39. Neng-Fa Zhou, Roman Barták, Agostino Dovier: Planning as tabled logic programming. TPLP 15(4-5):
543-558 (2015)
Libri
40. A. Dovier and E. Pontelli (eds.) A 25 Year Perspective on Logic Programming Achievements of the
Italian Association for Logic Programming, GULP. Springer-Verlag LNCS Vol. 6125 of LNCS, 2010.
Riviste a diffusione prevalentemente nazionale
41. A. Dovier. Constraint Approach to the Protein Folding Problem. AI*IA News, Volume 2, pp. 17–22,
Giugno 2003.
42. L. Bortolussi, A. Dal Palù, A. Dovier, and F. Fogolari. Simulazione del processo di ripiegamento di
una proteina utilizzando un sistema ad agenti. Intelligenza Artificiale, Anno II, Numero 1, pp. 54–61,
Gennaio 2005.
43. Agostino Dovier. Recent Constraint/Logic Programming based advances on the solution of the Protein
Folding Problem. Intelligenza Artificiale, vol. 5, no. 1, pp. 113-117, 2011. Special Issue in Honor of
Alberto Martelli, IOS press, The Netherlands.
Editore di numeri speciali
44. Co-Editor (con Maria Chiara Meo e Andrea Omicini) del numero speciale: Declarative Programming
– Selected Papers from AGP’00, Electronic Notes in Theoretical Computer Science, Volume 48, 2001,
Elsevier Science B. V.
45. Guest editor (assieme ad Alessandro Dal Palù e Sebastian Will) del numero speciale della rivista Constraints intitolata: Special Issue on Bioinformatics and Constraints, Volume 13(1), February 13, 2008
(Springer Netherlands).
46. Guest editor (assieme a Vı́tor Santos Costa) del numero speciale di Theory and Practice of Logic Programming su 28th international conference on logic programming special issue. TPLP 12(4-5), 2012.
Capitoli di Monografie Internazionali
47. A. Dovier, C. Piazza, and G. Rossi. Multiset Constraints and P Systems. In Cristian Calude, Gheorghe
Paun, Grzegorz Rozenberg, Arto Salomaa (Eds.): Multiset Processing, Mathematical, Computer Science,
and Molecular Computing Points of View. Lecture Notes in Computer Science vol. 2235, pp. 103–122,
Springer-Verlag 2001.
48. A. Dal Palù, F. Fages, A. Dovier, and S. Will. Constraint based methods for bioinformatics. PART XI
of Trends in Constraint Programming, Hermes Science, May 2007.
49. A. Dovier, A. Formisano, E. Pontelli. Perspectives on Logic-based Approaches for Reasoning About
Actions and Change. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning,
Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday M. Balduccini and T.C. Son,
eds., LNCS 6565, pp. 259-279, 2011.
50. R. Cipriano, L. Di Gaspero, A. Dovier. GELATO: a multi-paradigm tool for Large Neighborhood Search.
In Hybrid Metaheuristics (Talbi El-Ghazali ed) Studies in Computational Intelligence Series, Volume 434,
pp. 389–414, Springer Verlag, 2013.
22
51. A. Dal Palù, A. Dovier, F. Fogolari, and E. Pontelli. Protein Structure Analysis with Constraint Programming. Chapter 3 of Computational Approaches to Nuclear Receptors , pp. 40-59. 978-1-84973-364-9
The Royal Society of Chemistry, 2012.
52. Alessandro Dal Palù, Agostino Dovier, and Enrico Pontelli. Constraint-based computational methods for
investigation of protein flexibility. Chapter 9 of From Medicinal Chemistry to Food Science: A Transfer
of In Silico Methods Applications ISBN: 978-1-63483-587-9. 2015 Nova Science Publishers, Inc. 2015
Curatore di Atti di Convegno
53. R. Backofen and A. Dovier. Proceedings of WCB05 – Workshop on Constraint Based Methods for
Bioinformatics. Sitges (SP) 5/10/2005. http://clp.dimi.uniud.it/wcb/
54. A. Dal Palù, A. Dovier, and S. Will. Proceedings of WCB06 – Workshop on Constraint Based Methods
for Bioinformatics. Nantes (FR) 25/09/2006. http://clp.dimi.uniud.it/wcb/
55. R. Backofen, A. Dovier, and F. Fages. Proceedings on-line of WCB08 – Workshop on Constraint Based
Methods for Bioinformatics. Parigi (FR), 22/05/2008. http://clp.dimi.uniud.it/wcb/
56. A. Dal Palù, A. Dovier, and S. Will. Proceedings of WCB10 – Workshop on Constraint Based Methods
for Bioinformatics. Edinburgh (Scotland) 21/07/2010. http://clp.dimi.uniud.it/wcb/
57. A. Dal Palù, A. Dovier, and A. Formisano. Proceedings of WCB11 – Workshop on Constraint Based
Methods for Bioinformatics. Perugia, Settembre 2011. http://clp.dimi.uniud.it/wcb/
58. A. Dovier and V. Santos-Costa (editors) Technical Communications of the 28th International Conference
on Logic Programming (ICLP’12). ISBN 978-3-939897-43-9, LIPICS, Schloss Dagstuhl, Vol. 17, 2012.
Methods for Bioinformatics. Uppsala, Settembre 2013. http://clp.dimi.uniud.it/wcb/
Methods for Bioinformatics. Cork, Agosto 2015. http://clp.dimi.uniud.it/wcb/
Contributi in convegni internazionali con atti ufficiali e revisori
61. A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi. {log}: A Logic Programming Language with Finite
Sets. In K. Furukawa, editor, Proc. Eighth Int’l Conf. on Logic Programming, pages 111–124. The MIT
Press, Cambridge, Mass., June 1991. Paris. (56 accettati su 186—30%)
62. A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi. Embedding Finite Sets in a Logic Programming
Language. In E. Lamma and P. Mello, editors, Selected papers from 3rd Int’l Workshop on Extension
of Logic Programming, volume 660 of Lecture Notes in Artificial Intelligence, pages 150–167. SpringerVerlag, Berlin, 1993. Bologna, Italy, February 1992.
63. A. Dovier and E. Pontelli.
A WAM based Implementation of a Logic Language with Sets.
In
M. Bruynooghe and J. Penjam, editors, Proc. Fifth Int’l Symp. on Programming Language Implementation and Logic Programming, volume 714 of Lecture Notes in Computer Science, pages 275–290.
Springer-Verlag, Berlin, August 1993. Tallinn, Estonia. (24 accettati su 72—33%)
64. A. Dovier and G. Rossi. Embedding Extensional Finite Sets in CLP. In D. Miller, editor, Proc. of Int’l
Logic Programming Symposium, ILPS’93, pages 540–556. The MIT Press, Cambridge, Mass., October
1993. Vancouver, BC, Canada. (32 accettati su 153—21%)
65. A. Dovier. A Language with Finite Sets Embedded in the CLP Scheme. In R. Dyckhoff, editor, Selected
papers from 4rd Int’l Workshop on Extension of Logic Programming, volume 798 of Lecture Notes in
Artificial Intelligence, pages 77–93. Springer-Verlag, Berlin, 1994. St Andrews, Scotland, March/April
1993.
23
66. P. Bruscoli, A. Dovier, E. Pontelli, and G. Rossi. Compiling Intensional Sets in CLP. In P. Van Entenryck,
editor, Proc. Eleventh Int’l Conf. on Logic Programming, pages 647–661. The MIT Press, Cambridge,
Mass., June 1994. S. Margherita Ligure, Italy. (43 accettati su 142—30%)
67. P. Arenas-Sánchez and A. Dovier. Minimal Set Unification. In M. Hermenegildo and S. Doaitse Swierstra,
editors, Proc. Seventh Int’l Symp. on Programming Language Implementation and Logic Programming,
volume 982 of Lecture Notes in Computer Science, pages 397–414. Springer-Verlag, Berlin, September
1995. Utrecht, The Netherlands.
68. A. Dovier, A. Policriti, and G. Rossi. Integrating lists, multisets, and sets in a logic programming
framework. In F. Baader and K. U. Schulz, editors, First Int’l Workshop on Frontiers of Combining
Systems, volume 3 of Applied Logic, pages 213–229. Kluwer Academic Publishers, March 1996. Munich,
Germany. (18 accettati su 39—46%)
69. A. Dovier, A. Formisano, and A. Policriti. On T Logic Programming. In J. Maluszynski, editor, Proc. of
1997 Int’l Logic Programming Symposium, pages 323–337. The MIT Press, Cambridge, Mass., October
1997. Port Jefferson, NY, USA.
70. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi. On the Representation and Management of Finite
Sets in CLP-languages. In J. Jaffar, editor, Proc. of 1998 Joint Int’l Conf. and Symposium on Logic
Programming, pages 40–54. The MIT Press, Cambridge, Mass. Manchester, UK, June 1998. (21 accettati
su 90—23%)
71. A. Cortesi, A. Dovier, E. Quintarelli, and L. Tanca. Operational and Abstract Semantics of a Query
Language for Semi-Structured Information. In P. Fraternali, U. Geske, C. Ruiz, and D. Seipel, editors,
Proc. of 6th Int’l Workshop on Deductive Databases and Logic Programming DDLP’98, pages 127–139.
GMD Report 22, June 1998. Manchester, United Kingdom.
72. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi. ACI1 constraints. In D. De Schreye, editors, Proc.
of ICLP’99, 16th International Conference on Logic Programming, pp. 573–587. The MIT Press, Cambridge, Mass., November–December 1999. Las Cruces, New Mexico, USA. (35 accettati su 88–40%)
73. A. Dovier, C. Piazza, and A. Policriti. Comparing expressiveness of set constructor symbols. In
H. Kirchner and C. Ringeissen, editors, Frontier of Combining Systems 2000. Lecture Notes in Computer
Science 1794, pp. 275–289, Springer-Verlag, 2000. Nancy, France, March 2000.
74. A. Dovier, R. Giacobazzi, and E. Quintarelli. Refining and Compressing Abstract Model Checking.
Electronic Notes in Theoretical Computer Science, volume 48, pp. 90–107, 2001.
75. A. Dovier, C. Piazza, and A. Policriti. A Fast Bisimulation Algorithm. In Berry, Comon, and Finkel eds.,
proceedings of 13th Conference on Computer Aided Verification, CAV’01, Lecture Notes in Computer
Science vol. 2102, pp. 79–90. July 18–23, 2001. Paris, France. (33 accettati su 106–31%)
76. M. Bicego, A. Dovier, and V. Murino. Designing the Minimal Structure of Hidden Markov Models by
Bisimulation. In M. Figueiredo, J. Zerubia, and A. K. Jain, eds., Proc. of Energy Minimization Methods
in Computer Vision and Pattern Recognition, Third International Workshop, EMMCVPR 2001, Sophia
Antipolis, France, September 3-5, 2001. Lecture Notes in Computer Science 2134, pp. 75–90. (42 accettati
su 70–60%)
77. A. Dovier and E. Quintarelli. Model Checking Based Data Retrieval. In G. Ghelli, G. Grahne eds., Proc.
of Database Programming Languages,8th International Workshop on Databases and Programming Languages, DBPL 2001, Revised Papers. Lecture Notes in Computer Science 2397, pages. 62–77. Springer
2002. (18 accettati su 36–50%)
78. A. Dovier, R. Gentilini, C. Piazza, and A. Policriti. Rank-Based Symbolic Bisimulation (and Model
Checking). In Ruy de Queiroz, Luiz Carlos Pereira, and Edward Hermann Haeusler eds., WOLLIC’02:
9 th Workshop on Logic, Language, Information and Computation. July 30 to August 2, 2002 Rio de
Janeiro, Brazil. ENTCS vol. 67.
24
79. A. Dovier, M. Burato, and F. Fogolari. Using Secondary STructure Information for Protein Folding in
CLP(FD). In 11th International Workshop on Functional and (constraint) Logic Programming. Grado
(IT), June 20-22, 2002. ENTCS vol. 76.
80. A. Dovier, R. Gentilini, C. Piazza, and A. Policriti. Rank-Based Symbolic Bisimulation (and Model
Checking). In WOLLIC’02, Ruy de Queiroz, Luiz Carlos Pereira, and Edward Hermann Haeusler eds.,
ENTCS vol. 67.
81. F. Avanzini, D. Rocchesso, A. Belussi, A. Dal Palù, and A. Dovier. Acqua alta a Venezia: design of a
urban scale auditory warning system ICAD 2003, Proc. Int. Conf. on Auditory Display, ICAD 2003, pp.
184–187, Boston, 2003.
82. A. Dal Palù, A. Dovier, E. Pontelli and G. Rossi Integrating Finite Domain Constraints and CLP with
Sets. In D. Miller, ed., Proc. of Fifth ACM-SIGPLAN International Conference on Principles and Practice
of Declarative Programming Uppsala, Sweden, pp. 219–229, 27-29 August 2003.
83. A. Dal Palù, A. Dovier, F. Fogolari. Protein Folding in CLP(FD) with Empirical Contact Energies.
In Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on
Constraint and Logic Programming, MTA SZTAKI, Budapest, Hungary 30 June - 2 July, 2003.
In K.R. Apt, F. Fages, F. Rossi, P. Szeredi and J. Vancza, eds, ”Recent Advances in Constraints, 2003”,
LNAI 3010, May 2004.
Also as Poster in ECCB’2003 European Conference on Computational Biology, September 27-30, 2003,
Paris, FRANCE
84. A. Dovier, E. Pontelli, and G. Rossi. Intensional Sets in CLP. In C. Palamidessi ed. Proc. of International
Conference of Logic Programming 2003, Bombay, India. LNCS vol. 2916, pp. 284–299, 2003. (23 accettati
su 81–28%)
85. A. Dal Palù, A. Dovier, F. Fogolari. Protein Folding Simulation in CCP. Poster in Proc. of International
Conference of Logic Programming 2004, LNCS 3132 pp. 452-453, Saint Malo, France.
86. A. Dal Palù, A. Dovier, and E. Pontelli. Heuristics, Optimizations, and Parallelism for Protein Structure
Prediction in CLP(FD) In Proc. of PPDP 2005, ACM Press. Lisbona, July 2005.
87. L. Bortolussi, A. Dovier, and F. Fogolari. Multi-Agent Simulation of Protein Folding. In Proc. of
the First International Workshop on Multi-Agent Systems for Medicine, Computational Biology, and
Bioinformatics. 25 July 2005 — Uthrect, The Netherlands, in conjunction with AAMAS’05.
88. A. Dovier, A. Formisano, and E. Pontelli. A comparison of CLP(FD) and ASP solutions to NP-complete
problems. ICLP 2005. Sitges, Barcelona, October 2005. (25 accettati su 104–24%)
89. A. Dal Palù, A. Dovier, and E. Pontelli. A New Constraint Solver for 3-D Lattices and its Application
to the Protein Folding Problem. LPAR 2005. LNCS Volume 3835, pp. 48–63, Montego Bay, Jamaica,
December 2005. (46 accettati su 108–42%)
90. M. Farenzena, A. Fusiello, and A. Dovier. Reconstruction with Interval Constraints Propagation In Proc.
of IEEE Computer Society Conference on Computer Vision and Pattern Recognition. New York, NY:
June 17-22, 2006.
91. Raffaele Cipriano, Luca Di Gaspero, and Agostino Dovier. Hybrid Approaches for Rostering: a Case
Study in the Integration of Constraint Programming and Local Search. HM 2006 International Workshop
on Hybrid Metaheuristics. Gran Canaria, 13-15 October 2006. LNCS 4030, pp. 110-123, 2006.
92. A. Dovier, A. Formisano, and E. Pontelli. An experimental comparison of constraint logic programming
and answer set programming. In A. Howe and R. Holt, editors, AAAI’07: Proceedings of the 22nd AAAI
Conference on Artificial Intelligence, pages 1622–1625. AAAI Press, 2007.
93. Andrea Formisano, Agostino Dovier, and Enrico Pontelli. Multivalued Action Languages with Constraints
in CLP(FD) In Proc. of ICLP 2007, LNCS 4670, pp 255-270, Porto, September 2007. (22 accettati su
74–30%)
25
94. A. Dovier, A. Dal Palù, and E. Pontelli. Enhancing the Computation of Approximate Solutions of the
Protein Structure Determination In Proceedings of the IEEE international conference on Bioinformatics
and Biomedicine workshops, 2–4 november 2007, Fremont California, IEEE isbn 978-1-4244-1604-2 pp.
38-44.
95. R. Cipriano, A. Dovier, and M. Jacopo. Compiling and Executing Declarative Modeling Languages in
Gecode. (draft) Proc. of ICLP 2008, LNCS 5366, pp. 744-748. Udine, Dec. 9-13, 2008. 2009
96. Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli and Gianfranco Rossi. Answer Set Programming
with Constraints using Lazy Grounding. Proc of ICLP 2009, July 14-17, Pasadena (USA). LNCS 5649,
pp. 115-129.
97. Alessandro Dal Palù, Agostino Dovier, and Enrico Pontelli. Logic Programming Techniques in Protein
Structure Determination: Methodologies and Results. Proc. of LPNMR 2009, 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LNCS 5753, pp. 560-566 Potsdam, Germany,
14-18 September, 2009.
98. Andrea Formisano, Agostino Dovier, Enrico Pontelli. Representing Multi-Agent Planning in CLP Proc.
of LPNMR 2009, 10th International Conference on Logic Programming and Nonmonotonic Reasoning,
LNCS 5753, pp. 423-429, Potsdam, Germany, 14-18 September, 2009.
99. Agostino Dovier and Enrico Pontelli. Present and Future Challenges for ASP Systems (Extended Abstract) Proc. of LPNMR 2009, 10th International Conference on Logic Programming and Nonmonotonic
Reasoning, LNCS 5753, pp. 622-624, Potsdam, Germany, 14-18 September, 2009.
100. Raffaele Cipriano, Luca Di Gaspero, and Agostino Dovier. A Hybrid Solver for Large Neighborhood
Search: Mixing Gecode and EasyLocal++. (draft) In HM 2009 6th International Workshop on Hybrid
Metaheuristics. LNCS 5818, pp. 141-155, Udine, October 16-17, 2009.
101. A. Dal Palù, A. Dovier, F. Fogolari, and E. Pontelli. CLP-based protein fragment assembly. ICLP10,
best paper award, vedi pubblicazioni su riviste.
102. Agostino Dovier, Andrea Formisano, and Enrico Pontelli. BAAC: A Prolog System for Action Description
and Agents Coordination. ICLP 2011, Lexington, Kentucky, July 06-10, 2011. 10.4230/LIPIcs.ICLP.2011.187,
pp. 187–197.
103. Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, and Enrico Pontelli. Exploring Protein Fragment Assembly Using CLP. In IJCAI11, Twenty-second International Joint Conference on Artificial
Intelligence, July 16–22, 2011, pp. 2590–2595, AAAI Press, Barcelona.
104. Neng-Fa Zhou and Agostino Dovier. A Tabled Prolog Program for Solving Sokoban, ICTAI 2011 23rd
IEEE International Conference on Tools with Artificial Intelligence, Nov. 7–9, 2011, Boca Raton, Florida,
USA.
105. Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, and Enrico Pontelli. CUD@SAT: GPU parallelism for SAT Solving. In 19th RCRA International Workshop on ”Experimental Evaluation of Algorithms for solving problems with combinatorial explosion”. Roma, giugno 2012.
106. F. Campeotto, A. Dal Palù, A. Dovier, F. Fioretto, and E. Pontelli. A Filtering Technique for Fragment
Assembly-based Proteins Loop Modeling with Constraints. In M. Milano ed., Proc of 18th International
Conference on Principles and Practice of Constraint Programming, Quebec City, Canada, LNCS 7514,
pp. 850–866, 8–12 October 2012.
107. F. Campeotto, A. Dovier, and E. Pontelli. Protein Structure Prediction on GPU: a Declarative Approach
in a Multi-agent Framework. Proc. of ICPP 2013 (IEEE), Lyon (FR), October 2013 (preliminary version
in RCRA workshop in Rome).
108. Davide Ancona and Agostino Dovier. Co-LP: Back to the Roots Proc of ICLP 2013, TPLP 13 (4-5)
(Cambridge University Press), Istanbul, Turkey, August 2013.
26
109. Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, and Enrico Pontelli. A GPU Implementation
of Large Neighborhood Search for Solving Constraint Optimization Problems. Proc of ECAI 2014 Prague,
August 2014, pp 189–194.
110. Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, and Enrico Pontelli
Exploring the Use of GPUs in Constraint Solving. Proc of PADL 2014, LNCS 8324, pp. 152-167, 2014.
111. Ferdinando Fioretto, Federico Campeotto, Agostino Dovier, Enrico Pontelli, William Yeoh: Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems. AAMAS
2015: 1835-1836
112. Agostino Dovier: Logic Programming and Bisimulation. ICLP 2015 CEUR 1433
113. Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella: Parallel Execution of the ASP Computation - an Investigation on GPUs. ICLP 2015 CEUR 1433
114. Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son: Exploring the Use of BDDs in Conformant Planning. ICTAI 2015: 502-509 IEEE
115. Roman Barták, Agostino Dovier, Neng-Fa Zhou: On modeling planning problems in tabled logic programming. PPDP 2015: 31-42 ACM
116. Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella: A GPU Implementation of the ASP
Computation. PADL 2016: 30-47 LNCS 9585
Contributi in pubblicazioni di didattica
117. Codici Segreti. Capitolo 1 di “Laboratori Per gLi Studenti” ISBN: 9788890619304, a cura di Rossana
Vermiglio. 2015. https://www.dimi.uniud.it/scuole/libro-pls-20102014/
Tesi
118. A. Dovier. La Programmazione Logica con Insiemi. Tesi di Laurea, Università di Udine, 1991.
119. A. Dovier. Computable Set Theory and Logic Programming. PhD thesis, Università degli Studi di Pisa,
March 1996. TD–1/96.
Contributi in convegni con revisori ma atti non ufficiali e/o convegni italiani
120. A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi. {log}: A Language for Programming in Logic with
Finite Sets. In P. Asirelli, editor, Proc. Sixth Italian Conf. on Logic Programming, pages 241–255, June
1991. Pisa, Italy.
121. A. Dovier and G. Rossi. Un Linguaggio logico con insiemi Finiti inserito nello schema CLP. In D. Saccà,
editor, GULP’93, VIII Convegno sulla programmazione Logica, pages 71–85, 1993. Gizzeria Lido, Italy.
122. A. Dovier, E. G. Omodeo, A. Policriti, and G. Rossi. Solving Systems of Equations over Hypersets. In
M. Alpuente, R. Barbuti, and I. Ramos, editors, GULP–PRODE’94 1994 Joint Conf. on Declarative
Programming, pages 403–417, July 1994. Peñiscola, Spain.
123. P. Arenas-Sánchez and A. Dovier. Minimal Set Unification. In M. Alpuente and M. I. Sessa, editors, GULP–PRODE’95 1995 Joint Conf. on Declarative Programming, pages 447–458, September 1995.
Marina di Vietri (SA).
124. A. Dovier and A. Policriti. Set Domains for Structural Properties of Terms. In M. Falaschi, M. Navarro,
and A. Policriti, editors, APPIA-GULP-PRODE’97. Joint Conf. on Declarative Programming, pages
93–104. Grado, Italy, June 1997.
27
125. A. Dovier, A. Formisano, and A. Policriti. On T Logic Programming. In M. Falaschi, M. Navarro,
and A. Policriti, editors, APPIA-GULP-PRODE’97. Joint Conf. on Declarative Programming, pages
457–466. Grado, Italy, June 1997.
126. R. Carmona, A. Dovier, and G. Rossi. Dealing with Infinite Intensional Sets in CLP. In M. Falaschi,
M. Navarro, and A. Policriti, editors, APPIA-GULP-PRODE’97. Joint Conf. on Declarative Programming, pages 467–477. Grado, Italy, June 1997.
127. A. Dovier, C. Piazza, and G. Rossi. Narrowing the gap between Set-Constraints and CLP(SET)Constraints. In J. L. Freire and M. Falaschi, editors, APPIA-GULP-PRODE’98. Joint Conf. on
Declarative Programming, pages 43–55, July 1998. La Coruña, Spain.
128. A. Cortesi, A. Dovier, E. Quintarelli, and L. Tanca. Operational and Abstract Semantics of a Query
Language for Semi-Structured Information. In J. L. Freire and M. Falaschi, editors, APPIA-GULPPRODE’98. Joint Conf. on Declarative Programming, pages 175–187, July 1998. La Coruña, Spain.
129. A. Dovier, C. Piazza, and A. Policriti. Comparing expressiveness of set constructor symbols. In M. C.
Meo and M. Vilares Ferro, editors, APPIA-GULP-PRODE’99. Joint Conf. on Declarative Programming,
pages 151–165, September 1999. L’Aquila, Italy.
130. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi. ACI1 constraints. In M. C. Meo and M. Vilares Ferro,
editors, APPIA-GULP-PRODE’99. Joint Conf. on Declarative Programming, pages 305–319, September
1999. L’Aquila, Italy.
131. A. Dovier, N. Lavarini, and E. Quintarelli. Model Checking Based Query Retrieval. In APPIA-GULPPRODE’00. Joint Conf. on Declarative Programming. La Habana, CUBA, December 2000.
132. A. Dovier, R. Giacobazzi, and E. Quintarelli. Refining and Compressing Abstract Model Checking. In
APPIA-GULP-PRODE’00. Joint Conf. on Declarative Programming. La Habana, CUBA, December
2000.
133. A. Dovier, A. Formisano, and E.G. Omodeo. Decidability Results for Sets with Atoms. In Pereira and
Quaresma eds., APPIA-GULP-PRODE’01. Joint Conf. on Declarative Programming. Evora, Portugal,
September 2001, 245–259.
134. A. Dovier, C. Piazza, and G. Rossi. Multiset Constraints and P Systems. In Pereira and Quaresma eds.,
APPIA-GULP-PRODE’01. Joint Conf. on Declarative Programming. Evora, Portugal, September 2001,
97–112.
135. F. Avanzini, A. Belussi, A. Dal Palù, A. Dovier, and D. Rocchesso. Optimal Placement of Acoustic
Sources in a Built-up Area using CLP (FD) In J. J. Moreno-Navarro and J. M. Carballo eds., APPIAGULP-PRODE 2002, Joint Conference on Declarative Programming, Madrid, Spain, 16–18 September
2002, pp. 139–154.
136. A. Dovier, E. Pontelli, and G. Rossi. Intensional Sets in ICLP. In F. Buccafurri, ed., APPIA-GULPPRODE 2003, Joint Conference on Declarative Programming, Reggio Calabria, 2–5 September 2003, pp.
36–49.
137. S. Bozzoli, F. Spoto, and A. Dovier. Approximate Protein Folding in Oz trough Frequency Analysis. In
F. Buccafurri, ed., APPIA-GULP-PRODE 2003, Joint Conference on Declarative Programming, Reggio
Calabria, 2–5 September 2003, pp. 123–134.
138. A. Dal Palù, S. Will, R. Backofen, and A. Dovier. Constraint Based Protein Structure Prediction Exploiting Secondary Structure Information. In Proc. of CILC’04, Convegno Italiano di Logica Computazionale
16-17 giugno 2004, Parma.
139. L. Bortolussi, A. Dal Palù, and A. Dovier. Constraint-based tools for protein folding. Demo at CILC’04,
Convegno Italiano di Logica Computazionale 16-17 giugno 2004, Parma.
140. L. Bortolussi, A. Dal Palù, A. Dovier, and F. Fogolari.
Perugia, Settembre 2004.
28
Protein Folding Simulation in CCP. AI*IA,
141. A. Dal Palù, A. Dovier, and E. Pontelli. Heuristics, optimization, and parallelism for protein structure
prediction in CLP(FD). CILC 2005: Convegno Italiano di Logica Computazionale. 21–22 giugno 2005,
Roma.
problems. CILC 2005: Convegno Italiano di Logica Computazionale. 21–22 giugno 2005, Roma.
143. F. Fogolari, L. Pieri, L. Bortolussi, and A. Dovier. A statistical empirical energy function for proteins.
Abstract 55 at BITS 2006, Bologna. Convegno della Società di Bioinformatica Italiana.
144. R. Cipriano, L. Di Gaspero, A. Dovier Hybrid Approaches for Rostering: A Case Study in the Integration
of Constraint Programming and Local Search. In RCRA2006 Udine, 23 Giugno 2006.
145. A. Dovier, A. Formisano, and E. Pontelli. Planning with Action Languages: Perspectives using CLP(FD)
and ASP CILC 2006: Convegno Italiano di Logica Computazionale. 26-27 giugno 2006, Bari.
146. Andrea Formisano, Agostino Dovier, and Enrico Pontelli. Multivalued Action Languages with Constraints
in CLP(FD). CILC 2007: Convegno Italiano di Logica Computazionale, Messina, 21-22 Giugno 2007.
147. Agostino Dovier, Raffaele Cipriano, and Jacopo Mauro. Compiling and Executing Declarative Modeling
Languages in Gecode. CILC 2008: Convegno Italiano di Logica Computazionale, Perugia, Luglio 2008.
148. Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, and Gianfranco Rossi. GASP: Answer Set
Programming with Lazy Grounding. CILC 2008: Convegno Italiano di Logica Computazionale, Perugia,
Luglio 2008.
149. Agostino Dovier and Jacopo Mauro. Constraint based implementation of a pddl-like language with static
causal laws and time fluents. In CILC09: 24-esimo Convegno Italiano di Logica Computazionale, Ferrara,
Italy, June 2009.
150. Agostino Dovier, Andrea Formisano, and Enrico Pontelli. Multi-agent planning in CLP. In CILC09:
24-esimo Convegno Italiano di Logica Computazionale, Ferrara, Italy, June 2009.
151. Andrea Calligaris, Dario Campagna, Cristian De Rosa, Agostino Dovier, Angelo Montanari, and Carla
Piazza. A CLP engine for a general purpose configuration tool. In CILC09: 24-esimo Convegno Italiano
di Logica Computazionale, Ferrara, Italy, June 2009.
152. Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, and Enrico Pontelli. CLP-based protein fragment assembly. In CILC10: 25-esimo Convegno Italiano di Logica Computazionale, Rende, Italy, Luglio
2010.
153. Agostino Dovier, Andrea Formisano, and Enrico Pontelli. Autonomous Agents Coordination: Action
Description Languages meet CLP(FD) and Linda In CILC10: 25-esimo Convegno Italiano di Logica
Computazionale, Rende, Italy, Luglio 2010.
154. Neng-Fa Zhou and Agostino Dovier. A Tabled Prolog Program for Solving Sokoban. In CILC11: 26th
Italian Conference on Computational Logic. Pescara, Italy, August 31-September 2, 2011. CEUR 810:
215-228
155. Alessio Stalla, Davide Zanucco, Agostino Dovier, and Viviana Mascardi. PrettyCLP: a Light Java Implementation for Teaching CLP. In CILC11: 26th Italian Conference on Computational Logic. Pescara,
Italy, August 31-September 2, 2011. CEUR 810: 281–295.
156. Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, and Enrico Pontelli. Exploiting Unexploited
Computing Resources for Computational Logics. In CILC12. Roma, 6–7 Giugno 2012. CEUR 857:74–88
157. Davide Ancona and Agostino Dovier. A foundational view of co-LP. In CILC13. Catania, Settembre
2013.
158. Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano and Enrico Pontelli. CUD@ASP:
Experimenting with GPGPUs in ASP solving. In CILC13. Catania, Settembre 2013. CEUR 1068:163–
177.
29
159. Agostino Dovier Set Graphs VI: Logic Programming and Bisimulation. CILC 2014, Torino, Giugno 2014.
CEUR 1195: 14-29
Editorial
160. A. Dovier and E. Pontelli. ALP Newsletter, editorial. March 2010. http://www.cs.nmsu.edu/ALP/
category/issue/editorial/
161. A. Dovier and E. Pontelli. ALP Newsletter, editorial. June 2010. http://www.cs.nmsu.edu/ALP/
162. A. Dovier and E. Pontelli. ALP Newsletter, editorial. September 2010. http://www.cs.nmsu.edu/ALP/
163. A. Dovier and E. Pontelli. ALP Newsletter, editorial. December 2010. http://www.cs.nmsu.edu/ALP/
171. A. Dovier and E. Pontelli. ALP Newsletter, editorial. December 2012.
http://www.cs.nmsu.edu/ALP/category/issue/editorial/
177. A. Dovier and E. Pontelli. ALP Newsletter, editorial. June/July 2014. http://www.cs.nmsu.edu/ALP/
30
180. A. Dovier and E. Pontelli. ALP Newsletter, editorial. March/April 2015. http://www.cs.nmsu.edu/
ALP/category/issue/editorial/
181. A. Dovier and E. Pontelli. ALP Newsletter, editorial. June/July 2015. http://www.cs.nmsu.edu/ALP/
Workshops
184. P. Bruscoli, A. Dovier, E. Pontelli, and G. Rossi. Extensional and Intensional Sets in CLP with Intensional
Negation. In Second compulog-network area meeting on Programming Languages, joint with Workshop
on Logic Languages - Progetto finalizzato Informatica, Pisa, 1993.
185. P. Bruscoli, A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi. Extensional and Intensional Sets in
CLP with Intensional Negation. Unpublished proc. of Workshop on Logic Programming with Sets, in
conjunction with ICLP’93, Budapest, June 1993.
186. D. Aliffi, A. Dovier, E. G. Omodeo, and G. Rossi. Unification of hyperset terms. Unpublished proc. of
Workshop on Logic Programming with Sets, in conjunction with ICLP’93. Budapest, June 1993.
187. A. Dovier and A. Policriti. T-resolution and CLP scheme. In M. Falaschi, editor, 1st Int’l Workshop of the
HCM project CONstraint SOLving in Europe on Constraint solving in declarative languages, December
1995. Venezia, Italy.
188. A. Dovier and G. Rossi. Set constraint management in {log}. In L. Pacholski, editor, Set Constraints
and Constrained Logic Programming, a satelite workshop to CP’95, September 1995. Cassis, France.
189. A. Dovier, A. Formisano, and A. Policriti. Automated deduction scheme. In B. Buchberger, editor,
Computer Algebra and Automated Theorem Proving, July 1996. Linz, Austria.
190. A. Dovier, A. Formisano, and A. Policriti. Schemi di deduzione automatica. In GNSAGA, editor, Aspetti
computazionali in Algebra, Geometria e Logica, October 1996. L’Aquila, Italy.
191. A. Dovier. Some thoughts about the use of set domains for program analysis. In M. Falaschi, editor,
Europe-Israel Workshop on Abstract Interpretation, June 1997. Grado, Italy.
192. A. Dovier, C. Piazza, and G. Rossi. Some analysis of the relations between set-constraints and clp with
sets. In A. Podelski, editor, Fourth Int’l Workshop on Set Constraints and Constraint-based Program
Analysis, 1998. Pisa, Italy, October 30.
193. A. Cortesi, A. Dovier, E. Quintarelli, and L. Tanca. Operational and abstract semantics of a graphical
query language. In P. Degano, editor, I Workshop del Progetto: Tecniche formali per la specifica, l’analisi,
la verifica, la sintesi e la trasformazione di sistemi software, December 1998. Roma, Italy.
194. A. Dovier, A. Formisano, and E. Omodeo. Provable ∃∗ ∀ sentences about sets with atoms. In B. Jayaraman and G. Rossi, editors, DPS’99, Workshop on Declarative Programming with Sets, pp. 9–17, 1999.
Paris, September 28.
195. A. Dovier, C. Piazza, and A. Policriti. Fast (hyper) set equivalence. In B. Jayaraman and G. Rossi,
editors, DPS’99, Workshop on Declarative Programming with Sets, pp. 67–74, 1999. Paris, September
28.
31
196. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi. Sets and constraint logic programming. In B. Jayaraman
and G. Rossi, editors, DPS’99, Workshop on Declarative Programming with Sets, pp. 27–36, 1999. Paris,
September 28.
197. A. Dovier, R. Giacobazzi, and E. Quintarelli. Abstract model checking with domain refinements. In
A. Bossi, editor, Workshop Finale del progetto “Sistemi Formali per la Specifica, l’Analisi, la Verifica, la
Sintesi e la Trasformazione di Sistemi Software, pages 71–72, January 2000. Venezia, Italy.
198. A. Dovier, C. Piazza, and A. Policriti. Fast (hyper) set equivalence. In A. Bossi, editor, Workshop
Finale del progetto “Sistemi Formali per la Specifica, l’Analisi, la Verifica, la Sintesi e la Trasformazione
di Sistemi Software, pages 77–78, January 2000. Venezia, Italy.
199. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi. ACI1 constraints. In A. Bossi, editor, Workshop Finale
del progetto “Sistemi Formali per la Specifica, l’Analisi, la Verifica, la Sintesi e la Trasformazione di
Sistemi Software, pages 27–28, January 2000. Venezia, Italy.
200. A. Dovier, C. Piazza, and G. Rossi. A uniform approach to constraint-solving for lists, multisets,
compact lists, and sets. In G. Paun ed., proceedings of Workshop on Multiset Processing, Curtea de
Arges, Romania, August 21-25, 2000.
201. A. Dal Palù, A. Dovier, E. Pontelli and G. Rossi. Integrating Finite Domain Constraints and CLP with
Sets. In 12th International Workshop on Functional and (constraint) Logic Programming. Valencia,
June 2003.
202. L. Bortolussi, A. Dal Palù, A. Dovier, and F. Fogolari. Protein Folding Simulation in CCP. BioConcur
2004, Workshop on Concurrent Models in Molecular Biology, London, 30 August 2004.
problems. Proc. of RCRA’05: Analisi Sperimentale e Benchmark di algoritmi per L’Intelligenza Artificiale. Ferrara, 10 Giugno 2005.
204. Agostino Dovier, Michela Farenzena, and Andrea Fusiello. Interval Modelling with Constraint Propagation IntCP 2005 Interval Analysis Constraint Propagation Applications October 1st, 2005 Sitges, SP.
205. E. De Maria, A. Dovier, A. Montanari, and C. Piazza. Exploiting Model Checking in Constraint-based
Approaches to the Protein Folding. Proceedings of WCB06, pp.46-54.
206. Alessandro Dal Palù, Agostino Dovier, and Enrico Pontelli. Global Constraints for Discrete Lattices.
Proceedings of WCB06, pp.55-68.
207. Alessandro Dal Palù, Agostino Dovier and Enrico Pontelli. The Density Constraint. Proceedings of of
WCB07, pp.10–19.
208. E. De Maria, A. Dovier, A. Policriti, and M. Zantoni. Module Identification Using Biological Constraints
Proceedings of of WCB07, pp.20–29.
209. M. Caselle, A. Dovier, F. Fogolari, and G. Giugliarelli. Theoretical and computational methods for the
study of protein folding,protein-protein and protein- DNA interactions. CONGRESSO GRUPPI FIRB
”METODOLOGIE E TECNOLOGIE INNOVATIVE PER LA FARMACEUTICA” 13–14 Marzo 2009,
Lecce.
210. R. Cipriano, A. Dal Palù, and A. Dovier. A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem. Electronic Proceedings of of WCB08.
211. A. Dal Palù, A. Dovier, E. Pontelli, and G. Rossi. GASP: Answer Set Programming with Lazy Grounding
In LaSh 2008: LOGIC AND SEARCH Computation of structures from declarative descriptions. 2nd
International Workshop on Logic and Search, Nov. 6-7th 2008, Leuven, Belgium.
212. A. Dal Palù, A. Dovier, and F. Fogolari. COLA: a permanent work in progress CONGRESSO GRUPPI
FIRB ”METODOLOGIE E TECNOLOGIE INNOVATIVE PER LA FARMACEUTICA” 23–24 Aprile
2009, Verona.
32
213. Raffaele Cipriano, Luca Di Gaspero, and Agostino Dovier. A Hybrid Solver for Large Neighborhood
Search: Mixing Gecode and EasyLocal++ In RCRA 2009, Reggio Emilia, Dec. 2009.
214. S. Bistarelli, A. Cesta, A. Dovier, M. Gabbrielli, and F. Rossi. Innovative and multi-disciplinary approaches for constraint and preference reasoning. In RCRA 2010, Bologna, June 2010.
215. Michael Best, Kabi Bhattarai, Federico Campeotto, Alessandro Dal Palù, Hung Dang, Agostino Dovier,
Ferdinando Fioretto, Federico Fogolari, Trung Le, and Enrico Pontelli. Introducing FIASCO: Fragmentbased Interactive Assembly for protein Structure prediction with COnstraints. In WCB 11, Perugia,
September 2011.
216. Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto and Enrico Pontelli.
Protein Loop Modeling via Constraints and Fragment Assembly In WCB 12, Budapest, September 2012.
217. Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, and Enrico Pontelli.
Towards a complete constraint solver on GPU In ParSearchOpt14 July 18, 2014, Vienna.
218. F. Campeotto, A. Dal Palù, A. Dovier, F. Fioretto and E. Pontelli. Experimenting with FIASCO for
protein structure prediction. In WCB 14, Lyon, September 2014.
Rapporti di ricerca e affini
219. A. Dovier and E. Pontelli. {log}: A Language for Programming in Logic with Finite Sets: Implementation
and user manual. Technical report, ENIDATA, Italy, 1991.
220. A. Dovier and E. Pontelli. A WAM based implementation of a logic language with sets. NMSU-CSTR9303, Dept. of Computer Science, New Mexico State University, USA, February 1993.
221. A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi. {log}: a Language for Programming in Logic with
Finite Sets. Rap. 04.93, Università degli studi di Roma, “La Sapienza”, dipartimento di Informatica e
Sistemistica, May 1993.
222. A. Dovier, E. G. Omodeo, A. Policriti, and G. Rossi. Solving systems of equations over hypersets. Rr
12/94, Dipartimento di Matematica ed Informatica, Univ. di Udine, May 1994.
223. A. Dovier, E. G. Omodeo, and A. Policriti. Hyperset constraint handling. Rr 21/94, Dipartimento di
Matematica ed Informatica, Univ. di Udine, December 1994.
224. A. Dovier, E. Pontelli, and G. Rossi. The CLP language {log}, and the relation between Intensional
sets and Negation. NMSU-CSTR-9503, Dept. of Computer Science, New Mexico State University, USA,
March 1995.
225. P. Arenas-Sánchez and A. Dovier.
Univ. di Pisa, April 1995.
Minimal Set Unification.
Tr 6/95, Dipartimento di Informatica,
226. A. Dovier, E. Pontelli, and G. Rossi. Constructive negation and constraint logic programming with sets.
Quaderni del Dipartimento di Matematica 183, Università di Parma, October 1998.
227. A. Dovier, A. Policriti, and G. Rossi. A uniform axiomatic view of lists, multisets and sets in a logic
programming framework. Quaderni del Dipartimento di Matematica 184, Università di Parma, October
1998.
228. A. Dovier, E. Pontelli, and G. Rossi. Set unification revisited. NMSU-CSTR-9817, Dept. of Computer
Science, New Mexico State University, USA, October 1998.
229. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi. ACI1 constraints.
Computer Science, New Mexico State University, USA, May 1999.
NMSU-CSTR-9903, Dept. of
230. A. Dovier, C. Piazza, and G. Rossi. Relating set constraints and constraint logic programming with finite
sets. Quaderni del Dipartimento di Matematica 196, Università di Parma, June 1999.
33
231. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi. Sets and constraint logic programming. NMSU-CSTR0001, Dept. of Computer Science, New Mexico State University, USA, January 2000.
232. A. Dovier, C. Piazza, A. Policriti. A Fast Bisimulation Algorithm. Rr 15/00, Dipartimento di Matematica ed Informatica, Univ. di Udine, July 2000.
233. A. Dovier, C. Piazza, and G. Rossi. A uniform approach to constraint-solving for lists, multisets, compact
lists, and sets. Quaderni del Dipartimento di Matematica 235, Università di Parma, Luglio 2000.
234. A. Dovier and C. Piazza. The Subgraph Bisimulation Problem and its Complexity. Rr 27/00, Dipartimento di Matematica ed Informatica, Univ. di Udine, November 2000.
235. A. Dovier and E. Quintarelli. Model-Checking Based Data Retrieval. Technical Report 2001.47, Politecnico di Milano, May 2000.
236. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Set Unification CoRR cs.LO/0110023: (2001)
237. A. Dovier, C. Piazza, G. Rossi. Set-Based Constraints Quaderni del Dipartimento di Matematica 309,
Università di Parma, Dicembre 2002.
238. A. Dovier, E. Pontelli, G. Rossi. Set Unification.
Università di Parma, Dicembre 2002.
Quaderni del Dipartimento di Matematica 310,
239. Agostino Dovier, Carla Piazza, Gianfranco Rossi: A uniform approach to constraint-solving for lists,
multisets, compact lists, and sets CoRR cs.PL/0309045: (2003)
240. A. Dal Palù, A. Dovier, E. Pontelli, and G. Rossi. A Constraint Logic Programming Language for
Effective Programming with Sets and Finite Domains. Quaderni del Dipartimento di Matematica 437,
Univ. di Parma, Marzo 2006.
241. A. Dal Palù, A. Dovier, and E. Pontelli. Computing Approximate Solutions of the Protein Structure
Determination Problem using Global Constraints on Discrete Crystal Lattices. Research report: NMSUCS-2008-00, New Mexico State University, Dept. of Computer Science.
242. Agostino Dovier, Andrea Formisano, Enrico Pontelli: Multi-valued Action Languages in CLP(FD) CoRR
abs/0912.2846: (2009)
243. Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli: CLP-based protein fragment
assembly. CoRR abs/1007.5180 (2010)
244. Agostino Dovier, Andrea Formisano, Enrico Pontelli. Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda. CoRR abs/1110.0624 (2011)
245. Neng-Fa Zhou, Roman Barták, Agostino Dovier.
abs/1507.03979 (2015)
34
Planning as Tabled Logic Programming.
CoRR

Curriculum vitae di Agostino Dovier

Transcript

Documenti analoghi

Memoria friulana e nuova storia della Grande Guerra

Programma - SoZooAlp

Italiano

PROGRAMMA 16 marzo 2011 Camera di Commercio di

Criteri attività di recupero al termine del primo

Carissimi Lupetti, Gentilissimi Esploratori, Illustrissimi Rover e

modello carta intestata

C.S.Fase Regionale Calcio a 5 - Valori in rete

PROVINCIA DI UDINE Scuole, 25 mila euro per riparare i danni

Enrico Bombieri