Nicoletta COCCO

Qualifica
Professoressa in quiescenza
E-mail
cocco@unive.it
SSD
INFORMATICA [INF/01]
Sito web
https://www.unive.it/persone/cocco (scheda personale)

Ricevimento

giovedi' 10:30-12:30

Didattica anno corrente

Didattica anni precedenti

Attività e competenze di ricerca

Pubblicazioni in evidenza

Cocco, Nicoletta; Llabrés, Mercè; Reyes-Prieto, Mariana; Simeoni, Marta MetNet: A two-level approach to reconstructing and comparing metabolic networks in PLOS ONE, vol. 16, pp. e0246962 (ISSN 1932-6203)
DOI 2021, Articolo su rivista - Scheda ARCA: 10278/3736249


Baldan Paolo, Bocci Martina, Brigolin Daniele, Cocco Nicoletta, Monika Heiner, Marta Simeoni Petri Nets for Modelling and Analysing Trophic Networks in FUNDAMENTA INFORMATICAE, vol. 160, pp. 27-52 (ISSN 0169-2968)
DOI - URL correlato 2018, Articolo su rivista - Scheda ARCA: 10278/3700974


Baldan, Paolo; Bocci, Martina; Brigolin, Daniele; Cocco, Nicoletta; Simeoni, Marta Petri nets for modelling and analysing trophic networks , Biological Processes & Petri Nets 2015, CEUR-WS.org, vol. 1373, pp. 21-36, Convegno: BioPPN15, June 22, 2015 (ISSN 1613-0073)
- URL correlato 2015, Articolo in Atti di convegno - Scheda ARCA: 10278/3659813


P. Baldan; N. Cocco; F. Giummole'; M. Simeoni Comparing Metabolic Pathways through Reactions and Potential Fluxes , Transactions on Petri nets and other models of concurrency VIII, Heidelberg, Springer Berlin / Heidelberg, vol. 8100, pp. 1-23 (ISBN 9783642404641) (ISSN 0302-9743)
DOI - URL correlato 2013, Articolo su libro - Scheda ARCA: 10278/37943


P. Baldan; M. Bocci; N. Cocco; M. Simeoni Comparing Metabolic Pathways through Potential Fluxes: a Selective Opening Approach , CEUR Workshop Proceedings, vol. 988, CEUR-WS, vol. 988, pp. 1-15, Convegno: Biological Processes and Petri nets 2013, 24/06/ 2013 (ISSN 1613-0073)
- URL correlato 2013, Articolo in Atti di convegno - Scheda ARCA: 10278/39593


Tutte le pubblicazioni

Curriculum vitae

Iter di studio e incarichi ricoperti

  • Laurea in Matematica, con lode, Univ. di Padova, marzo 1979;
  • Borsa di studio C.N.R. per laureati, per Analisi ed Informatica Matematica, presso il Seminario Matematico dell'Università di Padova, dal 15 novembre 1979 al 15 novembre 1982;
  • Borsa di studio NATO per l'estero, per le Scienze Matematiche, presso il Dept. of Computer and Information Science, Graduate Research Center, University of Massachusetts-Amherst - USA, dal 1 settembre 1984 al 31 agosto 1985.
  • Ricercatore di Informatica, presso il Dipartimento di Matematica Pura e Applicata dell'Università di Padova, dal 16 marzo 1984 al 31 ottobre 1992;
  • Professore Associato di Elaborazione Elettronica dei Dati, presso lo I.U.A.V., Venezia, dal 1 novembre 1992 al 31 ottobre 1993; 
  • Professore Associato di Linguaggi di Programmazione, presso l'Universita' Ca' Foscari di Venezia, dal 1 novembre 1993.

Temi di ricerca

L'attività di ricerca si è articolata intorno varie tematiche relative all'affidabilita' dei programmi, considerando sia le caratteristiche linguistiche e le metodologie di programmazione che concorrono a garantirla, sia i formalismi per descrivere proprietà dei programmi e le tecniche per verificarne la correttezza. In particolare sono stati studiati i seguenti argomenti:

  • analisi e verifica di correttezza dei programmi;
  • trasformazione di programmi logici;
  • sintassi e semantica dei linguaggi di programmazione;
  • programmazione concorrente, distribuita e in tempo reale.

Attualmente l'attività di ricerca riguarda applicazioni dell'informatica teorica alla biologia. In particolare:

  • modelli formali di sistemi biologici;
  • tecniche di analisi di bio-sequenze.

cafoscariNEWS