( en | de | ru )

 

Disambiguation of "Huffman, Brian"

Author of the publication

copydeleteadd this publication to your clipboard
Constructing Semantic Models of Programs with the Software Analysis Workbench.

, , , , , and . VSTTE, volume 9971 of Lecture Notes in Computer Science, page 56-72. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David Huffman

Rolf-Walter Briant

Benoît Briand

Ursula Brian

Annette Brians

 

Other publications of authors with the same name

Constructing Semantic Models of Programs with the Software Analysis Workbench., , , , , and . VSTTE, volume 9971 of Lecture Notes in Computer Science, page 56-72. (2016)Verified Cryptographic Code for Everybody., , , , , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 645-668. Springer, (2021)BASALISC: Flexible Asynchronous Hardware Accelerator for Fully Homomorphic Encryption., , , , , , , , , and 1 other author(s). IACR Cryptol. ePrint Arch., (2022)SAW: the software analysis workbench., , , , and . HILT, page 15-18. ACM, (2013)A New Foundation for Nominal Isabelle., and . ITP, volume 6172 of Lecture Notes in Computer Science, page 35-50. Springer, (2010)Stream Fusion.. Arch. Formal Proofs, (2009)Formal proof development.Free Boolean Algebra.. Arch. Formal Proofs, (2010)Formal proof development.Formal Verification of Flow Equivalence in Desynchronized Designs., , , and . ASYNC, page 54-62. IEEE, (2020)A Purely Definitional Universal Domain.. TPHOLs, volume 5674 of Lecture Notes in Computer Science, page 260-275. Springer, (2009)Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω 1., and . ITP, volume 7998 of Lecture Notes in Computer Science, page 133-146. Springer, (2013)