Nicoletta Cocco

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Petri Nets for Modelling and Analysing Trophic Networks Fundamenta Informaticae	2018-07-18	Paper
Comparing metabolic pathways through reactions and potential fluxes Transactions on Petri Nets and Other Models of Concurrency VIII	2013-09-17	Paper
Petri nets for modelling metabolic pathways: a survey Natural Computing	2010-11-30	Paper
Program Development in Computational Logic Lecture Notes in Computer Science	2005-12-23	Paper
On modular termination proofs of general logic programs Theory and Practice of Logic Programming	2004-03-01	Paper
scientific article; zbMATH DE number 1926606 (Why is no real title available?)	2003-06-11	Paper
scientific article; zbMATH DE number 1761900 (Why is no real title available?)	2002-07-01	Paper
scientific article; zbMATH DE number 1638665 (Why is no real title available?)	2001-08-29	Paper
scientific article; zbMATH DE number 1615257 (Why is no real title available?)	2001-07-08	Paper
Termination of well-moded programs The Journal of Logic Programming	1999-07-20	Paper
Simultaneous Replacement in Normal Programs Journal Of Logic And Computation	1996-03-17	Paper
Norms on terms and their use in proving universal termination of a logic program Theoretical Computer Science	1994-04-05	Paper
Basic transformation operations which preserve computed answer substitutions of logic programs The Journal of Logic Programming	1994-01-13	Paper
A divide-and-conquer approach to general context-free parsing Information Processing Letters	1983-01-01	Paper
A mechanism for exception handling and its verification rules Computer Languages	1982-01-01	Paper

Research outcomes over time

This page was built for person: Nicoletta Cocco