( en | de | ru )

 

Disambiguation of "Melham, Tom"

Author of the publication

copydeleteadd this publication to your clipboard
Epilogue: Some conceptual foundations of systems biology.

, , and . Progress in biophysics and molecular biology, (Dec 27, 2012)
DOI: 10.1016/j.pbiomolbio.2012.12.002

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.

Marieta Ioana Toma

Zentrosomenmorphologie in Prostatakarzinomen: eine immunhistologische Studie mit Korrelation zu DNA-Ploidie und kliniko-pathologischen Parametern. TU Dresden, (2008)

Tom Rapoport

Tom Herrmann

Tom Ritter

Tom Grigull

 

Other publications of authors with the same name

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)., , , , and . CoRR, (2016)Enhancing active model learning with equivalence checking using simulation relations., , and . Formal Methods Syst. Des., 61 (2): 164-197 (December 2022)DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning., , , , and . AAAI, page 7647-7656. AAAI Press, (2021)Equivalence Checking Using Trace Partitioning., , , and . ISVLSI, page 13-18. IEEE Computer Society, (2015)Assume-guarantee validation for STE properties within an SVA environment., , and . FMCAD, page 108-115. IEEE, (2009)Equivalence Checking of a Floating-Point Unit Against a High-Level C Model., , , , and . FM, volume 9995 of Lecture Notes in Computer Science, page 551-558. (2016)Modelling, abstraction, and computation in Systems Biology: A view from Computer Science. Progress in Biophysics and Molecular Biology, (September 2012)Epilogue: Some conceptual foundations of systems biology., , and . Progress in biophysics and molecular biology, (Dec 27, 2012)A Formal CHERI-C Semantics for Verification., , and . CoRR, (2022)Hardware Verification Using Software Analyzers., , and . ISVLSI, page 7-12. IEEE Computer Society, (2015)