( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Improvements to boolean resynthesis.

, , , , , , , и . DATE, стр. 755-760. IEEE, (2018)

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.

Robert K Saam

Robert K Müller

Robert K Müller

Robert K Dudler

Robert K G Köhler

 

Другие публикации лиц с тем же именем

DAG-aware AIG rewriting a fresh look at combinational logic synthesis., , и . DAC, стр. 532-535. ACM, (2006)Semi-detailed bus routing with variation reduction., и . ISPD, стр. 143-150. ACM, (2007)NSF Workshop on EDA: Past, Present, and Future (Part 1)., и . IEEE Des. Test Comput., 27 (2): 68-74 (2010)Explicit and implicit algorithms for binate covering problems., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (7): 677-691 (1997)Theory of safe replacements for sequential circuits., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 20 (2): 249-265 (2001)Component-Based Design by Solving Language Equations., , , , и . Proc. IEEE, 103 (11): 2152-2167 (2015)A new algorithm for the largest compositionally progressive solution of synchronous language equations., , , , и . ACM Great Lakes Symposium on VLSI, стр. 441-444. ACM, (2007)Permissible Observability Relations in FSM Networks., и . DAC, стр. 677-683. ACM Press, (1994)A Fully Implicit Algorithm for Exact State Minimization., , , и . DAC, стр. 684-690. ACM Press, (1994)Espresso-Signature: A New Exact Minimizer for Logic Functions., , , и . DAC, стр. 618-624. ACM Press, (1993)