( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Simulation Algorithms for Symbolic Automata.

, , , , и . ATVA, том 11138 из Lecture Notes in Computer Science, стр. 109-125. Springer, (2018)

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.

Ondrej Burkacky

Ondrej Kuncar

Ondrej Vorisek

Ondrej Zofka

Ondrej Rypacek

 

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

Approximate reduction of finite automata for high-speed network intrusion detection., , , , и . Int. J. Softw. Tools Technol. Transf., 22 (5): 523-539 (2020)Z3-Noodler: An Automata-based String Solver (Technical Report)., , , , , и . CoRR, (2023)SPEN: A Solver for Separation Logic., , , и . NFM, том 10227 из Lecture Notes in Computer Science, стр. 302-309. (2017)HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware., , и . Haifa Verification Conference, том 7261 из Lecture Notes in Computer Science, стр. 247-253. Springer, (2011)Simulations in Rank-Based Büchi Automata Complementation., , и . APLAS, том 11893 из Lecture Notes in Computer Science, стр. 447-467. Springer, (2019)Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation., и . CONCUR, том 203 из LIPIcs, стр. 2:1-2:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Automata Terms in a Lazy WSkS Decision Procedure (Technical Report)., , , и . CoRR, (2019)An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits., , , , , и . Proc. ACM Program. Lang., 7 (PLDI): 1218-1243 (2023)Antiprenexing for WSkS: A Little Goes a Long Way., , , , и . LPAR, том 73 из EPiC Series in Computing, стр. 298-316. EasyChair, (2020)Nested Antichains for WS1S., , , и . TACAS, том 9035 из Lecture Notes in Computer Science, стр. 658-674. Springer, (2015)