( en | de | ru )

 

Disambiguierung von "Barrett, Clark W."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.

, , , und . SAS, Volume 5079 von Lecture Notes in Computer Science, Seite 62-77. Springer, (2008)

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

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)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)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)Reluplex: a calculus for reasoning about deep neural networks., , , , und . Formal Methods Syst. Des., 60 (1): 87-116 (Februar 2022)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)H2O: Heavy-Hitter Oracle for Efficient Generative Inference of Large Language Models., , , , , , , , , und 2 andere Autor(en). CoRR, (2023)