PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Myers, Chris J."

Author of the publication

copydeleteadd this publication to your clipboard
Efficient Exact Two-Level Hazard-Free Logic Minimization.

, and . ASYNC, page 64-73. IEEE Computer Society, (2001)

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.

Chris Bühler University of Stuttgart

Katrin Christ University of Stuttgart

M. Christmann

J. K\"astner

J. Schwarz

 

Other publications of authors with the same name

Interfacing synchronous and asynchronous modules within a high-speed pipeline., and . IEEE Trans. VLSI Syst., 8 (5): 573-583 (2000)Learning Genetic Regulatory Network Connectivity from Time Series Data., , and . IEA/AIE, volume 4031 of Lecture Notes in Computer Science, page 962-971. Springer, (2006)iSSA: An incremental stochastic simulation algorithm for genetic circuits., , and . ISCAS, page 553-556. IEEE, (2010)Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits., , and . ICCAD, page 424-432. IEEE Computer Society / ACM, (2003)Automatic abstraction for verification of cyber-physical systems., , , and . ICCPS, page 12-21. ACM, (2010)Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems., , , , and . ICCPS, page 232. IEEE Computer Society, (2012)ILP-based Scheduling for Asynchronous Circuits in Bundled-Data Implementation., , , , and . CIT, page 172. IEEE Computer Society, (2006)Efficient Exact Two-Level Hazard-Free Logic Minimization., and . ASYNC, page 64-73. IEEE Computer Society, (2001)Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis., , and . DAC, page 66:1-66:6. ACM, (2013)Production-Passage-Time Approximation: A New Approximation Method to Accelerate the Simulation Process of Enzymatic Reactions., and . RECOMB, volume 4453 of Lecture Notes in Computer Science, page 166-180. Springer, (2007)