Autor der Publikation

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

Distributed Markov Chains., , , und . CoRR, (2014)Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning., , , , und . CoRR, (2023)Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems., , und . AICAS, Seite 50-53. IEEE, (2022)Adversarial Attacks against AI-driven Experimental Peptide Design Workflows., und . XLOOP@SC, Seite 30-35. IEEE, (2021)Model Validation and Discovery for Complex Stochastic Systems.. Carnegie Mellon University, USA, (2010)Design of compact memristive in-memory computing systems using model counting., und . ISCAS, Seite 1-4. IEEE, (2017)Symbolic Approaches for Finding Control Strategies in Boolean Networks., und . APBC, Volume 6 von Advances in Bioinformatics and Computational Biology, Seite 307-320. Imperial College Press, (2008)Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures., , , und . ISCAS, Seite 1-5. IEEE, (2021)Equivalence Checking for Flow-Based Computing., , und . ICCD, Seite 656-663. IEEE, (2022)Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway., , , , , und . CMSB, Volume 5307 von Lecture Notes in Computer Science, Seite 231-250. Springer, (2008)