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)Preface., and . TV@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 1-4. Elsevier, (2006)Mothers of Pipelines., , and . PDPAR/PaUL@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 7-22. Elsevier, (2006)Learning Concise Models from Long Execution Traces., , , and . DAC, page 1-6. IEEE, (2020)Synchronous emulation of asynchronous circuits., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (2): 205-209 (1997)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)Retargeting a hardware compiler proof using protocol converters., , and . ASYNC, page 54-63. IEEE, (1994)CREST: Hardware Formal Verification with ANSI-C Reference Specifications., , , and . CoRR, (2019)