( en | de | ru )

 

Disambiguierung von "Huffman, Brian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification of Flow Equivalence in Desynchronized Designs.

, , , und . ASYNC, Seite 54-62. IEEE, (2020)

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.

David Huffman

Rolf-Walter Briant

Benoît Briand

Ursula Brian

Annette Brians

 

Weitere Publikationen von Autoren mit dem selben Namen

SAW: the software analysis workbench., , , , und . HILT, Seite 15-18. ACM, (2013)A New Foundation for Nominal Isabelle., und . ITP, Volume 6172 von Lecture Notes in Computer Science, Seite 35-50. Springer, (2010)Constructing Semantic Models of Programs with the Software Analysis Workbench., , , , , und . VSTTE, Volume 9971 von Lecture Notes in Computer Science, Seite 56-72. (2016)BASALISC: Flexible Asynchronous Hardware Accelerator for Fully Homomorphic Encryption., , , , , , , , , und 1 andere Autor(en). IACR Cryptol. ePrint Arch., (2022)Verified Cryptographic Code for Everybody., , , , , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 645-668. Springer, (2021)A Purely Definitional Universal Domain.. TPHOLs, Volume 5674 von Lecture Notes in Computer Science, Seite 260-275. Springer, (2009)Formal Verification of Flow Equivalence in Desynchronized Designs., , , und . ASYNC, Seite 54-62. IEEE, (2020)Axiomatic Constructor Classes in Isabelle/HOLCF., , und . TPHOLs, Volume 3603 von Lecture Notes in Computer Science, Seite 147-162. Springer, (2005)Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω 1., und . ITP, Volume 7998 von Lecture Notes in Computer Science, Seite 133-146. Springer, (2013)Formal verification of monad transformers.. ICFP, Seite 15-16. ACM, (2012)