( en | de | ru )

 

Disambiguierung von "Schneider, Joshua"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verified First-Order Monitoring with Recursive Rules.

, , , , und . TACAS (2), Volume 13244 von Lecture Notes in Computer Science, Seite 236-253. Springer, (2022)

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.

Joshua Migdal

Joshua Cordes

Joshua Sempebwa

Joshua Amavi

Joshua Sempebwa

 

Weitere Publikationen von Autoren mit dem selben Namen

Verified First-Order Monitoring with Recursive Rules., , , , und . TACAS (2), Volume 13244 von Lecture Notes in Computer Science, Seite 236-253. Springer, (2022)Monitoring the Internet Computer., , , , , , und . FM, Volume 14000 von Lecture Notes in Computer Science, Seite 383-402. Springer, (2023)A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic., , , , , , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 432-453. Springer, (2020)VeriMon: A Formally Verified Monitoring Tool., , , , , , , , , und 3 andere Autor(en). ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 1-6. Springer, (2022)Monitoring the Internet Computer (Artifact)., , , , , , und . (November 2022)Quotients of Bounded Natural Functors., , , und . Log. Methods Comput. Sci., (2022)Correct and Efficient Policy Monitoring, a Retrospective., , , und . ATVA (1), Volume 14215 von Lecture Notes in Computer Science, Seite 3-30. Springer, (2023)A Formally Verified Monitor for Metric First-Order Temporal Logic., , , und . RV, Volume 11757 von Lecture Notes in Computer Science, Seite 310-328. Springer, (2019)Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations., , , , und . Arch. Formal Proofs, (2020)Adaptive Online First-Order Monitoring., , , , und . ATVA, Volume 11781 von Lecture Notes in Computer Science, Seite 133-150. Springer, (2019)