Author of the publication

A robust and efficient method for estimating enzyme complex abundance and metabolic flux from expression data.

, , , , , , , and . Comput. Biol. Chem., (2015)

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

Distributed meta-programming., , and . GPCE, page 243-248. ACM, (2006)Combining type-checking with model-checking for system verification., and . MEMOCODE, page 54-58. IEEE, (2016)Dependent Types for Multi-Rate Flows in Synchronous Programming., and . ML Family/OCaml, volume 241 of EPTCS, page 36-44. (2015)To Memory Safety through Proofs., and . CoRR, (2018)Implementing Linking in Multiparty Sessions (Extended Abstract)., and . CoRR, (2018)Implementing Typeful Program Transformations., , and . Fundam. Informaticae, 69 (1-2): 103-121 (2006)Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell., , and . PADL, volume 3057 of Lecture Notes in Computer Science, page 239-254. Springer, (2004)Preface., and . PLPV@IJCAR, volume 174 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2006)Implementing typeful program transformations., and . PEPM, page 20-28. ACM, (2003)Development Separation in Lambda-Calculus.. WoLLIC, volume 143 of Electronic Notes in Theoretical Computer Science, page 207-221. Elsevier, (2005)