Elisabetta GRAZZINI

Ruolo attuale:: Ricercatore In Pensione
SSD:: INF/01 - Informatica
Afferenza organizzativa:: Dipartimento di Matematica e Informatica 'Ulisse Dini'

Recapiti

elisabetta.grazzini(AT)unifi.it

Ulteriori Recapiti

elisabetta.grazzini(AT)unifi.it

Elisabetta GRAZZINI

Orario di ricevimento (aggiornato al 23/09/2015)

Dal 28/09/2105 al 23/12/2015

martedì 11.30-12.30

giovedì 10.00-12.00

Elisabetta GRAZZINI

Curriculum

Elisabetta Grazzini è ricercatore di Informatica presso l'Università di Firenze. È autrice di 57 pubblicazioni di cui 13 su riviste internazionali .

Ha svolto ricerche nei seguenti ambiti:

- implementazione di sistemi per la gestione di basi di dati relazionali, contribuendo alla realizzazione del sistema S.P.I.G.A. (Sistema di Programmazione Interattivo per la Gestione degli Archivi), e alla realizzazione sperimentale di una base di dati per il settore agricolo;

- paginazione degli alberi binari bilanciati, proponendo un algoritmo che limita la perdita di bilanciamento in pagine;

- organizzazione delle basi di dati relazionali, con particolare interesse per il problema della selezione degli indici;

- linguaggi finiti, introducendo un nuovo formalismo per la loro definizione e costruendo un riconoscitore "ad hoc" per i linguaggi finiti definiti con il formalismo proposto;

- ottimizzazione delle domande su basi di dati relazionali, affrontando problematiche diverse, quali la definizione di una nuova strategia per la valutazione delle domande, la definizione di un nuovo indice di join e la valutazione delle sue prestazioni, la progettazione e la valutazione di algoritmi di join basati sull'uso di funzioni hash;

- modelli ibridi per la rappresentazione della conoscenza, proponendo un modello che introduce una primitiva che permette di rappresentare in modo esplicito la composizione degli oggetti;

- modellizzazione della composizione nell'ambiente dei linguaggi basati su frames, con l'introduzione di un nuovo operatore, la cui semantica è stata descritta formalmente;

- riconoscimento degli oggetti, con la definizione di un algoritmo che permette di determinare le classi più specifiche cui un dato oggetto appartiene , sulla base delle asserzioni esplicite fatte sull'oggetto stesso e delle informazioni che derivano dal grafo tassonomico;

- organizzazione dei Data Warehouse, affrontando le problematiche inerenti le strutture degli indici, in particolare degli indici costituiti da mappe di bit e degli algoritmi per il calcolo dell'operatore CUBO.
Altri interessi di ricerca riguardano i Metodi di Enumerazione, la Generazione Casuale ed Esaustiva di Strutture Combinatorie, i Codici Gray, la Caratterizazione ed Enumerazione di Permutomini.

Fra i principali risultati ottenuti sono da menzionare:

- la definizione di un algoritmo CAT per la enumerazione esaustiva, applicabile a molte regole di successione, e che permette di svincolarsi dalle sequenze che enumerano la classe di oggetti da generare;
- la definizione di un codice Gray per codificare ed elencare gli oggetti enumerati dai numeri Catalani, che può essere generalizzato ad una grande classe di regole di successione;

- la definizione di un algoritmo CAT per la generazione dei cammini di Dyck di lunghezza fissata;

- l'enumerazione di permutomini parallelgrammi, direzionati e stack;

- la generazione di permutomini convessi.

Attualmente gli interessi di ricerca riguardano la generazione e enumerazione di parole binarie a motivo escluso. I risultati più interesanti sono relativi a parole binarie, che contengono al più tanti 0 quanti 1, ed escludono sottostringhe isomorfe a cammini primitivi di Dyck, insiemi di stringhe cross-bifix-free, e motivi alternati.

Attività didattica

Nell'anno accademico 1979/80 la dott.ssa Grazzini ha tenuto un ciclo di lezioni su "Linguaggi simbolici" al corso di Perfezionamento in Teoria e Applicazione delle Macchine Calcolatrici , presso l'Istituto Matematico dell'Università di Bologna.

Negli anni accademici 1993/94 e 1994/95 la dott.ssa Grazzini è stata titolare del corso “Linguaggi e Traduttori”, Diploma Universitario in Ingegneria Elettronica dell'Università di Firenze. Gli argomenti trattati sono stati: le grammatiche generative e la loro classificazione, i linguaggi formali, i linguaggi programmativi, l’architettura degli elaboratori, il linguaggio assemblativo dei processori Intel x86, la struttura degli assemblatori e dei compilatori.

Dall’anno accademico 1992/93 all'anno accademico 1998/99 la dott.ssa Grazzini ha tenuto il corso di “Informatica” presso la Scuola di Specializzazione in Chirurgia Generale dell'Università di Firenze. In questo corso sono stati affrontati problemi inerenti alle applicazioni delle basi di dati nella gestione di informazioni cliniche.

Nell’ anno accademico 1996/97 la dott.ssa Grazzini è stata titolare del corso “Laboratorio di Informatica: Architetture”, corso di Laurea in Informatica dell’Università di Firenze. Gli argomenti trattati sono stati: aspetti architetturali degli elaboratori, il linguaggio macchina, il linguaggio assemblativo dei processori Intel x86, la gestione delle interruzioni.

Nell’ anno accademico 1997/98 la dott.ssa Grazzini è stata titolare del corso “Teoria e applicazione delle Macchine Calcolatrici”, (corso di Laurea in Matematica dell’Università di Firenze), di cui ha tenuto anche le esercitazioni. Gli argomenti trattati sono stati: architettura degli elaboratori, architetture parallele, il linguaggio assemblativo dei processori Intel x86, le grammatiche generative, i linguaggi formali, assemblatori e compilatori, i linguaggi programmativi, la struttura degli algoritmi e la complessità computazionale, le strutture interne, la ricerca interna, algoritmi di ordinamento, la gestione degli archivi.

Nell'anno accademico 1999/00 la dott.ssa Grazzini è stata titolare del corso “Basi di dati e sistemi informativi: Laboratorio” (corso di Laurea in Informatica dell’Università di Firenze). Gli argomenti trattati sono stati: il linguaggio di interrogazione per basi di dati relazionali SQL, il sistema di gestione di basi di dati Oracle. Il corso è stato integrato da una intensa attività di laboratorio, curata sempre dalla dott.ssa Grazzini.

Negli anni accademici 2001/02 e 2002/03 la dott.ssa Grazzini è stata titolare del corso “Laboratorio Informatico”, (corso di Laurea Triennale in Matematica dell’Università di Firenze). Gli argomenti trattati sono stati: architettura dei sistemi di elaborazione, gli algoritmi e le loro proprietà, metodi di progettazione degli algoritmi (cenni) e programmazione strutturata, il linguaggio di programmazione C. Il corso è stato integrato da esercitazioni in laboratorio, tenute sempre dalla dott.ssa Grazzini.

Dall'anno accademico 2003/04 la dott.ssa Grazzini è titolare del corso “Gestione e sicurezza dei dati”, (corso di Laurea Specialistica in Matematica per le Applicazioni dell’Università di Firenze). Gli argomenti trattati sono: sistemi per la gestione delle basi di dati, modelli di dati, modello relazionale, algebra relazionale, modello Entity Relationship, progettazione di basi di dati, Sql, Microsoft Access, forme normali delle basi di dati, problemi di sicurezza in basi di dati, cenni sulla gestione dell'affidabilità. Il corso è stato integrato da esercitazioni in laboratorio, tenute sempre dalla dott.ssa Grazzini.

Dall'anno accademico 2005/06 la dott.ssa Grazzini è titolare del corso “Informatica Teorica I”, (corso di Laurea Specialistica in Matematica per le Applicazioni dell’Università di Firenze). Gli argomenti trattati sono: Linguaggi, linguaggi formali, automi a stati finiti, linguaggi regolari, linguaggi non contestuali (Context Free) , le Macchine di Turing, Problemi indecidibili.

La dott.ssa Grazzini ha collaborato al corso “Laboratorio di Bioinformatica” del corso di laurea in Biologia (nuovo ordinamento) dell’Università di Firenze, tenendo le lezioni del modulo “Competenze di Informatica”.

Dall'anno accademico 2009/10 la dott.ssa Grazzini è titolare del corso "Tecniche di progettazione degli algoritmi". Gli argomenti trattati sono : algoritmi ricorsivi e relazioni di ricorrenza, approccio "divide et immpera", algoritmi "greedy", programmazione dinamica, algoritmi su stringhe, problemi NP-completi, algoritmi di approssimazione, problemi indecidibili.

La dott.ssa Grazzini ha seguito numerosi laureandi nella preparazione della tesi di laurea in Matematica.

Elisabetta GRAZZINI

Pubblicazioni

Legenda

Contributo su rivista |

Articolo su libro |

Libro |

Contributo in atti di convegno (proceeding) |

Brevetto |

Curatela | Altro

Altro |

Tesi di Dottorato

Bilotta, Stefano; Grazzini, Elisabetta; Pergola, Elisa (2017). Pattern Avoiding Languages and Recurrence Relations Interpretation. FUNDAMENTA INFORMATICAE, vol. 156, pp. 1-19, ISSN:0169-2968 DOI Accesso ONLINE all'editore

Bilotta, Stefano; Grazzini, Elisabetta; Pergola, Elisa (2015). Enumeration of Two Particular Sets of Minimal Permutations. JOURNAL OF INTEGER SEQUENCES, vol. 18, Article 15.10.2, pp. 1-14, ISSN:1530-7638 Accesso ONLINE all'editore

Stefano, Bilotta; Elisabetta, Grazzini; Elisa, Pergola (2015). An algorithm for the Exhaustive Generation of Binary Words avoiding up-down Sequences. AMERICAN REVIEW OF MATHEMATICS AND STATISTICS, vol. 3, pp. 9-21, ISSN:2374-2348 DOI Accesso ONLINE all'editore

Stefano Bilotta; Elisabetta Grazzini; Elisa Pergola (2013). Counting Binary Words Avoiding Alternating Patterns. JOURNAL OF INTEGER SEQUENCES, vol. 16, Article 13.4.8, pp. 1-17, ISSN:1530-7638 Accesso ONLINE all'editore

Stefano Bilotta; Elisabetta Grazzini; Elisa Pergola; Renzo Pinzani (2013). Avoiding cross-bifix-free binary words. ACTA INFORMATICA, vol. 50, pp. 157-173, ISSN:0001-5903 DOI Accesso ONLINE all'editore

Bilotta, Stefano; Grazzini, Elisabetta; Pergola Elisa (2012). Primitive Dyck words as an invariance class for pattern avoidance. In: GASCom 2012, Bordeaux, Francia, 25/06/2012 - 27/06/2016, LABRI, pp. 1-10.

E. Grazzini; E. Pergola (2010). A GRAY CODE FOR PERMUTATIONS OF SIZE 2d WITH d DESCENTS. PURE MATHEMATICS AND APPLICATIONS, vol. 21 (1), pp. 27-38, ISSN:1218-4586 Accesso ONLINE all'editore

E. Grazzini; E. Pergola (2010). SOME PROPERTIES OF NON MINIMAL PERMUTATIONS. PURE MATHEMATICS AND APPLICATIONS, vol. 21 (2), pp. 249-264, ISSN:1218-4586

E. Grazzini; E. Pergola (2009). About non minimal permutations. In: Permutation Patterns 2009, Firenze, 13-17 th July 2009, pp. 99-105.

E. Grazzini; E. Pergola; M. Poneti (2008). On the exhaustive generation of convex permutominoes. PURE MATHEMATICS AND APPLICATIONS, vol. 19 (2-3), pp. 93-104, ISSN:1218-4586

A. BERNINI; E. GRAZZINI; E. PERGOLA; R. PINZANI (2007). A GENERAL EXHAUSTIVE GENERATION ALGORITHM FOR GRAY STRUCTURES. ACTA INFORMATICA, vol. 44(5), pp. 361-376, ISSN:0001-5903 DOI Accesso ONLINE all'editore

I. Fanti; A. Frosini; E. Grazzini; R. Pinzani; S. Rinaldi (2007). CHARACTERIZATION AND ENUMERATION OF SOME CLASSES OF PERMUTOMINOES. PURE MATHEMATICS AND APPLICATIONS, vol. 18 (3-4), pp. 265-290, ISSN:1218-4586

E. Grazzini; E. Munarini; M. Poneti; S. Rinaldi (2006). M-COMPOSITIONS AND M-PARTITIONS: EXHAUSTIVE GENERATION AND GRAY CODE. PURE MATHEMATICS AND APPLICATIONS, vol. 17 (1-2), pp. 111-121, ISSN:1218-4586

I. FANTI; A. FROSINI; E. GRAZZINI; R. PINZANI; S. RINALDI (2006). Polyominoes determined by permutations. DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, vol. AG, pp. 381-390, ISSN:1462-7264 Accesso ONLINE all'editore

Bernini, Antonio; Grazzini, Elisabetta; Fanti, Irene (2006). An exhaustive generation algorithm for Catalan objects and others. In: GASCOM 2006, Dijon, 11-15 Settembre 2006, Université de Bourgogne, pp. 1-15.

E. GRAZZINI; M. PONETI; S. RINALDI; E. MUNARINI (2006). ON THE GENERATION OF M-COMPOSITIONS AND M-PARTITIONS. In: GASCOM AND BIJECTIVE COMBINATORICS, DIJON, 11-14 Settembre 2006, pp. 12-23.

A. Bernini; I. Fanti; E. Grazzini (2006). AN EXHAUSTIVE GENERATION ALGORITHM FOR CATALAN OBJECTS AND OTHERS. PURE MATHEMATICS AND APPLICATIONS, vol. 17 (1-2), pp. 39-53, ISSN:1218-4586 Accesso ONLINE all'editore

S. BACCHELLI; E. BARCUCCI; E. GRAZZINI; E. PERGOLA (2004). Exhaustive generation of combinatorial objects by ECO. ACTA INFORMATICA, vol. 40, pp. 585-602, ISSN:0001-5903 DOI

E. GRAZZINI; E. PERGOLA; L. FERRARI; S. RINALDI (2003). Some bijective results about the area of Schroder paths. THEORETICAL COMPUTER SCIENCE, vol. 307, pp. 327-335, ISSN:0304-3975 DOI

E. GRAZZINI; E. PERGOLA; L. FERRARI; S. RINALDI (2001). BIJECTIVE RESULTS ON THE AREA OF SCHRÖDER PATHS. In: GASCOM 2001, CERTOSA DI PONTIGNANO (SI), Alberto Del Lungo, pp. 33-39.

E. GRAZZINI; F. CESARINI; G. SODA (1994). COMPUTING THE CLASSES AN OBJECT BELONGS TO. In: SEBD '94, RIMINI, Giugno, pp. 39-58.

E. GRAZZINI; F. CESARINI; G. SODA; A. ARTALE (1994). MODELLING COMPOSITION IN A TERMINOLOGICAL LANGUAGE ENVIRONMENT. In: ECAI '94 WORKSHOP ON PARTS AND WHOLES, AMSTERDAM, Agosto, pp. ---.

E. GRAZZINI; F. CESARINI; G. SODA; A. ARTALE (1993). INSTANCE RECOGNITION IN AN OBJECT DATABASE MODEL. In: SEBD '93, GIZERIA LIDO (CZ), Giugno, pp. 167-181.

E. GRAZZINI; F. PIPPOLINI (1992). COMPOSITION MODELS IN FRAME-BASED LANGUAGES. In: 5TH INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ENGINEERING, SIVIGLIA, Ottobre, pp. ---.

E. GRAZZINI; F. CESARINI; G. SODA; F. PIPPOLINI (1991). AN OPERATOR FOR MODELLING COMPOSITION IN FRAME-BASED LANGUAGES. In: 6-TH ANNUAL CZECHOSLOVAK CONFERENCE ON ARTIFICIAL INTELLIGENCE, PRAGA, Giugno, pp. ---.

E. GRAZZINI; F. PIPPOLINI (1990). THE INTERNAL HASH JOIN ALGORITHM: PERFORMANCE EVALUATION AND APPLICATIONS. In: ISCIS V, NEVS'EHIR (Turchia), Ottobre, pp. ---.

E. GRAZZINI; F. PIPPOLINI (1989). SHARED VS SEPARATE INVERTED FILES. In: Foundation of Data Organization and Algorithms (FODO), PARIS, Giugno, pp. 517-531.

E. GRAZZINI; F. PIPPOLINI (1989). PERFORMANCE EVALUATION OF SHARED AND SEPARATE INVERTED FILES. BIT, vol. 29, pp. 561-565, ISSN:0006-3835 DOI

E. GRAZZINI; F. PIPPOLINI (1989). A STRATEGY FOR EXECUTING RELATIONAL QUERIES. In: Symposium on Mathematical Fundamentals of Database Systems, VISEGRAD (Ungheria), Giugno, pp. 207-221.

E. GRAZZINI; R. PINZANI; F. PIPPOLINI (1985). A PHYSICAL STRUCTURE FOR EFFICIENT PROCESSING OF RELATIONAL QUERIES. In: Foundation of Data Organization (FODO), KYOTO, Giugno, pp. 501-514.

R. PINZANI; E. GRAZZINI; E. BARCUCCI (1984). INDEX SELECTION IN A DISTRIBUTED DATA BASE. In: DISTRIBUTED DATA SHARING SYSTEMS, PARMA, Marzo, pp. 179-187.

Elisabetta GRAZZINI

Insegnamenti relativi all'Anno Accademico

- - -

Elisabetta GRAZZINI

Curriculum

Elisabetta Grazzini is researcher of Computer Science at the University of Firenze.
She is author of about 57 scientific papers, 13 of which published in international journals.
Her main fileds of interest are:
Enumeration Methodologies, Exhaustive and Random Generation of Combinatorial Objects, Gray Codes, Characterization and Enumeration of Permutominoes, Generation and enumeration of binary words avoiding particular patterns. The main results obtained to be cited are:
- the defintion of a CAT exhaustive generating algorithm which is genaral for various classes
of succession rules and that it allows to get away from the sequences enumerating the class of objects we whish to generate;
- the defintion of a Gray code for encoding and listing the objects enumerated by Catalan numbers; the obtained Gray code can be generalized to a large class of succession rules;
- the definition of a CAT generation algorithm for Dyck paths with fixed length n;
- enumeration of parallelogram,directed-convex and stack permutominoes;

- generation and enumeration of binary words, containing n 1's and at most n 0's, avoiding alternating patterns ;

- generation and enumeration of binary words, containing n 1's and at most n 0's, avoiding a set of gross-bifix-free patterns.

Elisabetta GRAZZINI

Elisabetta GRAZZINI

Elisabetta GRAZZINI

Elisabetta GRAZZINI

Elisabetta GRAZZINI

Insegnamenti relativi all'Anno Accademico 2016-2017 2015-2016 2014-2015 2013-2014 2012-2013 2011-2012 2010-2011 2009-2010 2008-2009 2007-2008

Elisabetta GRAZZINI

Insegnamenti relativi all'Anno Accademico