Concepedia

Author

Nicoletta Cocco

University of Padua

Also Known As

COCCO, Nicoletta, Cocco, Nicoletta, N Cocco, N. Cocco, NICOLETTA COCCO, Nicoletta Cocco

40

Publications

644

Citations

14

H-Index

22

Concepts

All Affiliations

University of PaduaCa' Foscari University of Venice
NC

About

Nicoletta Cocco is an author at University of Padua specializing in engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

331

2

Computer Science

5

5

178

3

Medicine

1

1

112

4

Biostatistics

1

1

112

5

Metabolism

1

1

112

Nicoletta Cocco

×

9

Publications

357

Citations

9

H-Index

YearCitations

Petri nets for modelling metabolic pathways: a survey

Paolo Baldan, Nicoletta Cocco, Andrea Marin,

Natural Computing

2010

112

Norms on terms and their use in proving universal termination of a logic program

Annalisa Bossi, Nicoletta Cocco, Massimo Fabris

Theoretical Computer Science

1994

60

A method for specializing logic programs

Annalisa Bossi, Nicoletta Cocco, Susi Dulli

ACM Transactions on Programming Languages and Systems

1990

48

Basic transformation operations which preserve computed answer substitutions of logic programs

Annalisa Bossi, Nicoletta Cocco

The Journal of Logic Programming

1993

41

Termination of well-moded programs

Sandro Etalle, Annalisa Bossi, Nicoletta Cocco

The Journal of Logic Programming

1999

41

On modular termination proofs of general logic programs

Annalisa Bossi, Nicoletta Cocco, Sabina Rossi,

Theory and Practice of Logic Programming

2002

16

Simultaneous Replacement in Normal Programs

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

Journal of Logic and Computation

1996

15

A mechanism for exception handling and its verification rules

Nicoletta Cocco, Susi Dulli

Computer Languages

1982

13

Comparison of Metabolic Pathways by Considering Potential Fluxes

Paolo Baldan, Nicoletta Cocco, Marta Simeoni

2012

11

Page 1