( 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

BASALISC: Flexible Asynchronous Hardware Accelerator for Fully Homomorphic Encryption., , , , , , , , , and 1 other author(s). IACR Cryptol. ePrint Arch., (2022)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)Stream Fusion.. Arch. Formal Proofs, (2009)Formal proof development.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)A Purely Definitional Universal Domain.. TPHOLs, volume 5674 of Lecture Notes in Computer Science, page 260-275. Springer, (2009)Formal Verification of Flow Equivalence in Desynchronized Designs., , , and . ASYNC, page 54-62. IEEE, (2020)Free Boolean Algebra.. Arch. Formal Proofs, (2010)Formal proof development.Axiomatic Constructor Classes in Isabelle/HOLCF., , and . TPHOLs, volume 3603 of Lecture Notes in Computer Science, page 147-162. Springer, (2005)