From post

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.

 

Другие публикации лиц с тем же именем

Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures., , , и . ISCAS, стр. 1-5. IEEE, (2021)Equivalence Checking for Flow-Based Computing., , и . ICCD, стр. 656-663. IEEE, (2022)Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway., , , , , и . CMSB, том 5307 из Lecture Notes in Computer Science, стр. 231-250. Springer, (2008)Verification of Object Relational Maps., , , и . SEFM, стр. 283-292. IEEE Computer Society, (2007)Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data., , , и . ICCABS, стр. 1-6. IEEE Computer Society, (2014)Parameter Estimation of Stochastic Biochemical Models using Multiple Hypothesis Testing., и . ICCABS, стр. 1. IEEE Computer Society, (2018)Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision., , , и . AAAI, стр. 5289-5297. AAAI Press, (2024)Distributed Markov Chains., , , и . CoRR, (2014)Adversarial Attacks against AI-driven Experimental Peptide Design Workflows., и . XLOOP@SC, стр. 30-35. IEEE, (2021)Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems., , и . AICAS, стр. 50-53. IEEE, (2022)