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