Autor der Publikation

On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation.

, , und . FoSSaCS, Volume 3921 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2006)

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

Training Deep Code Comment Generation Models via Data Augmentation., , , und . Internetware, Seite 185-188. ACM, (2020)Neuro-symbolic Learning Yielding Logical Constraints., , , , , , , und . NeurIPS, (2023)Synthesizing barrier certificates using neural networks., , , und . HSCC, Seite 25:1-25:11. ACM, (2020)DeJITLeak: eliminating JIT-induced timing side-channel leaks., , , , und . ESEC/SIGSOFT FSE, Seite 872-884. ACM, (2022)On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation., , und . FoSSaCS, Volume 3921 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2006)PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation., , , , und . CAV (1), Volume 13371 von Lecture Notes in Computer Science, Seite 385-406. Springer, (2022)An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems., , , , und . FASE, Volume 9633 von Lecture Notes in Computer Science, Seite 269-286. Springer, (2016)On Finite Alphabets and Infinite Bases III: Simulation., und . CONCUR, Volume 4137 von Lecture Notes in Computer Science, Seite 421-434. Springer, (2006)Tractability of Separation Logic with Inductive Definitions: Beyond Lists., , und . CONCUR, Volume 85 von LIPIcs, Seite 37:1-37:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Context-aware code generation with synchronous bidirectional decoder., , , , und . J. Syst. Softw., (2024)