SIMONE FARO CURRICULUM DELL`ATTIVIT`A SCIENTIFICA E

SIMONE FARO
CURRICULUM DELL’ATTIVITÀ SCIENTIFICA E DIDATTICA
(redatto ai sensi degli Artt. 46 e 47 del D.P.R. 28.12.2000, n. 445)
Aggiornato al 31 Dicembre 2015
Dati Personali
. Contatti
. Educazione
. Abilitazioni e Posizioni Accademiche
2
2
2
2
Attività Scientifica e di Ricerca
. Interessi di Ricerca
. Progetti di Ricerca
. Finanziamenti e Borse di Studio
. Associazioni e Gruppi di cui Membro
. Servizi di Referee
. Comitati di Programma
. Soggiorni all’Estero
. Partecipazione a Scuole Internazionali
. Scuole Internazionali in Qualità di Relatore
. Conferenze su Invito
. Altri Seminari in Qualità di Relatore
. Esami di Dottorato in Qualità di Esaminatore
. Conferenze Internazionali in Qualità di Relatore
3
3
3
3
3
4
4
4
5
5
5
5
5
5
Attività Didattica
. Panoramica Generale
. Valutazione della Didattica Erogata
. Anni Accademici 2012/13 - 2015/16
. Anni Accademici 2007/08 - 2011/12
. Anni Accademici 2005/06 - 2006/07
. Attività di Supporto alla Didattica
. Tesi di Laurea in Qualità di Relatore
. Attività di esperto in progetti PON, POR, IFTS
7
7
7
8
8
9
9
10
13
Lista delle Pubblicazioni Scientifiche
. Panoramica Generale
. Pubblicazioni su Riviste Internazionali
. Pubblicazioni su Conferenze Internazionali
. Poster e Pubblicazioni Corte su Conferenze Internazionali
. Technical Reports
14
14
14
17
20
20
1 of 20
Dati Personali
Contatti
Dipartimento di Matematica e Informatica
Università degli Studi di Catania
Viale A.Doria n.6
95125 Catania, Italia
Mobile: +39-*********
Office: +39-095-738-3053
E-mail: [email protected]
Web: www.dmi.unict.it/∼faro
Educazione
Dottorato di Ricerca in Informatica
Aprile 2005
Conseguito presso l’Università degli Studi di Catania
Titolo della Tesi: Practical and Theoretical Aspects of String Matching Algorithms
Adviser: Prof. Domenico Cantone
Area di Studio: Algoritmi combinatori e strutture dati
Diploma di Laurea in Informatica
Conseguito presso lÕUniversità degli Studi di Catania
Votazione finale: 110/110 e lode.
Titolo della Tesi: String Matching Algorithms
Adviser: Prof. Domenico Cantone
Area di Studio: Algoritmi combinatori e strutture dati
Diploma di Maturità Scientifica
Conseguito presso il Liceo Scientifico Ernesto Basile di Palermo
Votazione finale: 60/60
Abilitazioni e
Posizioni
Accademiche
Ottobre 2001
Luglio 1996
Abilitazione al S.C. 01/B1 - II Fascia
19 Gennaio 2015 - 19 Gennaio 2021
Abilitazione al ruolo di Professore Associato (II Fascia) S.C. 01/B1 - Informatica,
ottenuto ai sensi dell’articolo 16 della legge 30 dicembre 2010, n. 240, in data 29
settembre 2014 e valida dal 19 Gennaio 2015 al 19 Gennaio 2021
Abilitazione al S.C. 09/H1 - II Fascia
23 Gennaio 2015 - 23 Gennaio 2021
Abilitazione al ruolo di Professore Associato (II Fascia) S.C. 09/H1 - Sistemi di elaborazione
delle informazioni, ottenuto ai sensi dell’articolo 16 della legge 30 dicembre 2010, n. 240,
in data 01 ottobre 2014 e valida dal 23 Gennaio 2015 al 23 Gennaio 2021
Professore Associato - II Fascia
Da Novembre 2015
In servizio presso il Dipartimento di Matematica e Informatica e il Dipartimento di
Scienze Umanistiche dell’Università degli Studi di Catania
Settore Scientifico Disciplinare INF/01 - Informatica
Ricercatore Universitario
Ottobre 2006 - Ottobre 2015
In servizio presso il Dipartimento di Matematica e Informatica e il Dipartimento di
Scienze Umanistiche dell’Università degli Studi di Catania
Settore Scientifico Disciplinare INF/01 - Informatica
Consiglio di Dottorato
Membro del consiglio dei docenti del Dottorato di Ricerca in Informatica XXIII, XXIV
e XXV ciclo, Università degli Studi di Catania.
Titolare di un assegno di ricerca
Gennaio 2006 - Ottobre 2006
Presso il Dipartimento di Matematica ed Informatica, Università degli Studi di Catania
Area di studio: Algoritmi di Pattern Matching
Contratto di collaborazione alla ricerca
Febbraio 2005 - Novembre 2005
Presso il Centro Ricerche I.P.P.A.R.I. dell’Università degli Studi di Catania
Area di studio: collaborazione esterna alle attività di ricerca nel campo degli algoritmi.
2 of 20
Attività Scientifica e di Ricerca
Interessi di
Ricerca
Text and strings processing algorithms, information retrieval algorithms, combinatorial
algorithms, automata theory, simulation of non-deterministic finite automata, exact and
approximate pattern matching, multiple string matching, data compression, pattern
matching on compressed texts, algorithms on graphs and networks, algorithms on
strings, privacy preserving text processing, natural language processing, part of speech
tagging, semantic information retrieval.
Progetti di
Ricerca
• Responsabile del progetto di ricerca di durata annuale dal titolo String Matching
Efficiente su Linguaggi Naturali, finanziato dal Gruppo Nazionale per il Calcolo
Scientifico, 2016.
• Componente del progetto di ricerca FIR di durata biennale dal titolo COMPACT:
Computazione affidabile su testi firmati, finanziato dall’Università di Catania, anno
2015.
• Responsabile del progetto di ricerca di durata annuale dal titolo Automi Reattivi e
Loro Simulazione nell’Ambito del Non-Standard (Secure) Text Processing, finanziato
dal Gruppo Nazionale per il Calcolo Scientifico, 2014.
• Componente del progetto di ricerca PRISMA, finanziato dal MIUR - PON Ricerca
e Competitività 2007-2013.
• Responsabile del progetto di ricerca di durata annuale dal titolo Strumenti Algoritmici
e Crittografici per l’Elaborazione, il Mantenimento e la Trasmissione di Dati su
Server Remoti, finanziato dal Gruppo Nazionale per il Calcolo Scientifico, 2012.
• Responsabile del progetto di ricerca di durata annuale dal titolo Protocolli Efficienti
per il Two-Party Secure Text-Processing, finanziato dal Gruppo Nazionale per il
Calcolo Scientifico, 2011.
• Responsabile del progetto SMART: a String Matching Algorithms Research Tool,
per la realizzazione di un tool di ricerca nel campo dello string matching esatto.
In collaborazione con il Prof. Thierry Lecroq, Università di Rouen.
Sito Internet del progetto: http://www.dmi.unict.it/ faro/smart/
Finanziamenti e G.N.C.S., Gruppo Nazionale per il Calcolo Scientifico
Borse di Studio • Vincitore del programma di ricerca Giovani Ricercatori, negli anni 2008, 2009 e 2010
Università degli Studi di Catania
• Finanziamento su fondi di Ateneo per soggiorni di ricerca all’estero, anno 2007.
• Vincitore di un assegno di ricerca di durata biennale, anno 2006.
• Vincitore di una borsa di dottorato di durata quadriennale, anni 2001-2004.
• Vincitore di quattro borse di merito ottenute durante il periodo di studi universitari,
anni accademici 1997/98, 1998/99, 1999/2000, 2000/01.
Associazioni e
Gruppi di cui
Membro
G.N.C.S. Gruppo Nazionale per il Calcolo Scientifico.
GR.IN. GRuppo di INformatica.
P.S.C. Prague Stringology Club.
C.E.S.P.E.S. Centro Interdipartimentale di Studi su Pascal e il Seicento.
C.In.Um. Centro di Informatica Uministica
3 of 20
Servizi di
Referee
Reviewer per le seguenti riviste scientifiche e conferenze internazionali.
• Information Processing Letters, Elsevier
• Pattern Recognition Letters, Elsevier
• Software: Practice and Experience, Wiley
• IET Software, IET Digital Library
• International Journal of Foundation of Computer Science, World Scientific
• International Journal of Machine Learning and Cybernetics, Springer
• Journal of Biomedical and Health Informatics, IEEE
• The International Conference on Combinatorial Pattern Matching, (CPM)
• The String Processing and Information Retrieval Symposium (SPIRE)
• The Prague Stringology Conference (PSC)
• The Latin American Symposium on Theoretical Informatics (LATIN)
• International Conference on Biomedical Engineering and Biotechnology (iCBEB)
• The International Conference on Current Trends in Theory and Practice of Computer
Science (SOFSEM)
Comitati di
Programma
Membro del Comitato di Programma di PSC 2016, the 21st Prague Stringology Conference,
Prague, Czech Republic, August 29-31, 2016.
Membro del Comitato di Programma di SPIRE 2016, the 23rd International Symposium
on String Processing and Information Retrieval, Beppu, Japan, October 18-20, 2016.
Membro del Comitato di Programma di PSC 2015, the 20th Prague Stringology Conference,
Prague, Czech Republic, August 24-26, 2015.
Membro del Comitato di Programma di PSC 2014, the 19th Prague Stringology Conference,
Prague, Czech Republic, September 4-6, 2014.
Membro dei Comitati di Organizzazione e di Programma di CATS 2014, Competition
on Applied Text Searching, Prague, Czech Republic, September, 2014.
Membro del Comitato di Programma di PSC 2013, the 18th Prague Stringology Conference,
Prague, Czech Republic, September 2-4, 2013.
Membro del Comitato di Programma di CPM 2012, the 23rd Annual Symposium on
Combinatorial Pattern Matching, Helsinki, Finland, July 3-5, 2012.
Soggiorni
all’estero
Medipol University
Ottobre 2014 - Gennaio 2015
Soggiorno di 3 mesi presso la Istanbul Medipol University, Istanbul, Turchia, per la
collaborazione scientifica con il Prof. Oguzhan Kulekci.
TÜBITAK-BILGEM-UEKAE
Giugno - Luglio 2013
Soggiorno di 14 giorni presso l’Informatics and Information Security Research Center,
Istanbul, Turchia, per la collaborazione scientifica con il Prof. Oguzhan Kulekci.
Università di Rouen
Gennaio 2012
Soggiorno di 2 settimane presso il Département d’Informatique et LITIS EA 4108, UFR
des Sciences et des Techniques, Université de Rouen, 76821 MONT-SAINT-AIGNAN
Cedex, per la collaborazione scientifica con il Prof. Thierry Lecroq.
Università di Rouen
Settembre - Ottobre 2007
Soggiorno di 1 mese presso il Département d’Informatique et LITIS EA 4108, UFR
des Sciences et des Techniques, Université de Rouen, 76821 MONT-SAINT-AIGNAN
Cedex, per la collaborazione scientifica con il Prof. Thierry Lecroq.
4 of 20
Partecipazione
a Scuole
Internazionali
Partecipazione alle seguenti scuole internazionali.
• Lipari 2002: Quattordicesima scuola internazionale per ricercatori in Informatica sul
tema Ingegneria del Software.
30 Giugno - 13 Luglio 2002, Lipari, Italia
• Lipari 2003. Quindicesima scuola internazionale per ricercatori in Informatica sul
tema Algorithmics for Data Mining and Pattern Discovery.
14-25 Luglio 2003, Lipari, Italia
Scuole
Internazionali
in Qualità di
Relatore
Partecipazione in qualità di relatore alle seguenti scuole internazionali:
• Online Pattern Matching:
Summer School of Selected Topics in Massive Data Management
TÜBITAK-BILGEM-UEKAE, Mathematical and Computational Sciences Division
1-4 Luglio, 2013
Conferenze su
Invito
• Prague Stringology Conference 2011. 29 Ag. - 1 Sett. 2011, Prague, Czech Republic.
2001-2010: Ten Years of Exact String Matching Algorithms. Invited talk.
Altri Seminari
in Qualità di
Relatore
• Seminario dal titolo Searching for Similarities by Using Bit-Parallelism, tenuto
presso TÜBITAK-BILGEM-UEKAE, Informatics and Information Security Research
Center, Istanbul, Turchia. Giugno 2013
• Seminario dal titolo A Space Efficient Bit-Parallel Algorithm for the Multiple String
Matching Problem, tenuto presso l’Università di Rouen. Settembre 2007
Esami di
Dottorato in
Qualità di
Esaminatore
• Esaminatore per l’esame finale di dottorato dello studente Hannu Peltola, Aalto
University, Department of Computer Science and Engineering.
Titolo della tesi: Towards Faster String Matching
Conferenze
Internazionali
in Qualità di
Relatore
Partecipazione in qualità di relatore per presentazione di risultati di ricerca alle seguenti
conferenze internazionali.
• Second International Workshop on Experimental and Efficient Algorithms (WEA’03).
26-28 Mggio 2003, Monte Verità , Ascona , Switzerland.
• Third AMAST Workshop on Algebraic Methods in Language Processing (AMILP’03).
25-27 Agosto 2003, Verona, Italia
• Prague Stringology Conference 2003. 22-24 Settembre 2003, Prague, Czech Republic.
• Third International Conference on FUN with Algorithms (FUN’04).
26-28 Maggio 2004, Isola DÕElba, Livorno, Italia.
• Workshop on Graph and Combinatorial Optimization (CTW’04).
31 Maggio - 2 Giugno 2004, Menaggio, Italia
• Prague Stringology Conference 2004. 30 Ag. - 1 Sett. 2004, Prague, Czech Republic.
• Prague Stringology Conference 2005. 29-31 Agosto 2005, Prague, Czech Republic.
• Prague Stringology Conference 2008. 1-3 Settembre 2008, Prague, Czech Republic.
• 35th International Conference on Current Trends in Theory and Practice of Computer
Science (SOFSEM’09). 24-30 Gennaio 2009, Spindleruv Mlyn, Czech Republic
• 20th International Workshop on Combinatorial Algorithms (IWOCA’09).
28 Giugno - 2 Luglio 2009, Opava, Czech Republic
• Prague Stringology Conference 2009. 31 Ag. - 2 Sett. 2009, Prague, Czech Republic.
• London Stringology Days & London Algorithmic Workshop 2010 (LSD/LAW’10).
4-5 Febbraio 2010, King’s College London, UK
• Fifth International Conference on Fun With Algorithms (FUN’10).
2 - 4 Giugno 2010, Isola di Ischia, Italy
• Prague Stringology Conference 2010. 30 Ag. - 1 Sett. 2010, Prague, Czech Republic.
5 of 20
• London Stringology Days & London Algorithmic Workshop 2011 (LSD/LAW’11).
7-8 Febbario 2011, King’s College London, UK.
• 20th International Workshop on Combinatorial Algorithms (CPM 2011).
28 Giugno - 2 Luglio 2011, Palermo, Italia
• London Stringology Days & London Algorithmic Workshop 2012 (LSD/LAW’12).
9-10 Febbario 2012, King’s College London, UK.
• 17th International Conference on Implementation and Application of Automata (CIAA’12).
17-20 Luglio 2012, Porto, Portogallo.
• IEEE 12th International Conference on BioInformatics and BioEngineering (BIBE’12)
11-13 Novembre 2013, Larnaca, Cipro.
• Prague Stringology Conference 2013. 2 - 4 Settembre 2013, Prague, Czech Republic.
• 21st International Conferences on Conceptual Structures (ICCS 2014). 27 - 30
Luglio 2014, Iasi, Romania.
• Prague Stringology Conference 2014. 4 - 6 Settembre 2014, Prague, Czech Republic.
• Prague Stringology Conference 2015. 24 - 26 Agosto 2015, Prague, Czech Republic.
• 12th International Workshop on Natural Language Processing and Cognitive Science
(NLPCS 2015) September 22-24, 2015, Krakow, Poland.
6 of 20
2005/06
48
Informatica di base
378
2006/07
144
Programmazione
380
2007/08
222
Algoritmi
733
2008/09
150
Problem Solving
47
2009/10
189
2010/11
82
Attività 2011/12
didattica
2012/13
Panoramica
2013/14
Generale2014/15
2015/16
2005/06 - 2015/16
72
126
Nel corso dei13610 anni accademici di attività didattica sono stati tenuti 32 corsi, dei quali
3 nell’ambito
di Corsi di Laurea Magistrale, 24 nell’ambito di Corsi di Laurea Triennale
136
e 5 per la Scuola Superiore di Catania. Di seguito sono riportati due grafici relativi al
187
numero di ore di didattica frontale erogata a partire dall’anno accademico 2005/06. In
particolare sono riportate il numero di ore di didattica erogate per ogni anno accademico
e relativamente alle materie di insegnamento.
Ore di Didattica per Anno Accedemico
Ore di Didattica divise per Settore
2005/06
48
2006/07
144
2007/08
222
Rispetto
2008/09
150
2010/11
pessimo
82
2011/12
72
2012/13
126
buono
2013/14
136
18
buona
2014/15
136
187
79
ottima
2015/16
VALUTAZIONE
2009/10 189
cattivo
ottimo
0
Problem Solving
degli orari
3%
Capacità nell’organizzazione
deldiCorso
Informatica
base
VOTI
60
378
VALUTAZIONE
1
pessima
2
cattiva
120
180
VOTI
Algoritmi
733
Stim
VALUTAZIONE
10
pessimo
25
cattivo
Programmazione
44 380
buono
ottimo
21
240
Di seguito sono riportati alcuni grafici relativi alla valutazione della didattica, sulla base
Valutazione
della Didattica delle schede di valutazione consegnate dagli studenti dei corsi erogati a partire dall’anno
accademico 2009/10, fino all’anno accademico 2014/15. I grafici riportano la media di
Erogata
tali valutazioni.
Rispetto degli orari delle lezioni
79%
Stimolo suscitato dal docente
47%
42%
18%
1%
2%
pessimo
cattivo
8%
3%
buono
ottimo
pessimo
Chiarezza espositiva del docente
cattivo
buono
ottimo
Reperibilità del docente
73%
52%
Org
38%
24%
6%
4%
pessima
cattiva
buona
ottima
1%
2%
pessima
cattiva
buona
ottima
10
pes
7 of 20
Didattica
A.A. 2015-2016
Programmazione 2
72 ore
Cattedra per affidamento nell’ambito del Corso di Laurea Triennale in Informatica,
Dipartimento di Matematica e Informatica, Università degli Studi di Catania.
Laboratorio di Algoritmi
24 ore
Cattedra per affidamento nell’ambito del Corso di Laurea Triennale in Informatica,
Dipartimento di Matematica e Informatica, Università degli Studi di Catania.
Informatica
54 ore
Cattedra per affidamento nell’ambito del Corso di Laurea Triennale in Scienze e Lingue
per la Comunicazione Internazionale, Dipartimento di Scienze Umanistiche, Università
degli Studi di Catania.
Elementi di Programmazione
10 ore
Co-affidamento del corso nell’ambito dei corsi proposti dalla Scuola Superiore di Catania,
Università degli Studi di Catania.
Allenamento per le Olimpiadi di Informatica 2016
27 ore
Corso di Preparazione alle Selezioni Territoriali delle Olimpiadi di Informatica. Corso
tenuto presso l’Istituto Tecnico Archimede si Catania.
Didattica
A.A. 2014-2015
Programmazione 2
72 ore
Cattedra per affidamento nell’ambito del Corso di Laurea Triennale in Informatica,
Dipartimento di Matematica e Informatica, Università degli Studi di Catania.
Informatica
54 ore
Cattedra per affidamento nell’ambito del Corso di Laurea Triennale in Scienze e Lingue
per la Comunicazione Internazionale, Dipartimento di Scienze Umanistiche, Università
degli Studi di Catania.
Elementi di Programmazione
10 ore
Co-affidamento del corso nell’ambito dei corsi proposti dalla Scuola Superiore di Catania,
Università degli Studi di Catania.
Didattica
A.A. 2013-2014
Programmazione 2
72 ore
Cattedra per affidamento nell’ambito del Corso di Laurea Triennale in Informatica,
Dipartimento di Matematica e Informatica, Università degli Studi di Catania.
Informatica
54 ore
Cattedra per affidamento nell’ambito del Corso di Laurea Triennale in Scienze e Lingue
per la Comunicazione Internazionale, Dipartimento di Scienze Umanistiche, Università
degli Studi di Catania.
Elementi di Programmazione
10 ore
Co-affidamento del corso nell’ambito dei corsi proposti dalla Scuola Superiore di Catania,
Università degli Studi di Catania.
Didattica
A.A. 2012-2013
Algoritmi e Complessità
72 ore
Cattedra per affidamento nell’ambito del Corso di Laurea Magistrale in Informatica,
Dipartimento di Matematica e Informatica, Università degli Studi di Catania.
Informatica
54 ore
Cattedra per affidamento nell’ambito del Corso di Laurea Triennale in Scienze e Lingue
per la Comunicazione Internazionale, Dipartimento di Scienze Umanistiche, Università
degli Studi di Catania.
8 of 20
Didattica
A.A. 2011-2012
Algoritmi e Complessità
72 ore
Cattedra per affidamento nell’ambito del Corso di Laurea Magistrale in Informatica,
Dipartimento di Matematica e Informatica, Università degli Studi di Catania.
Didattica
A.A. 2010-2011
Programmazione 2
72 ore
Cattedra per affidamento nell’ambito del Corso di Laurea Triennale in Informatica,
Dipartimento di Matematica e Informatica, Università degli Studi di Catania.
Temi Scelti di Informatica Teorica
10 ore
Co-affidamento del corso (in collaborazione con il Prof. Domenico Cantone) nell’ambito
dei corsi proposti dalla Scuola Superiore di Catania, Università degli Studi di Catania.
Didattica
A.A. 2009-2010
Algoritmi 3 (Strutture dati avanzate)
48 ore
Cattedra per affidamento nell’ambito del Corso di Studi in Informatica Applicata (sede
distaccata di Comiso) dell’Università degli Studi di Catania.
Temi Scelti di Informatica Teorica
15 ore
Co-affidamento del corso (in collaborazione con il Prof. Domenico Cantone) nell’ambito
dei corsi proposti dalla Scuola Superiore di Catania, Università degli Studi di Catania.
Programmazione 2
72 ore
Cattedra per supplenza nell’ambito del Corso di Laurea in Informatica, Facoltà di
Scienze MM.FF.NN., Università degli Studi di Catania.
Informatica (percorso Comunicazione)
54 ore
Cattedra per supplenza nell’ambito del Corso di Studi Triennale in Scienze per la
Comunicazione Internazionale - Percorso Comunicazione, tenuto presso la Facoltà di
Lingue e Letterature Straniere, Università degli Studi di Catania.
Didattica
A.A. 2008-2009
Algoritmi 3 (Strutture dati avanzate)
48 ore
Cattedra per affidamento nell’ambito del Corso di Studi in Informatica Applicata (sede
distaccata di Comiso) Facoltà di Scienze MM.FF.NN., Università degli Studi di Catania.
Algoritmi 2
48 ore
Cattedra per affidamento nell’ambito del Corso di Studi in Informatica Applicata (sede
distaccata di Comiso) Facoltà di Scienze MM.FF.NN., Università degli Studi di Catania.
Informatica (percorso Comunicazione)
54 ore
Cattedra per supplenza nell’ambito del Corso di Studi Triennale in Scienze per la
Comunicazione Internazionale - Percorso Comunicazione, tenuto presso la Facoltà di
Lingue e Letterature Straniere, Università degli Studi di Catania.
Didattica
A.A. 2007-2008
Algoritmi 1
48 ore
Cattedra per affidamento nell’ambito del Corso di Studi in Informatica Applicata (sede
distaccata di Comiso) Facoltà di Scienze MM.FF.NN., Università degli Studi di Catania.
Algoritmi 3 (Strutture dati avanzate)
24 ore
Cattedra per affidamento nell’ambito del Corso di Studi in Informatica Applicata (sede
distaccata di Comiso) Facoltà di Scienze MM.FF.NN., Università degli Studi di Catania.
Algoritmi 2
48 ore
Cattedra per supplenza nell’ambito del Corso di Studi Triennale in Informatica Applicata
(sede distaccata di Comiso) Facoltà di Scienze MM.FF.NN., Università degli Studi di
Catania.
9 of 20
Algoritmi 2
48 ore
Cattedra per supplenza nell’ambito del Corso di Laurea Specialistica in Informatica,
Facoltà di Scienze MM.FF.NN., Università degli Studi di Catania.
Informatica (percorso Comunicazione)
54 ore
Cattedra per supplenza nell’ambito del Corso di Studi Triennale in Scienze per la
Comunicazione Internazionale - Percorso Comunicazione, tenuto presso la Facoltà di
Lingue e Letterature Straniere, Università degli Studi di Catania.
Didattica
A.A. 2006-2007
Algoritmi 1
48 ore
Cattedra per affidamento, nell’ambito del Corso di Studi Triennale in Informatica
Applicata (sede distaccata di Comiso) Facoltà di Scienze MM.FF.NN., Università degli
Studi di Catania.
Algoritmi 2
48 ore
Cattedra per supplenza nell’ambito del Corso di Laurea Specialistica in Informatica,
Facoltà di Scienze MM.FF.NN., Università degli Studi di Catania.
Algoritmi 3 (Strutture dati avanzate)
24 ore
Cattedra per supplenza nell’ambito del Corso di Studi Triennale in Informatica Applicata
(sede distaccata di Comiso) Facoltà di Scienze MM.FF.NN., Università degli Studi di
Catania.
Algoritmi 4 (Text Processing)
24 ore
Cattedra per supplenza nell’ambito del Corso di Studi Triennale in Informatica Applicata
(sede distaccata di Comiso) Facoltà di Scienze MM.FF.NN., Università degli Studi di
Catania.
Didattica
A.A. 2005-2006
Algoritmi 1
48 ore
Cattedra per supplenza nell’ambito del Corso di Studi Triennale in Informatica Applicata
(sede distaccata di Comiso) Facoltà di Scienze MM.FF.NN., Università degli Studi di
Catania.
Attività di
supporto alla
didattica
Attività di supporto alla didattica per l’insegnamento Formazione Logico Discreta,
nell’ambito del Corso di Studi Triennale in Informatica Applicata (sede distaccata di
Comiso), Università degli Studi di Catania. A.A. 2004-2005
Attività di supporto alla didattica per l’insegnamento Algoritmi e Strutture Dati 2,
tenuto presso il Dipartimento di Matematica ed Informatica, Università di Catania,
nell’ambito del Corso di Laurea Specialistica in Informatica (20 ore). A.A. 2003-2004
Attività di supporto alla didattica per l’insegnamento Algoritmi e Strutture Dati 2,
tenuto presso il Dipartimento di Matematica ed Informatica, Università di Catania,
nell’ambito del Corso di Laurea Specialistica in Informatica (22 ore). A.A. 2002-2003
Attività di supporto alla didattica per il Master in Bioinformatica, tenuto presso il
Dipartimento di Matematica ed Informatica, Università degli Studi di Catania (10 ore).
A.A. 2002-2003
Attività di supporto alla didattica per l’insegnamento Didattica dell’Informatica, tenuto
nell’ambito dei corsi SISSIS tenuti presso il Dipartimento di Matematica ed Informatica
dell’Università degli Studi di Catania (8 ore). A.A. 2001-2002
10 of 20
2011/12
20
2012/13
25
2013/14
34
2014/15
12
Tesi di Laurea
in Qualità di
Relatore
Numero di Tesi per Anno Accedemico
2007/08
4
2008/09
12
2009/10
9
2010/11
16
2011/12
20
2012/13
25
2013/14
34
12
2014/15
0
10
20
30
40
Elenco dei tesisti laureati nel corso dell’anno accademico 2013/14.
1. Alberto Gentile, Corso di Laurea in Scienze della Comunicazione, Open Source:
Una Scelta Etica tra Vecchio e Nuovo Millennio
2. Alessandra Engler, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Il Web Semantico: Verso l’internet intelligente
3. Federica Morreale, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Classificazione di testi musicali: Un approccio automatico alla catalogazione
4. Francesco Emanuele Santangelo, Corso di Laurea in Lettere, La Serratura dell’Informazione
5. Gabriella Spadafora, Corso di Laurea in Scienze per la Comunicazione Internazionale, Search Engines Evolution: Da Archie al Web Semantico
6. Laura Rossetti, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Un Repertorio Digitale dei Modi di Dire: le Locuzioni Idiomatiche nella Linguistica
Compu-tazionale
7. Marco Monteleone, Corso di Laurea in Scienze per la Comunicazione Internazionale, Web Design è Gestalt: La Teoria della Forma nella Progettazione dei Siti
Web
8. Ornella Mazzeo, Corso di Laurea in Lingue per la Cooperazione Internazionale,
Opinion Mining: Analisi e Monitoraggio dei Contenuti dei Social Network
9. Alessandra Costa, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Il Digital Divide: Analisi del Fenomeno in Relazione alla Diversità Linguistica
10. Amalia Damico, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Il Marketing nell’Era del Web 2.0
11. Angela Mirabile, Corso di Laurea in Scienze della Comunicazione, L’Infografica:
L’evolu-zione della comunicazione per immagini
12. Anna Lisa Mariateresa Roccella, Corso di Laurea in Scienze per la Comunicazione
Internazionale, L’Evoluzione di Internet e il Web Semantico
13. Cristina Carmen Marano, Corso di Laurea in Scienze della Comunicazione, I
sistemi Wiki: Modello e filosofia dell’open content
14. Donatella Beatrice Costanzo, Corso di Laurea in Lingue Moderne per la Cooperazione Internazionale, Free Software ed Open Source: Tutela Giuridica e Licenza
d’Uso
11 of 20
15. Federica Ferrara, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Insegnare a Sorridere Tecniche per il Riconoscimento dell’Umorismo
16. Gabriele Alfio Tomarchio, Corso di Laurea in Scienze per la Comunicazione Internazionale, Il Tutto è Più della Somma delle Parti: La Psicologia Gestalt e la Comunicazione nel Web
17. Gaia Barbera, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Riconosci-mento Automatico delle Metafore
18. Giulia Cosentino, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Intelligenza Artificiale e i suoi Campi di Applicazione
19. Ketty Pappalardo, Corso di Laurea in Scienze della Comunicazione, Linguistica
Compu-tazionale e Semplificazione: Aspetti Liguistici e Applicativi
20. Lorena Liccardi, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Intera-zione Uomo-Computer
21. Mirko Pompigna, Corso di Laurea in Scienze della Comunicazione, La Sicurezza
Nei Social Network
22. Giuseppe Romano, Corso di Laurea in Scienze per la Comunicazione Internazionale,
La Programmazione Etica: Software Libero ed Open Source
23. Sebastiano Cutuli, Corso di Laurea Magistrale in Informatica, BIOSEM-NET:
Una rete semantica dei personaggi della rete
24. Selenia Romanino, Corso di Laurea in Scienze della Comunicazione, Sentiment
Analysis: La Nuova Frontiera del Marketing Digitale
25. Silvia Tringali, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Il Trentennio Digitale: Storia ed Evoluzione del Web
26. Valeria Rizzo, Corso di Laurea in Lingue per la Cooperazione Internazionale,
Da WordNet a BabelNet: Analisi delle ontologie e loro Applicazione al Natural
Language Processing
27. Veronica Roggio, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Criminalità Informatica: Il Lato Oscuro del Progresso
28. Chiara Randazzo, Corso di Laurea in Scienze per la Cooperazione Internazionale,
Software e Tecniche per la Grafica Pubblicitaria
29. Laura Zarba, Corso di Laurea in Scienze della Comunicazione Internazionale, Elearning e didattica multimediale: Un’indagine sulle principali piattaforme per
l’insegnamento e l’apprendimento delle lingue straniere
30. Claudia Scarcella, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Think different: storia di un pensiero che ha cambiato il mondo
31. Rosaria Parisi, Corso di Laurea in Scienze per la Comunicazione Internazionale,
L’analisi delle opinioni nei Social Media
32. Silvia Pignatello, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Teorie e pratiche delle illusioni 2.0
33. Chiara Randazzo, Corso di Laurea in Scienze per la Cooperazione Internazionale,
Software e Tecniche per la Grafica Pubblicitaria
12 of 20
34. Chiara Giovanna Bonavera Corso di Laurea in Lingue per la Cooperazione Internazionale, Il fenomeno del digital divide in relazione alla problematica linguistica.
Elenco dei tesisti laureati nel corso dell’anno accademico 2014/15.
1. Arianna Pavone, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Tecniche di filtraggio e tecniche d?evasione nel mondo della libera informazione
2. Manuela Leonardi, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Il Marketing Turistico
3. Teresa Pappalardo Pavone, Corso di Laurea in Scienze per la Comunicazione
Internazionale, Analisi delle Forme Verbali Pronominali nella Linguistica Computazionale
4. Simona Raniolo, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Augmented Reality per la comunicazione dei Beni Culturali
5. Ileana Lo Re, Corso di Laurea in Scienze per la Comunicazione Internazionale, La
Sicurezza Informatica nei Social Network
6. Giorgia Piluso, Corso di Laurea in Scienze per la Comunicazione Internazionale,
La Storia del Giornalismo e il percorso della stampa: dall’invenzione di Gutenberg
ad oggi
7. Marta D’Angelo, Corso di Laurea in Scienze e Lingue per la Comunicazione,
Tecniche di filtraggio e tecniche d?evasione nel mondo della libera informazione
8. Melissa Rita Malenchini, Corso di Laurea in Lingue per la Cooperazione Internazionale, L’Evoluzione delle FAD: Dall’Apprendimento per Corrispondenza all’E-Learning
9. Giuseppe Piazzese, Corso di Laurea in Scienze per la Comunicazione Internazionale,
Storia, Identità ed Etica degli Hacker
10. Giulia Moncada, Corso di Laurea in Scienze e Lingue per la Comunicazione,
Portale Internet sul Turismo. Le Bellezze Architettoniche della Città di Catania
11. Giuseppe Moschella Moncada, Corso di Laurea in Scienze e Lingue per la Comunicazione, Il Divario Digitale: Analisi del Fenomeno dal Punto di Vista Linguistico,
di Genere e Culturale
12. Rosa Ragonese Corso di Laurea in Lingue per la Comunicazione Internazionale,
La Linguistica Computazionale e il Trattamento Automatico del Linguaggio
Attività di
esperto in
progetti PON,
POR, IFTS
Maggio 2008
Attività di esperto per il Progetto Integrato Aracne Due P.O.R. Sicilia 2000/2006 - Asse
III Mis.3.05, Adeguamento del Sistema della Formazione Professionale e dell’Istruzione,
presso l’Istituto Tecnico Aeronautico Statale Arturo Ferrarin di Catania, per un totale
di ore 6 nell’attività Problem Solving e Algoritmi
Maggio 2008
Attività di esperto per il Progetto Integrato Aracne Due P.O.R. Sicilia 2000/2006 - Asse
III Mis.3.05, Adeguamento del Sistema della Formazione Professionale e dell’Istruzione,
presso il Liceo Scientifico Statale E. Boggio Lera di Catania, per un totale di ore 6
nell’attività Problem Solving e Algoritmi
Maggio 2008
Attività di esperto per il Progetto Integrato Aracne Due P.O.R. Sicilia 2000/2006 - Asse
III Mis.3.05, Adeguamento del Sistema della Formazione Professionale e dell’Istruzione,
13 of 20
presso il Liceo Ginnasio Statate Mario Cutelli di Catania, per un totale di ore 6
nell’attività Problem Solving e Algoritmi
Maggio 2008
Attività di esperto per il Progetto Integrato Aracne Due P.O.R. Sicilia 2000/2006 - Asse
III Mis.3.05, Adeguamento del Sistema della Formazione Professionale e dell’Istruzione,
presso il Liceo Scientifico Statale Galileo Galilei di Catania, per un totale di ore 6
nell’attività Problem Solving e Algoritmi
14 of 20
2008
17
2009
30
2010
33
2011
41
2012
65
2013
79
Rivista
18
Lista delle
pubblicazioni
scientifiche
2014
110
2015
Panoramica
Generale
76
Di seguito sono riportati i dati bibliometrici generali calcolati al 31 Dicembre 2015.
I dati sono stati calcolati da Google Scholar.
Numero di Citazioni
2006
9
2007
5
2008
17
2009
30
2010
33
2011
41
2012
65
2013
79
2014
110
Reports
7
Rivista
18
Conferenza
43
76
2015
0
Indice
Citazioni
h-index
i10-index
Pubblicazioni
su Riviste
Internazionali
Posizionamento degli articoli
30
60
90
fino al 2015
fino al 2011
494
14
19
376
12
13
120
Posizionamento
Articoli su Rivista
Articoli su Conferenza
Technical Reports
fino al 2014
fino al 2011
18
43
7
8
31
6
Domenico Cantone, Simone Faro and Emanuele Giaquinta. Text Searching Allowing
for Inversions and Translocations of Factors. Discrete Applied Mathematics, Vol.163:
pp.247-257, 2014
doi:10.1016/j.dam.2013.05.016
Domenico Cantone and Simone Faro. Fast Shortest-Paths Algorithms in the Presence
of few Destinations of Negative-Weight Arcs. Journal of Discrete Algorithms, Vol.24:
pp.12-25, 2014
doi:10.1016/j.jda.2013.03.005
Simone Faro and Oguzhan Kulekci. Fast and Flexible Packed String Matching. Journal
of Discrete Algorithms, Vol.28: pp.61-72, 2014
doi:10.1016/j.jda.2014.07.003
Domenico Cantone and Simone Faro. Improved and Self-Tuned Occurrence Heuristics
Journal of Discrete Algorithms, Vol.28: pp.73-84, 2014
doi:10.1016/j.jda.2014.07.006
Domenico Cantone, Salvatore Cristofaro and Simone Faro. Efficient String-Matching
Allowing for Non-Overlapping Inversions. Theoretical Computer Science, Volume 483,
pp. 85-95, 2013
doi:10.1016/j.tcs.2012.06.009
Simone Faro and Thierry Lecroq,. The Exact Online String Matching Problem: a
Review of the Most Recent Results. ACM Computing Surveys. Vol. 45(2), p.13, 2013
doi:10.1145/2431211.2431212
15 of 20
Domenico Cantone, Simone Faro and Emanuele Giaquinta. A Compact Representation
of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach. Information and
Computation, Volume 213, pp. 3-12, 2012.
doi:10.1016/j.ic.2011.03.006
Domenico Cantone, Simone Faro and Emanuele Giaquinta. On the bit-parallel simulation
of the nondeterministic Aho-Corasick and suffix automata for a set of patterns. Journal
of Discrete Algorithms, Volume 11, pp. 25-36, 2012.
doi:10.1016/j.jda.2011.02.001
Domenico Cantone, Simone Faro and Emanuele Giaquinta. Adapting Boyer-Moore-Like
Algorithms for Searching Huffman Encoded Texts. International Journal of Foundation
of Computer Science, Volume 23(2), pp. 343-356, 2012.
doi:10.1142/S0129054112400163
Matteo Campanelli, Domenico Cantone, Simone Faro and Emanuele Giaquinta. Pattern
Matching with Swaps in Practice. International Journal of Foundation of Computer
Science, Volume 23(2), pp. 323-342, 2012.
doi:10.1142/S0129054112400163
Szymon Grabowski, Simone Faro and Emanuele Giaquinta. String Matching with
Inversions and Translocations in Linear Average Time (Most of the Time). Information
Processing Letters, Volume 111 Issue 11, May 2011.
doi:10.1016/j.ipl.2011.02.015
Domenico Cantone, Salvatore Cristofaro and Simone Faro. New Efficient Bit-Parallel
Algorithms for the (δ, α)-Matching Problem with Applications in Music Information
Retrieval. International Journal of Foundation of Computer Science, Vol. 20(6): pp.
1087-1108, 2009.
doi:10.1142/S0129054109007054
Simone Faro and Thierry Lecroq. Efficient Variants of the Backward-Oracle-Matching
Algorithm. International Journal of Foundation of Computer Science, Vol 20(6): pp.
967-984, 2009.
doi:10.1142/S0129054109006991
Domenico Cantone, Salvatore Cristofaro and Simone Faro. On Some Combinatorial
Problems Concerning the Harmonic Structure of Musical Chord Sequences. International
Journal of Foundation of Computer Science, Vol. 19(1): pp. 103-124, 2008.
doi:10.1142/S0129054108005565
Domenico Cantone and Simone Faro. A Space Efficient Bit-parallel Algorithm for the
Multiple String Matching Problem. International Journal of Foundation of Computer
Science, Vol. 17(6): pp. 1235-1252, 2006.
doi:10.1142/S0129054106004388
Domenico Cantone and Simone Faro. Fast-Search Algorithms: New Efficient Variants
of the Boyer-Moore Pattern-Matching Algorithm. Journal of Automata, Languages and
Combinatorics, Vol. 10(5/6): pp. 589-608, 2005.
Domenico Cantone and Simone Faro. Two Levels Greedy: an improvement of the
Dijkstra shortest path algorithm. Electronic Notes in Discrete Mathematics, Volume
17, pp.81-86, 2004.
doi:10.1016/j.endm.2004.03.019
16 of 20
Pubblicazioni
su Conferenze
Internazionali
B.Adas, E.Bayraktar, S.Faro, I.E.Moustafa and M.O.Kulekci. Short Read Alignment
and Compression via Shortest Unique Substring Identifiers. Proceedings of the 3rd
International Work-Conference on Bioinformatics and Biomedical Engineering, to appear,
2015
Valeria Borzı̀, Simone Faro and Arianna Pavone. Automatic Extraction of Semantic
Relations by Using Web Statistical Information. Proceedings of the International Conference
on Conceptual Structures 2014 (ICCS 2014), Lecture Notes in Computer Science Vol.8577,
pp.174-187, 2014.
doi:10.1007/978-3-319-08389-6 15
Simone Faro and Domenico Cantone Efficient Online Abelian Pattern Matching in
Strings by Simulating Reactive Multi-Automata Proceedings of the Prague Stringology
Conference 2014, PSC 2013, pp.30-42, isbn:978-80-01-05547-2, 2014
Simone Faro. Swap Matching in Strings by Simulating Reactive Automata. Proceedings
of the Prague Stringology Conference 2013, PSC 2013, pp. 7-20. isbn:978-80-01-053300, 2013
Domenico Cantone, Simone Faro. Improved and Self-Tuned Occurrence Heuristics.
Proceedings of the Prague Stringology Conference 2013, PSC 2013, pp. 92-106. isbn:97880-01-05330-0, 2013
Simone Faro, Oguzhan Kulekci. Towards a Very Fast Multiple String Matching Algorithm
for Short Patterns Proceedings of the Prague Stringology Conference 2013, PSC 2013,
pp. 78-91. isbn:978-80-01-05330-0, 2013
Simone Faro, Oguzhan Kulekci. Fast Packed String Matching for Short Patterns.
Proceedings of the 15th Meeting on Algorithm Engineering and Experiments, ALENEX
2013, SIAM, pp. 113-121, 2013.
Simone Faro, Thierry Lecroq. Fast Searching in Biological Sequences Using Multiple
Hash Functions. Proceedings of 12th IEEE International Conference on BioInformatics
and BioEngineering, BIBE 212, IEEE Computer Society, pp. 175-180, 2012.
doi:10.1109/BIBE.2012.6399669
Simone Faro, Oguzhan Kulekci. Fast Multiple String Matching Using Streaming SIMD
Extensions Technology. Proceedings of 19th International Symposium on String Processing
and Information Retrieval, SPIRE 2012, Lecture Notes in Computer Science, Vol.7608,
pp.217-228, isbn:978-3-642-34108-3, 2012.
doi:10.1007/978-3-642-34109-0
Simone Faro, Thierry Lecroq. A Fast Suffix Automata Based Algorithm for Exact
Online String Matching. Proceedings of 17th International Conference on Implementation
and Application of Automata, CIAA 212, Lecture Notes in Computer Science, Vol.7381/2012,
pp.149-158, isbn:978-3-642-31605-0, 2012.
doi:10.1007/978-3-642-31606-7
Simone Faro, Thierry Lecroq. A Multiple Sliding Windows Approach to Speed Up
String Matching Algorithms. Proceedings of 11th International Symposium on Experimental
Algorithms, SEA 2012, Lecture Notes in Computer Science, Vol.7276/2012, pp.172-183,
isbn:978-3-642-30849-9, 2012.
doi:10.1007/978-3-642-30850-5
Simone Faro and Thierry Lecroq. 2001-2010: Ten Years of Exact String Matching
Algorithms. Proceedings of the Algorithmique, combinatoire du texte et applications en
bio-informatique, SeqBio 2011, invited talk, 2011
17 of 20
Simone Faro and Thierry Lecroq. 2001-2010: Ten Years of Exact String Matching
Algorithms. Proceedings of the Prague Stringology Conference 2011, PSC 2011, invited
talk, pp. 1-2. isbn:978-80-01-04870-2, 2011
Domenico Cantone, Salvatore Cristofaro and Simone Faro. Efficient Matching of Biological
Sequences Allowing for Non-Overlapping Inversions. In Proceedings of the 22nd Annual
Symposium on Combinatorial Pattern Matching, CPM 2011, Lecture Notes in Computer
Science, Vol. 6661/2011, pp. 364-375, isbn:978-3-642-21457-8, 2011.
doi:10.1007/978-3-642-21458-5
Domenico Cantone, Simone Faro and Emanuele Giaquinta. Approximate String Matching
Allowing for Inversions and Translocations In Proceedings of the Prague Stringology
Conference 2010, PSC 2010, pp. 37-51, isbn:978-80-01-04597-8, 2010.
Domenico Cantone and Simone Faro. A Space-Efficient Implementation of the GoodSuffix Heuristic. In Proceedings of the Prague Stringology Conference 2010, PSC 2010,
pp. 63-75, isbn:978-80-01-04597-8, 2010.
Domenico Cantone, Simone Faro and Emanuele Giaquinta. A Compact Representation
of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach In Proceedings of
the 21st Annual Symposium on Combinatorial Pattern Matching, CPM 2010, Lecture
Notes in Computer Science, Vol.6129/2010, pp.288-298, isbn:978-3-642-13508-8, 2010.
doi:10.1007/978-3-642-13509-5 26
Domenico Cantone, Simone Faro and Emanuele Giaquinta. Bit-(Parallelism)2 : Getting
to the Next Level of Parallelism. In Proc. of the Fifth International Conference on
Fun With Algorithms, FUN 2010, Lecture Notes in Computer Science, Vol. 6099/2010,
pp.166-177, isbn:978-3-642-13121-9, 2010.
doi:10.1007/978-3-642-13122-6 18
Simone Faro and Elisa Pappalardo. Ant-CSP: an Ant Colony Optimization Algorithm
for the Closest String Problem. In Proc. of the 36th International Conference on
Current Trends in Theory and Practice of Computer Science, SOFSEM 2010, Lecture
Notes in Computer Science, Vol.5901, pp.370-381, isbn:978-3-642-11265-2, 2010.
doi:10.1007/978-3-642-11266-9 31
Domenico Cantone and Simone Faro. Pattern Matching with Swaps for Short Patterns
in Linear Time. In Proceedings of the 35th International Conference on Current Trends
in Theory and Practice of Computer Science, SOFSEM 2009. Lecture Notes In Computer
Science, Vol. 5404, pp.255-266, isbn: 978-3-540-95890-1, 2009.
doi:10.1007/978-3-540-95891-8 25
Simone Faro and Thierry Lecroq. An efficient matching algorithm for encoded DNA
sequences and binary strings. In Proceedings of the 20th Annual Symposium on Combinatorial
Pattern Matching (CPM 2009). Lecture Notes In Computer Science, Vol. 5577, pp.106115, isbn:978-3-642-02440-5, 2009.
doi:10.1007/978-3-642-02441-2 10
Matteo Campanelli, Domenico Cantone and Simone Faro. A New Algorithm for Efficient
Pattern Matching with Swaps. In Proceedings of the 20th International Workshop on
Combinatorial Algorithms, IWOCA 2009. Lecture Notes In Computer Science, Vol.
5874, pp.230-241, isbn:978-3-642-10216-5, 2009.
doi:10.1007/978-3-642-10217-2 24
Matteo Campanelli, Domenico Cantone, Simone Faro and Emanuele Giaquinta. An
Efficient Algorithm for Approximate Pattern Matching with Swaps. In Proceedings of
the 14th Prague Stringology Conference, PSC 2009, pp. 90-104
isbn:978-80-01-04403-2, 2009.
18 of 20
Domenico Cantone, Simone Faro and Emanuele Giaquinta. Adapting Boyer-Moore-Like
Algorithms for Searching Huffman Encoded Texts. In Proceedings of the 14th Prague
Stringology Conference, PSC 2009, pp. 29-39, isbn:978-80-01-04403-2, 2009.
Simone Faro and Thierry Lecroq. Efficient Variants of the Backward-Oracle-Matching
Algorithm. In Proceedings of the 13th Prague Stringology Conference, PSC 2008, pp.
146-160, isbn:978-80-01-04145-1, 2008.
Domenico Cantone, Salvatore Cristofaro and Simone Faro. New Efficient Bit-Parallel
Algorithms for the Delta-Matching Problem with Alpha-Bounded Gaps. In Proceedings
of the 13th Prague Stringology Conference, PSC 2008, pp. 170-184
isbn:978-80-01-04145-1, 2008.
Domenico Cantone, Salvatore Cristofaro, Simone Faro and Emanuele Giaquinta. Finite
State Models for the Generation of Large Corpora of Natural Language Texts. In
Proceedings of the Seventh International Workshop on Finite-State Methods and Natural
Language Processing, FSMNLP 2008, isbn:978-1-58603-975-2, 2008.
doi:10.3233/978-1-58603-975-2-175
Domenico Cantone and Simone Faro. Pattern Matching for Control Chart Monitoring.
Progress in Industrial Mathematics at ECMI 2006, Mathematics in Industry, Springer
Verlag, Vol. 12, III, pp. 918-922, isbn:978-3-540-71992-2, 2008.
doi:10.1007/978-3-540-71992-2 161
Domenico Cantone, Salvatore Cristofaro and Simone Faro. On some Combinatorial
Problems concerning the Harmonic Structure of Musical Chord Sequences. In Proc. of
the 12th Prague Stringology Conference, PSC 2006, pp. 49-64
isbn:80-01-03533-6, 2006.
Domenico Cantone, Salvatore Cristofaro and Simone Faro. An Efficient Algorithm
for delta-Approximate-Matching with alpha-Bounded Gaps in Musical Sequences. In
Proceedings of 4th International Workshop on Experimental and Efficient Algorithms.
WEA 2005. Lecture Notes in Computer Science, Vol. 3503, pp. 428-439
isbn:3-540-25920-1, 2005.
doi:10.1007/11427186 37
Domenico Cantone and Simone Faro. A Space Efficient Bit-Parallel Algorithm for the
Multiple String Matching Problem. In Proceedings of the Prague Stringology Conference
’05, PSC 2005, Czech Technical University, Prague, pp. 109-124
isbn:isbn:80-01-03307-4, 2005.
Domenico Cantone and Simone Faro. Searching for a substring with constant extra
space complexity. In Proceedings of the Third International Conference on FUN with
Algorithms, FUN 2004, Edizioni Plus, University of Pisa, pp. 118-131, 2004.
Domenico Cantone and Simone Faro. Two Levels Greedy: an improvement of the
Dijkstra shortest path algorithm. In Proc. of Cologne-Twente Workshop on Graphs
and Combinatorial Optimization, CTW 2004, pp. 75-80, 2004.
Domenico Cantone, Salvatore Cristofaro and Simone Faro. Efficient Algorithms for the
delta-Approximate String Matching Problem in Musical Sequences. In Proceedings of
the Prague Stringology Conference ’04, Czech Technical University, Prague, pp. 33-47,
isbn:isbn:80-01-03050-4, 2004.
Domenico Cantone and Simone Faro. Fast-Search: a New Efficient Variant of the BoyerMoore String Matching Algorithm. In Proceedings of Second International Workshop
on Experimental Algorithms, WEA 2003, Lecture Notes in Computer Science, Springer,
Vol. 2647, pp. 47-58, isbn:3-540-40205-5, 2003.
doi:10.1007/3-540-44867-5 4
19 of 20
Domenico Cantone and Simone Faro. Forward-Fast-Search: Another Fast Variant of
the Boyer-Moore String Matching Algorithm. In Proceedings of the Prague Stringology
Conference ’03, PSC 2003, Czech Technical University, Prague, pp. 10-24, 2003.
Domenico Cantone and Simone Faro. On the Frequency of Characters in Natural
Language Texts. In Proceedings of Algebraic Methods in Language Processing 2003,
II AMAST Workshop On Language Processing, pp. 69-82, 2003.
Poster e
Pubblicazioni
Corte su
Conferenze
Internazionali
Simone Faro and Thierry Lecroq. Efficient Pattern Matching on Binary Strings. In
Proceedings of the 35th International Conference on Current Trends in Theory and
Practice of Computer Science (SOFSEM 2009), January 24-30, 2009, Hotel Arnika,
Spindleruv Mlyn, Czech Republic. 2009.
Domenico Cantone and Simone Faro. A Faster Algorithm for the Single Source Shortest
Path Problem in the Presence of Few Sources or Destinations of Negative Arcs. In
Proceedings of the 35th International Conference on Current Trends in Theory and
Practice of Computer Science (SOFSEM 2009). January 24-30, 2009, Hotel Arnika,
Spindleruv Mlyn, Czech Republic, 2009.
Domenico Cantone, Salvatore Cristofaro and Simone Faro. On Tuning The (Delta,Alpha)Sequential-Sampling Algorithm For Delta-Approximate Matching With Alpha- Bounded
Gaps In Musical Sequences. In Proceedings of 6th International Conference on Music
Information Retrieval, ISMIR, 2005.
Domenico Cantone, Salvatore Cristofaro and Simone Faro. Solving The (Delta, Alpha)Approximate Matching Problem Under Transposition Invariance In Musical Sequences.
In Proceedings of 6th International Conference on Music Information Retrieval, 2005.
Technical
Reports
Simone Faro and Oguzhan Kulekci. Efficient Algorithms for the Order Preserving
Pattern Matching Problem. Report arXiv:1501.04001, Cornell University Library
url: http://arxiv.org/abs/1501.04001, 2015.
Simone Faro and Oguzhan Kulekci. Fast Packed String Matching for Short Patterns.
Report arXiv:1209.6449, Cornell University Library
url: http://arxiv.org/abs/1209.6449, 2012.
Simone Faro and Thierry Lecroq. The Exact String Matching Problem: a Comprehensive
Experimental Evaluation. Report arXiv:0810.2390, Cornell University Library
url: http://arxiv.org/abs/1012.2547, 2011.
Domenico Cantone and Simone Faro. On Tuning the Bad-Character Rule: the WorstCharacter Rule. Report arXiv:0810.2390, Cornell University Library
url: http://arxiv.org/abs/1012.1338, 2010.
Szymon Grabowski, Simone Faro and Emanuele Giaquinta. String Matching with
Inversions and Translocations in Linear Average Time (Most of the Time). Report
arXiv:0810.2390, Cornell University Library. url: http://arxiv.org/abs/1012.0280, 2010.
Simone Faro and Thierry Lecroq. Efficient pattern matching on binary strings Report
arXiv:0810.2390, Cornell University Library. url: http://arxiv.org/abs/0810.2390, 2008.
Il sottoscritto dichiara di essere informato, ai sensi del decreto legislativo 196/2003, che i dati sopra riportati
verranno utilizzati nell’ambito del procedimento per il quale la presente dichiarazione viene resa.
Catania, 27 febbraio 2016
Firma
20 of 20