Author of the publication

Comparing Metabolic Pathways through Reactions and Potential Fluxes.

, , , and . Trans. Petri Nets Other Model. Concurr., (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta., , and . CS2Bio, volume 299 of Electronic Notes in Theoretical Computer Science, page 5-13. Elsevier, (2013)Declarative Semantics of Input Consuming Logic Programs., , , and . Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, Springer, (2004)Transforming Normal Programs by Replacement., , and . META, volume 649 of Lecture Notes in Computer Science, page 265-279. Springer, (1992)Transformation of Left Terminating Programs: the Reordering Problem., , and . LOPSTR, volume 1048 of Lecture Notes in Computer Science, page 33-45. Springer, (1995)Proving Termination of Logic Programs by Exploiting Term Properties., , and . TAPSOFT, Vol.2, volume 494 of Lecture Notes in Computer Science, page 153-180. Springer, (1991)Verifying Correctness of Logic Programs., and . TAPSOFT, Vol.2, volume 352 of Lecture Notes in Computer Science, page 96-110. Springer, (1989)Replacement Can Preserve Termination., and . LOPSTR, volume 1207 of Lecture Notes in Computer Science, page 104-129. Springer, (1996)Programs Without Failures., and . LOPSTR, volume 1463 of Lecture Notes in Computer Science, page 28-48. Springer, (1997)Transformation of Left Terminating Programs., , and . LOPSTR, volume 1817 of Lecture Notes in Computer Science, page 156-175. Springer, (1999)A Valuable Experience in Computational Logic., and . Il Milione, volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)