( en | de | ru )

 

Disambiguierung von "Barrett, Clark W."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
EMME: A Formal Tool for ECMAScript Memory Model Evaluation.

, , , , und . TACAS (2), Volume 10806 von Lecture Notes in Computer Science, Seite 55-71. Springer, (2018)

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.

Colin Barrett

Clark Gorsler

Susanne Clark

Clark Nauschütz

Tim Clark

 

Weitere Publikationen von Autoren mit dem selben Namen

Gap-free Processor Verification by S2QED and Property Generation., , , , , , , und . DATE, Seite 526-531. IEEE, (2020)Politeness for the Theory of Algebraic Datatypes., , , , , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 238-255. Springer, (2020)A Framework for Cooperating Decision Procedures., , und . CADE, Volume 1831 von Lecture Notes in Computer Science, Seite 79-98. Springer, (2000)Solving Quantified Verification Conditions Using Satisfiability Modulo Theories., , und . CADE, Volume 4603 von Lecture Notes in Computer Science, Seite 167-182. Springer, (2007)Witness Runs for Counter Machines., , und . FroCos, Volume 8152 von Lecture Notes in Computer Science, Seite 120-150. Springer, (2013)Towards Proving the Adversarial Robustness of Deep Neural Networks., , , , und . FVAV@iFM, Volume 257 von EPTCS, Seite 19-26. (2017)Synthesising Programs with Non-trivial Constants., , , , , , , , und . J. Autom. Reason., 67 (2): 19 (Juni 2023)Algorithms for Verifying Deep Neural Networks., , , , , und . Found. Trends Optim., 4 (3-4): 244-404 (2021)Tighter Abstract Queries in Neural Network Verification., , , und . CoRR, (2022)lazybvtoint at the SMT Competition 2020., , , , , und . CoRR, (2021)