Autor der Publikation

Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

, und (Hrsg.) Volume 10929 von Lecture Notes in Computer Science, Springer, (2018)

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

A Concurrent Portfolio Approach to SMT Solving., , und . CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 715-720. Springer, (2009)Loop Summarization and Termination Analysis., , , und . TACAS, Volume 6605 von Lecture Notes in Computer Science, Seite 81-95. Springer, (2011)Automated Synthesis and Analysis of Switching Gene Regulatory Networks., , , , , , , und . Biosyst., (2016)Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability., , , , , , , , , und 5 andere Autor(en). Proc. VLDB Endow., 17 (2): 225-240 (2023)Loop Summarization Using Abstract Transformers., , , , und . ATVA, Volume 5311 von Lecture Notes in Computer Science, Seite 111-125. Springer, (2008)Loopfrog: A Static Analyzer for ANSI-C Programs., , , , und . ASE, Seite 668-670. IEEE Computer Society, (2009)Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains., , , , und . QEST, Volume 8657 von Lecture Notes in Computer Science, Seite 388-403. Springer, (2014)Seven Challenges in Parallel SAT Solving., und . AI Mag., 34 (2): 99-106 (2013)SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data., , , , und . BMC Syst. Biol., 12 (1): 59:1-59:7 (2018)Ranking function synthesis for bit-vector relations., , , und . Formal Methods Syst. Des., 43 (1): 93-120 (2013)