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

Checking signal transition graph implementability by symbolic BDD traversal., , , , , and . ED&TC, page 325-332. IEEE Computer Society, (1995)Symbolic Analysis of Bounded Petri Nets., , and . IEEE Trans. Computers, 50 (5): 432-448 (2001)Hierarchical gate-level verification of speed-independent circuits., , and . ASYNC, page 128-137. IEEE Computer Society, (1995)A new look at the conditions for the synthesis of speed-independent circuits., , and . Great Lakes Symposium on VLSI, page 230-. IEEE Computer Society, (1995)Structural methods for the synthesis of speed-independent circuits., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 17 (11): 1108-1129 (1998)Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits., , , and . DAC, page 620-625. ACM Press, (1997)Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets., , and . Application and Theory of Petri Nets, volume 935 of Lecture Notes in Computer Science, page 374-391. Springer, (1995)Review of General and Toeplitz Vector Bidiagonal Solvers., , , and . Parallel Comput., 22 (8): 1091-1126 (1996)Structural Methods for the Synthesis of Speed-Independent Circuits., , , and . ED&TC, page 340-349. IEEE Computer Society, (1996)A generalized vision of some parallel bidiagonal systems solvers., , , and . International Conference on Supercomputing, page 404-411. ACM, (1994)