COCCO, Nicoletta

COCCO, Nicoletta  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 29 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A Divide-and-conquer Approach to General Context-free Parsing 1-gen-1983 COCCO, Nicoletta + 2.1 Articolo su rivista -
A Mechanism for Exception Handlingand its Verification Rules 1-gen-1982 COCCO, Nicoletta + 2.1 Articolo su rivista -
A Method for Specializing Logic Programs 1-gen-1990 COCCO, Nicoletta + 2.1 Articolo su rivista -
A Valuable Experience in Computational Logic 1-gen-2011 COCCO, Nicoletta + 2.1 Articolo su rivista -
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs 1-gen-1993 BOSSI, AnnalisaCOCCO, Nicoletta 2.1 Articolo su rivista -
Comparing Metabolic Pathways through Potential Fluxes: a Selective Opening Approach 1-gen-2013 COCCO, NicolettaSIMEONI, Marta + 4.1 Articolo in Atti di convegno -
Comparing Metabolic Pathways through Reactions and Potential Fluxes 1-gen-2013 COCCO, NicolettaGIUMMOLE', FedericaSIMEONI, Marta + 3.1 Articolo su libro -
Comparison of Metabolic Pathways by Considering Potential Fluxes 1-gen-2012 BALDAN, PaoloCOCCO, NicolettaSIMEONI, Marta 4.1 Articolo in Atti di convegno -
Declarative Semantics of Input Consuming Logic Programs 1-gen-2004 BOSSI, AnnalisaCOCCO, NicolettaROSSI, Sabina + 3.1 Articolo su libro -
MetNet: A two-level approach to reconstructing and comparing metabolic networks 1-gen-2021 Cocco, NicolettaSimeoni, Marta + 2.1 Articolo su rivista -
MPath2PN - Translating Metabolic Pathways into Petri Nets 1-gen-2011 BALDAN, PaoloCOCCO, NicolettaMARIN, AndreaSIMEONI, Marta + 4.1 Articolo in Atti di convegno -
Norms on Terms and their use in Proving Universal Termination of a Logic Program 1-gen-1994 BOSSI, AnnalisaCOCCO, Nicoletta + 2.1 Articolo su rivista -
On Modular Termination Proofs of General Logic Programs 1-gen-2002 BOSSI, AnnalisaCOCCO, NicolettaROSSI, Sabina + 2.1 Articolo su rivista -
On Safe Folding 1-gen-1992 COCCO, Nicoletta + 4.1 Articolo in Atti di convegno -
Petri nets for modelling and analysing trophic networks 1-gen-2015 BALDAN, PaoloBocci, MartinaBRIGOLIN, DanieleCOCCO, NicolettaSIMEONI, Marta 4.1 Articolo in Atti di convegno -
Petri Nets for Modelling and Analysing Trophic Networks 1-gen-2018 Bocci, MartinaBRIGOLIN, DanieleCOCCO, NicolettaSIMEONI, Marta + 2.1 Articolo su rivista -
Petri nets for modelling metabolic pathways: a survey 1-gen-2010 COCCO, NicolettaMARIN, AndreaSIMEONI, Marta + 2.1 Articolo su rivista -
Preserving Universal Termination through Unfold/Fold 1-gen-1994 COCCO, Nicoletta + 4.1 Articolo in Atti di convegno -
Programs Without Failures 1-gen-1998 COCCO, Nicoletta + 4.1 Articolo in Atti di convegno -
Proving Termination of Logic Programs by Exploiting Term Properties 1-gen-1991 COCCO, Nicoletta + 4.1 Articolo in Atti di convegno -