( en | de | ru )

 

Disambiguierung von "Katz, Guy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Theory-Aided Model Checking of Concurrent Transition Systems.

, , und . FMCAD, Seite 81-88. IEEE, (2015)

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.

Guy Katz

Olga Guyot

Thomas Guyet

Karl Guyot

Peter Guyot

 

Weitere Publikationen von Autoren mit dem selben Namen

Wise Computing: Towards Endowing System Development with True Wisdom., , , und . CoRR, (2015)Tighter Abstract Queries in Neural Network Verification., , , und . LPAR, Volume 94 von EPiC Series in Computing, Seite 124-143. EasyChair, (2023)Guarded Deep Learning using Scenario-based Modeling.. MODELSWARD, Seite 126-136. SCITEPRESS, (2020)Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures., und . AGERE!@SPLASH, Seite 95-108. ACM, (2014)On the Succinctness of Idioms for Concurrent Programming., , , , und . CONCUR, Volume 42 von LIPIcs, Seite 85-99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)An SMT-Based Approach for Verifying Binarized Neural Networks., , , und . CoRR, (2020)Verifying learning-augmented systems., , , und . SIGCOMM, Seite 305-318. ACM, (2021)Towards a Certified Proof Checker for Deep Neural Network Verification., , , , , und . LOPSTR, Volume 14330 von Lecture Notes in Computer Science, Seite 198-209. Springer, (2023)Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification.. SMT, Volume 2908 von CEUR Workshop Proceedings, Seite 1. CEUR-WS.org, (2021)Relaxing Synchronization Constraints in Behavioral Programs., , und . LPAR, Volume 8312 von Lecture Notes in Computer Science, Seite 355-372. Springer, (2013)