Nicoletta COCCO

Position
Retired/Resigned Professor
E-mail
cocco@unive.it
Academic discipline
INFORMATICS [INF/01]
Website
https://www.unive.it/people/cocco (personal record)

Office hours

Teaching activity current year

Teaching activity previous years

Activities and research skills

Publication highlights

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, Journal Article - ARCA card: 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, Journal Article - ARCA card: 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, Article in Conference Proceedings - ARCA card: 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, Book Article - ARCA card: 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, Article in Conference Proceedings - ARCA card: 10278/39593


List of publications

Curriculum vitae

Education and Academic Positions

  • "Laurea" in Mathematics, with honours, Università di Padova, Padova, Italy, March 1979;
  • "Borsista CNR" (post-laurea fellowship), Seminario Matematico, Univ. di Padova, Italy, Nov.1979 / Nov. 1982;
  • "Ricercatore" (Researcher), Dip. di Matematica Pura e Appl., Univ. di Padova, Italy, March 1984 / Oct. 1992;
  • Visiting Scientist (NATO fellowship), Dept. of Computer and Inf. Sc., Univ. of Massachusetts, Amherst, USA, Sept. 1984 /Aug.1985;
  • "Professore Associato" (Associate Prof.), Dip. di Urbanistica, I.U.A.V., Venezia, Italy, Nov. 1992 / Oct. 1993;
  • "Professore Associato" (Associate Prof.), Dip. di Informatica, Univ. Ca' Foscari Venezia, since Nov. 1993.

Research interests

  • languages and formalisms for distributed systems;
  • program correctness and semantics;
  • program transformation;
  • logic programming; 
  • formal models for biological systems;
  • analysis techniques for bio-sequences.

cafoscariNEWS