Author of the publication

Rob Tristan Gerth: 1956?2003.

, and . CAV, volume 3114 of Lecture Notes in Computer Science, page 1-14. Springer, (2004)

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)Maximal Couplings of the Metropolis-Hastings Algorithm., , and . AISTATS, volume 130 of Proceedings of Machine Learning Research, page 1225-1233. PMLR, (2021)Retargeting a hardware compiler proof using protocol converters., , and . ASYNC, page 54-63. IEEE, (1994)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)Synchronous Elastic Networks., , , and . FMCAD, page 19-30. IEEE Computer Society, (2006)Symbolic verification of timed asynchronous hardware protocols., , and . ISVLSI, page 147-152. IEEE Computer Socity, (2013)Large-scale cooperative 3D visual-inertial mapping in a Manhattan world., , , , , , , , and . ICRA, page 1071-1078. IEEE, (2016)