( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verified First-Order Monitoring with Recursive Rules.

, , , , и . TACAS (2), том 13244 из Lecture Notes in Computer Science, стр. 236-253. Springer, (2022)

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.

Joshua Migdal

Joshua Sempebwa

Joshua Cordes

Joshua Amavi

Joshua Sempebwa

 

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

Verified First-Order Monitoring with Recursive Rules., , , , и . TACAS (2), том 13244 из Lecture Notes in Computer Science, стр. 236-253. Springer, (2022)Monitoring the Internet Computer., , , , , , и . FM, том 14000 из Lecture Notes in Computer Science, стр. 383-402. Springer, (2023)A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic., , , , , , и . IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 432-453. Springer, (2020)VeriMon: A Formally Verified Monitoring Tool., , , , , , , , , и 3 other автор(ы). ICTAC, том 13572 из Lecture Notes in Computer Science, стр. 1-6. Springer, (2022)Monitoring the Internet Computer (Artifact)., , , , , , и . (ноября 2022)Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations., , , , и . Arch. Formal Proofs, (2020)Quotients of Bounded Natural Functors., , , и . IJCAR (2), том 12167 из Lecture Notes in Computer Science, стр. 58-78. Springer, (2020)Adaptive Online First-Order Monitoring., , , , и . ATVA, том 11781 из Lecture Notes in Computer Science, стр. 133-150. Springer, (2019)Metric First-Order Temporal Logic with Complex Data Types., , и . RV, том 14245 из Lecture Notes in Computer Science, стр. 126-147. Springer, (2023)Randomized First-Order Monitoring with Hashing.. RV, том 13498 из Lecture Notes in Computer Science, стр. 3-24. Springer, (2022)