Home > Ateneo > Organizzazione > Dipartimenti > Dipartimento di Scienze Ambientali, Informatica e Statistica > Dipartimento di Scienze Ambientali, Informatica e Statistica > Persone > Ricerca Persone

Ricerca Persone

Cognome/Nome

Telefono/Fax:

Email

COCCO Nicoletta

Feed RSS Feed RSS degli avvisi personali

 

Al momento non ci sono avvisi

 

mercoledì 14.30-16.30

 



Attività e competenze di ricerca

Settore Scientifico Disciplinare (SSD) di afferenza
Settore Scientifico Disciplinare (SSD) affine
Aree e linee di ricerca

Competenze di ricerca

Formalismi e metodi per la verifica di proprieta� dei programmi e per la modellazione di sistemi

Description
  • Formal methods for program properties verification and for system modeling
Parole Chiave
  • Systems analysis and models development, Bioinformatics, Software technology

Ricerche sviluppate e in corso

Analisi e trasformazione di programmi logici

SSD
  • INF/01

Biologia computazionale: analisi di sequenze biologiche

SSD
  • INF/01

Biologia computazionale: Modellazione e analisi di vie metaboliche

SSD
  • INF/01

Aree geografiche in cui si applica prevalentemente l'esperienza di ricerca

Internazionale: Europa, America Settentrionale

Lingue conosciute

  • Inglese (scritto: avanzato, parlato: avanzato)

Pubblicazioni per Anno

2013

  • 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 , in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Berlin / Heidelberg, vol. 8100, pp. 1-23 (ISBN 9783642404641) (ISSN 0302-9743) Link DOI (Articolo su libro)
  • P. Baldan, M. Bocci, N. Cocco, M. Simeoni Comparing Metabolic Pathways through Potential Fluxes: a Selective Opening Approach, CEUR Workshop Proceedings, vol. 988 , in CEUR WORKSHOP PROCEEDINGS, CEUR-WS, vol. 988, pp. 1-15, Convegno: Biological Processes and Petri nets 2013, Milano, 24/06/ 2013 (ISSN 1613-0073) (Articolo in Atti di convegno)
  • P. Baldan, N. Cocco, M. Simeoni Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta, Proceedings of the Fourth International Workshop on Interactions Between Computer Science and Biology (CS2Bio'13), in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Elsevier, vol. 299, pp. 5-13, Convegno: 4th International Workshop on Interactions between Computer Science and Biology, Firenze, 06/06/2013 (ISSN 1571-0661) Link DOI (Articolo in Atti di convegno)

2012

  • Paolo Baldan, Nicoletta Cocco, Marta Simeoni Comparison of Metabolic Pathways by Considering Potential Fluxes, Biological Processes & Petri Nets, in CEUR WORKSHOP PROCEEDINGS, CEUR Workshop Proceedings, vol. 852, pp. 2-17, Convegno: 3rd International Workshop BioPPN 2012, Amburg, Germany, June 2012 (ISSN 1613-0073) (Articolo in Atti di convegno)

2011

  • A. BOSSI; COCCO N. A Valuable Experience in Computational Logic, in INTELLIGENZA ARTIFICIALE, vol. 5, pp. 95-99 (ISSN 1724-8035) (Articolo su rivista)
  • Baldan P, Cocco N., De Nes F., Llabres Segura M., Marin A., Simeoni M. MPath2PN - Translating Metabolic Pathways into Petri Nets, in CEUR WORKSHOP PROCEEDINGS, vol. 724, pp. 102-116 (ISSN 1613-0073) (Articolo su rivista)

2010

  • Baldan P. , Cocco N. , Marin A. , Simeoni M. Petri nets for modelling metabolic pathways: a survey, in NATURAL COMPUTING, vol. 9 (4), pp. 955-989 (ISSN 1567-7818) Link DOI (Articolo su rivista)

2004

  • BOSSI A.; N. COCCO; S. ETALLE; S. ROSSI Declarative Semantics of Input Consuming Logic Programs, Program Development in Computational Logic, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin, Springer Verlag Germany, vol. 3049, pp. 90-114 (ISBN 3540221522) (ISSN 0302-9743) Link DOI (Articolo su libro)

2002

  • BOSSI A.; COCCO N; ETALLE S; ROSSI S On Modular Termination Proofs of General Logic Programs, in THEORY AND PRACTICE OF LOGIC PROGRAMMING, vol. 2, pp. 263-291 (ISSN 1471-0684) (Articolo su rivista)
  • BOSSI A.; COCCO N; ETALLE S. Transformation Systems and Nondeclarative Properties in KAKAS A.C.; SADRI F., Computational Logic: Logic Programming and Beyond, BERLIN, Springer-Verlag, vol. LNCS 2407, pp. 162-186 (ISBN 3540439595) Link DOI (Articolo su libro)

2001

  • BOSSI A; COCCO N; ROSSI S. Termination of Well-Typed Logic Programs, Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, NY-USA, ACM, pp. 73-81, Convegno: 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (ISBN 158113388X) Link DOI (Articolo in Atti di convegno)

2000

  • BOSSI A.; COCCO N.; ETALLE S. Transformation of left terminating programs, in LECTURE NOTES IN COMPUTER SCIENCE, vol. 1817, pp. 156-175 (ISSN 0302-9743) (Articolo su rivista)

1999

  • ETALLE S; BOSSI A; COCCO N. Termination of Well-Moded Programs, in JOURNAL OF LOGIC PROGRAMMING, vol. 38(2), pp. 243-257 (ISSN 0743-1066) (Articolo su rivista)
  • BOSSI A; COCCO N. Successes in Logic Programs in P. Flener, Proceedings LOPSTR'98, Berlin, Springer-Verlag, vol. LNCS 1559, pp. 219-239, Convegno: LOPSTR'98 (ISBN 3540657657) Link DOI (Articolo in Atti di convegno)

1998

  • A. BOSSI; COCCO N. Programs Without Failures in N. Fuchs, Proceedings LOPSTR'97, Berlin, Springer-Verlag, vol. LNCS 1463, pp. 28-48, Convegno: LOPSTR'97 (ISBN 3540650741) Link DOI (Articolo in Atti di convegno)

1996

  • BOSSI A.; N. COCCO; S. ETALLE Simultaneous Replacement in Normal Programs, in JOURNAL OF LOGIC AND COMPUTATION, vol. 6(1), pp. 79-120 (ISSN 0955-792X) (Articolo su rivista)

1994

  • BOSSI A.; N. COCCO; M. FABRIS Norms on Terms and their use in Proving Universal Termination of a Logic Program, in THEORETICAL COMPUTER SCIENCE, vol. 124, pp. 297-328 (ISSN 0304-3975) (Articolo su rivista)
  • A. BOSSI; COCCO N. Preserving Universal Termination through Unfold/Fold in G. Levi and M.Rodriguez-Artalejo, Proceedings ALP'94, London - UK, Springer-Verlag, vol. LNCS 850, pp. 269-286, Convegno: ALP'94 (ISBN 3540584315) (Articolo in Atti di convegno)

1993

  • A. BOSSI; COCCO N. Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs, in JOURNAL OF LOGIC PROGRAMMING, vol. 16, pp. 47-87 (ISSN 0743-1066) (Articolo su rivista)

1992

  • A. BOSSI; COCCO N.; S. ETALLE On Safe Folding in M. Bruynooghe and M. Wirsing, Proceedings PLILP'92, Berlin, Springer verlag, vol. LNCS 631, pp. 172-186, Convegno: PLILP'92 (ISBN 3540558446) Link DOI (Articolo in Atti di convegno)
  • A. BOSSI; COCCO N.; S. ETALLE Transforming Normal Programs by Replacement, Proceedings META'92, London - UK, Springer Verlag, vol. LNCS 649, pp. 265-279, Convegno: META'92 (ISBN 3540562826) Link DOI (Articolo in Atti di convegno)

1991

  • A. BOSSI; COCCO N.; M. FABRIS Proving Termination of Logic Programs by Exploiting Term Properties in S. Abramsky and T. Maibaum, Proceedings CCPSD-TAPSOFT '91, Berlin, Springer Verlag, vol. LNCS 494, pp. 153-180, Convegno: CCPSD-TAPSOFT '91 (ISBN 3540539816) Link DOI (Articolo in Atti di convegno)

1990

  • BOSSI A.; COCCO N.; DULLI S. A Method for Specializing Logic Programs, in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 12:2, pp. 253-302 (ISSN 0164-0925) (Articolo su rivista)

1985

  • COCCO N.; MANDRIOLI D.; MILANESE V. The Ada Task System and Real-Time Applications:an Implementation Schema, in COMPUTER LANGUAGES, vol. 10:3-4, pp. 189-209 (ISSN 0096-0551) (Articolo su rivista)

1983

  • A. BOSSI; COCCO N.; L. COLUSSI. A Divide-and-conquer Approach to General Context-free Parsing, in INFORMATION PROCESSING LETTERS, vol. 16:4, pp. 203-208 (ISSN 0020-0190) (Articolo su rivista)

1982

  • COCCO N.; S. DULLI A Mechanism for Exception Handlingand its Verification Rules, in COMPUTER LANGUAGES, vol. 7, pp. 89-102 (ISSN 0096-0551) (Articolo su rivista)

Curriculum di Nicoletta COCCO

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'Universita' 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'Universita' 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'attivita' di ricerca si e' 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 proprieta' 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 ed in tempo
reale.

Attualmente l'attivita' di ricerca riguarda applicazioni
dell'informatica teorica alla biologia. In particolare:
- modelli formali di sistemi biologici;
- tecniche di analisi di bio-sequenze.

Education and Academic Positions

"Laurea" in Mathematics, with honours,
Universita' 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 di 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.

© Ca'Foscari 2014