Author of the publication

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.

 

Other publications of authors with the same name

Unbiased Markov chain Monte Carlo with couplings, , and . (2017)cite arxiv:1708.03625Comment: Final version, accepted as a JRSS discussion paper; includes supplementary material as appendices; 12 figures, 48 pages.Synchronous Elastic Circuits., , , , and . CSR, volume 3967 of Lecture Notes in Computer Science, page 3-5. Springer, (2006)Learning Concise Models from Long Execution Traces., , , and . DAC, page 1-6. IEEE, (2020)Mothers of Pipelines., , and . PDPAR/PaUL@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 7-22. Elsevier, (2006)Preface., and . TV@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 1-4. Elsevier, (2006)Formal verification - prove it or pitch it., , , , , , , , and . DAC, page 710-711. ACM, (2003)Developing Interface Libraries for Reconfigurable Data Acquisition Boards., , and . FPL, volume 975 of Lecture Notes in Computer Science, page 331-340. Springer, (1995)CREST: Hardware Formal Verification with ANSI-C Reference Specifications., , , and . CoRR, (2019)Retargeting a hardware compiler proof using protocol converters., , and . ASYNC, page 54-63. IEEE, (1994)Synchronous emulation of asynchronous circuits., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (2): 205-209 (1997)