Pighizzini Giovanni
PROFESSORE ORDINARIO
SSD
INF/01 - INFORMATICA
Settore concorsuale
01/B1 - INFORMATICA
Competenze e ambito di ricerca
Presidente Del Collegio Didattico
Contatti
Sede di lavoro
Numero di telefono dell'ufficio
E-mail di ateneo
E-mail
Sito web
Ricevimento
A causa dell'emergenza sanitaria, al momento il ricevimento studenti viene svolto a distanza. Consultare la pagina http://pighizzini.di.unimi.it/ricevimento.html per dettagli e informazioni aggiornate
Informazioni sul ricevimento
Didattica - insegnamenti
Corsi di laurea
A.A. 2020/2021
A.A. 2019/2020
A.A. 2018/2019
A.A. 2017/2018
A.A. 2016/2017
A.A. 2015/2016
Post laurea
A.A. 2018/2019
Ricerca
Pubblicazioni
Pubblicazioni
-
Pushdown Automata and Constant Height: Decidability and Bounds / G. Pighizzini, L. Prigioniero (LECTURE NOTES IN COMPUTER SCIENCE). - In: Descriptional Complexity of Formal Systems / [a cura di] M.Hospodár, G. Jirásková, S. Konstantinidis. - Prima edizione. - [s.l] : Springer, 2019. - ISBN 9783030232467. - pp. 260-271 (( Intervento presentato al 21. convegno Descriptional Complexity of Formal Systems tenutosi a Kosice nel 2019.
-
Limited automata and unary languages / G. Pighizzini, L. Prigioniero. - In: INFORMATION AND COMPUTATION. - ISSN 0890-5401. - 266(2019), pp. 60-74.
-
Limited Automata: Properties, Complexity and Variants / G. Pighizzini (LECTURE NOTES IN COMPUTER SCIENCE). - In: Descriptional Complexity of Formal Systems / [a cura di] M.Hospodár, G. Jirásková, S. Konstantinidis. - Prima edizione. - [s.l] : Springer, 2019. - ISBN 9783030232467. - pp. 57-73 (( Intervento presentato al 21. convegno Descriptional Complexity of Formal Systems tenutosi a Kosice nel 2019.
-
Pushdown automata and constant height: Decidability and bounds: Extended abstract / G. Pighizzini, L. Prigioniero (CEUR WORKSHOP PROCEEDINGS). - In: CEUR Workshop Proceedings[s.l] : CEUR-WS, 2019. - pp. 72-77 (( convegno 20th Italian Conference on Theoretical Computer Science, ICTCS 2019 tenutosi a Como nel 2019.
-
Descriptional complexity of limited automata / M. Kutrib, G. Pighizzini, M. Wendlandt. - In: INFORMATION AND COMPUTATION. - ISSN 0890-5401. - 259(2018 Apr), pp. 259-276.