Author of the publication

A SystemC-based platform for assertion-based verification and mutation analysis in systems biology.

, , , , , , and . LATS, page 159-164. IEEE, (2016)

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

Clustered Trie Structures for Approximate Search in Hierarchical Objects Collections., , and . ICAPR (1), volume 3686 of Lecture Notes in Computer Science, page 63-70. Springer, (2005)Algorithmics and Applications of Tree and Graph Searching., , and . PODS, page 39-52. ACM, (2002)Looking for the Lost Follis., , , and . Eurographics (Short Presentations), Eurographics Association, (1999)Editorial., , and . Briefings Bioinform., 12 (6): 547-548 (2011)miRò: a miRNA knowledge base., , , , , , , , and . Database J. Biol. Databases Curation, (2009)OCDB: a database collecting genes, miRNAs and drugs for obsessive-compulsive disorder., , , , , and . Database J. Biol. Databases Curation, (2015)Drug-target interaction prediction through domain-tuned network-based inference., , , and . Bioinform., 29 (16): 2004-2008 (2013)TEDAR: Temporal dynamic signal detection of adverse reactions., , , and . Artif. Intell. Medicine, (2021)CRISPRitz: rapid, high-throughput and variant-aware in silico off-target site identification for CRISPR genome editing., , , , and . Bioinform., 36 (7): 2001-2008 (2020)A survey on algorithms to characterize transcription factor binding sites., , and . Briefings Bioinform., (May 2023)