Autor der Publikation

Model verification tools: a computational framework for verification assessment of mechanistic agent-based models.

, , , und . BMC Bioinform., 22-S (14): 626 (2021)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

An application-oriented analysis of power/precision trade-off in fixed and floating-point arithmetic units for VLSI processors., , und . Circuits, Signals, and Systems, Seite 416-421. IASTED/ACTA Press, (2004)An agent based modeling approach for the analysis of tuberculosis - immune system dynamics., , , , , , und . BIBM, Seite 1386-1392. IEEE Computer Society, (2018)Verify: a toolbox for deterministic verification of computational models., , , , , , und . BIBM, Seite 1262-1267. IEEE, (2020)PETAL: a Python tool for deep analysis of biological pathways., , und . Bioinform., 36 (22-23): 5553-5555 (2021)Agent based modeling of Treg-Teff cross regulation in relapsing-remitting multiple sclerosis., , , und . BMC Bioinform., 14 (S-16): S9 (2013)Using High-Level Synthesis to model System Verilog procedural timing controls., , , , und . DATE, Seite 1-6. IEEE, (2023)Modeling PI3K/PDK1/Akt and MAPK Signaling Pathways Using Continuous Petri Nets., , , und . ICIC (2), Volume 10362 von Lecture Notes in Computer Science, Seite 169-175. Springer, (2017)Modeling Cutaneous Leishmaniasis: Insights into M1/M2 Macrophage Dynamics Using the Universal Immune System Simulator., , , , , und . BIBM, Seite 3697-3701. IEEE, (2023)PEAK: A Clever Python Tool for Exploratory, Regression, and Classification Data. A Case Study for COVID-19., , , , und . BIOMESIP, Volume 12940 von Lecture Notes in Computer Science, Seite 361-370. Springer, (2021)Design issues for bus switch systems in deep sub-micro metric CMOS technologies., , und . Circuits, Signals, and Systems, Seite 112-117. IASTED/ACTA Press, (2005)