Concepedia

Nicoletta Cocco

NC

9

Publications

357

Citations

9

H-Index

1982

Active since

Affiliations

University of Padua(Current)

Ca' Foscari University of Venice

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

Top concepts

EngineeringFormal MethodsFormal VerificationComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningLogic ProgrammingVerificationAnswer Set Programming

Publications per year

1982–2012

9

Publications

9

Petri nets for modelling metabolic pathways: a survey

Paolo Baldan, Nicoletta Cocco, Andrea Marin et al. · Natural Computing · 2010 · 112 citations · Full text

Metabolic Network, Systems Biology, Engineering +9

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 citations

Computational Logic, Engineering, Automated Reasoning +10

A method for specializing logic programs

Annalisa Bossi, Nicoletta Cocco, Susi Dulli · ACM Transactions on Programming Languages and Systems · 1990 · 48 citations · Full text

Applied Logic, Computational Logic, Constraint Solving +15

Basic transformation operations which preserve computed answer substitutions of logic programs

Annalisa Bossi, Nicoletta Cocco · The Journal of Logic Programming · 1993 · 41 citations

Engineering, Automated Reasoning, Answer Set Programming +11

Termination of well-moded programs

Sandro Etalle, Annalisa Bossi, Nicoletta Cocco · The Journal of Logic Programming · 1999 · 41 citations · Full text

Engineering, Runtime Verification, Software Aging +7

Rows per page

1–5 of 9