COCCO, Nicoletta
COCCO, Nicoletta
Dipartimento di Scienze Ambientali, Informatica e Statistica
A Divide-and-conquer Approach to General Context-free Parsing
1983 A., Bossi; Cocco, Nicoletta; L., Colussi
A Mechanism for Exception Handlingand its Verification Rules
1982 Cocco, Nicoletta; S., Dulli
A Method for Specializing Logic Programs
1990 Bossi, A.; Cocco, Nicoletta; Dulli, S.
A Valuable Experience in Computational Logic
2011 A., Bossi; Cocco, Nicoletta
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs
1993 Bossi, Annalisa; Cocco, Nicoletta
Comparing Metabolic Pathways through Potential Fluxes: a Selective Opening Approach
2013 P., Baldan; M., Bocci; Cocco, Nicoletta; Simeoni, Marta
Comparing Metabolic Pathways through Reactions and Potential Fluxes
2013 P., Baldan; Cocco, Nicoletta; Giummole', Federica; Simeoni, Marta
Comparison of Metabolic Pathways by Considering Potential Fluxes
2012 Baldan, Paolo; Cocco, Nicoletta; Simeoni, Marta
Declarative Semantics of Input Consuming Logic Programs
2004 Bossi, Annalisa; Cocco, Nicoletta; S., Etalle; Rossi, Sabina
MetNet: A two-level approach to reconstructing and comparing metabolic networks
2021 Cocco, Nicoletta; Llabrés, Mercè; Reyes-Prieto, Mariana; Simeoni, Marta
MPath2PN - Translating Metabolic Pathways into Petri Nets
2011 Baldan, Paolo; Cocco, Nicoletta; De Nes, F.; Llabres Segura, M.; Marin, Andrea; Simeoni, Marta
Norms on Terms and their use in Proving Universal Termination of a Logic Program
1994 Bossi, Annalisa; Cocco, Nicoletta; M., Fabris
On Modular Termination Proofs of General Logic Programs
2002 Bossi, Annalisa; Cocco, Nicoletta; Etalle, S; Rossi, Sabina
On Safe Folding
1992 A., Bossi; Cocco, Nicoletta; S., Etalle
Petri nets for modelling and analysing trophic networks
2015 Baldan, Paolo; Bocci, Martina; Brigolin, Daniele; Cocco, Nicoletta; Simeoni, Marta
Petri Nets for Modelling and Analysing Trophic Networks
2018 Baldan, Paolo; Bocci, Martina; Brigolin, Daniele; Cocco, Nicoletta; Monika, Heiner; Simeoni, Marta
Petri nets for modelling metabolic pathways: a survey
2010 Baldan, P.; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta
Preserving Universal Termination through Unfold/Fold
1994 A., Bossi; Cocco, Nicoletta
Programs Without Failures
1998 A., Bossi; Cocco, Nicoletta
Proving Termination of Logic Programs by Exploiting Term Properties
1991 A., Bossi; Cocco, Nicoletta; M., Fabris