Nicoletta Cocco

Available identifiers

zbMath Open cocco.nicolettaMaRDI QIDQ609027

List of research outcomes

Publication	Date of Publication	Type
Petri Nets for Modelling and Analysing Trophic Networks	2018-07-18	Paper
Comparing Metabolic Pathways through Reactions and Potential Fluxes	2013-09-17	Paper
Petri nets for modelling metabolic pathways: a survey	2010-11-30	Paper
Program Development in Computational Logic	2005-12-23	Paper
On modular termination proofs of general logic programs	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4707738	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4537519	2002-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q2736363	2001-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q2723923	2001-07-08	Paper
Termination of well-moded programs	1999-07-20	Paper
Simultaneous Replacement in Normal Programs	1996-03-17	Paper
Norms on terms and their use in proving universal termination of a logic program	1994-04-05	Paper
Basic transformation operations which preserve computed answer substitutions of logic programs	1994-01-13	Paper
A divide-and-conquer approach to general context-free parsing	1983-01-01	Paper
A mechanism for exception handling and its verification rules	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nicoletta Cocco