( en | de | ru )

 

Disambiguierung von "Melham, Tom"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modelling, abstraction, and computation in Systems Biology: A view from Computer Science

. Progress in Biophysics and Molecular Biology, (September 2012)
DOI: 10.1016/j.pbiomolbio.2012.08.015

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marieta Ioana Toma

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

Tom Quaiser

Tom Klimant

Tom Haverkamp

Tom Wagner

 

Weitere Publikationen von Autoren mit dem selben Namen

A Formal CHERI-C Semantics for Verification., , und . TACAS (1), Volume 13993 von Lecture Notes in Computer Science, Seite 549-568. Springer, (2023)End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers., und . FMCAD, Seite 24-33. IEEE, (2021)Automatic Heap Layout Manipulation for Exploitation., , und . USENIX Security Symposium, Seite 763-779. USENIX Association, (2018)Equivalence Checking Using Trace Partitioning., , , und . ISVLSI, Seite 13-18. IEEE Computer Society, (2015)DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning., , , , und . AAAI, Seite 7647-7656. AAAI Press, (2021)Verification of tree-based hierarchical read-copy update in the Linux kernel., , , und . DATE, Seite 61-66. IEEE, (2018)Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel., , , und . CoRR, (2016)Active Learning of Abstract System Models from Traces using Model Checking., , und . DATE, Seite 100-103. IEEE, (2022)Generating Realistic Unrestricted Adversarial Inputs using Dual-Objective GAN Training., , und . CoRR, (2019)Relational STE and theorem proving for formal verification of industrial circuit designs., , und . FMCAD, Seite 97-104. IEEE, (2013)