Nicoletta Cocco

32 papers A 1C 6Journal 14Unranked 10
YearRankTypeTitle / Venue / Authors
2018 J jnl
Petri Nets for Modelling and Analysing Trophic Networks.
Fundam. Informaticae
Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Monika Heiner, Marta Simeoni
2015 — conf
Petri nets for modelling and analysing trophic networks.
BioPPN@Petri Nets
Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Marta Simeoni
2013 J jnl
Comparing Metabolic Pathways through Reactions and Potential Fluxes.
Trans. Petri Nets Other Model. Concurr.
Paolo Baldan, Nicoletta Cocco, Federica Giummolè, Marta Simeoni
2013 — conf
Comparing metabolic pathways through potential fluxes: a selective opening approach.
BioPPN@Petri Nets
Paolo Baldan, Martina Bocci, Nicoletta Cocco, Marta Simeoni
2013 — conf
Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta.
CS2Bio
Paolo Baldan, Nicoletta Cocco, Marta Simeoni
2011 J jnl
A valuable experience in logic programming.
Intelligenza Artificiale
Annalisa Bossi, Nicoletta Cocco
2010 J jnl
Petri nets for modelling metabolic pathways: a survey.
Nat. Comput.
Paolo Baldan, Nicoletta Cocco, Andrea Marin, Marta Simeoni
2008 — conf
A Valuable Experience in Computational Logic.
Il Milione
Annalisa Bossi, Nicoletta Cocco
2004 — ch.
Declarative Semantics of Input Consuming Logic Programs.
Program Development in Computational Logic
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
2002 J jnl
On modular termination proofs of general logic programs.
Theory Pract. Log. Program.
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
2002 — conf
Transformation Systems and Nondeclarative Properties.
Computational Logic: Logic Programming and Beyond
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
2001 C conf
Termination of Well-Typed Logic Programs.
PPDP
Annalisa Bossi, Nicoletta Cocco, Sabina Rossi
2000 J jnl
On Modular Termination Proofs of General Logic Programs
CoRR
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
1999 J jnl
Termination of Well-Moded Programs.
J. Log. Program.
Sandro Etalle, Annalisa Bossi, Nicoletta Cocco
1999 C conf
Transformation of Left Terminating Programs.
LOPSTR
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
1998 C conf
Success in Logic Programs.
LOPSTR
Annalisa Bossi, Nicoletta Cocco
1997 C conf
Programs Without Failures.
LOPSTR
Annalisa Bossi, Nicoletta Cocco
1996 C conf
Replacement Can Preserve Termination.
LOPSTR
Annalisa Bossi, Nicoletta Cocco
1996 J jnl
Simultaneous Replacement in Normal Programs.
J. Log. Comput.
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
1995 C conf
Transformation of Left Terminating Programs: the Reordering Problem.
LOPSTR
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
1994 J jnl
Norms on Terms and their use in Proving Universal Termination of a Logic Program.
Theor. Comput. Sci.
Annalisa Bossi, Nicoletta Cocco, Massimo Fabris
1994 — conf
Preserving Universal Termination through Unfold/Fold.
ALP
Annalisa Bossi, Nicoletta Cocco
1993 J jnl
Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs.
J. Log. Program.
Annalisa Bossi, Nicoletta Cocco
1992 — conf
On Safe Folding.
PLILP
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
1992 — conf
Transforming Normal Programs by Replacement.
META
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
1992 A conf
Typed Norms.
ESOP
Annalisa Bossi, Nicoletta Cocco, Massimo Fabris
1991 — conf
Proving Termination of Logic Programs by Exploiting Term Properties.
TAPSOFT, Vol.2
Annalisa Bossi, Nicoletta Cocco, Massimo Fabris
1990 J jnl
A Method for Specializing Logic Programs.
ACM Trans. Program. Lang. Syst.
Annalisa Bossi, Nicoletta Cocco, Susi Dulli
1989 — conf
Verifying Correctness of Logic Programs.
TAPSOFT, Vol.2
Annalisa Bossi, Nicoletta Cocco
1985 J jnl
The Ada Task System and Real-Time Applications: An Implementation Schema.
Comput. Lang.
Nicoletta Cocco, Dino Mandrioli, Vitaliano Milanese
1983 J jnl
A Divide-and-Conquer Approach to General Context-Free Parsing.
Inf. Process. Lett.
Annalisa Bossi, Nicoletta Cocco, Livio Colussi
1982 J jnl
A Mechanism for Exception Handling and Its Verification Rules.
Comput. Lang.
Nicoletta Cocco, Susi Dulli