( en | de | ru )

 

Disambiguation of "Roncken, Marly"

Author of the publication

copydeleteadd this publication to your clipboard
CAD Directions for High Performance Asynchronous Circuits.

, , , , , , and . DAC, page 116-121. ACM Press, (1999)

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.

Jochen Marly

Marly Antonia Maldaner Jacobi

 

Other publications of authors with the same name

A Proof System for Brinch Hansen's Distributed Processes., , and . GI Jahrestagung, volume 50 of Informatik-Fachberichte, page 88-95. Springer, (1981)CAD Directions for High Performance Asynchronous Circuits., , , , , , and . DAC, page 116-121. ACM Press, (1999)Naturalized Communication and Testing., , , , , and . ASYNC, page 77-84. IEEE Computer Society, (2015)Data-Loop-Free Self-Timed Circuit Verification., , , , and . ASYNC, page 51-58. IEEE Computer Society, (2018)Rob Tristan Gerth: 1956?2003., and . CAV, volume 3114 of Lecture Notes in Computer Science, page 1-14. Springer, (2004)A Framework for Asynchronous Circuit Modeling and Verification in ACL2., , , and . Haifa Verification Conference, volume 10629 of Lecture Notes in Computer Science, page 3-18. Springer, (2017)Optimal Scan for Pipelined Testing: An Asynchronous Foundation., , and . ITC, page 215-224. IEEE Computer Society, (1996)Characterization and Evaluation of a Compiled Asynchronous IC., , , , and . Asynchronous Design Methodologies, volume A-28 of IFIP Transactions, page 209-221. North-Holland, (1993)Procedures and concurrency: A study in proof., , and . Symposium on Programming, volume 137 of Lecture Notes in Computer Science, page 132-163. Springer, (1982)A Hierarchical Approach to Self-Timed Circuit Verification., , , , and . ASYNC, page 105-113. IEEE, (2019)