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

Multiway Decision Graphs for Automated Hardware Verification., , , , and . Formal Methods in System Design, 10 (1): 7-46 (1997)Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs., , , , and . Great Lakes Symposium on VLSI, page 106-111. IEEE Computer Society, (1996)Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs., , , , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 18 (7): 956-972 (1999)MDG Tools for the Verification of RTL Designs., , , , , , , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 433-436. Springer, (1996)Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration., , , , and . ICCD, page 20-26. IEEE Computer Society, (1996)Passive IP traceback: capturing the origin of anonymous traffic through network telescopes., , and . SIGCOMM, page 413-414. ACM, (2010)Simplified isogeny formulas on twisted Jacobi quartic curves., , , and . Finite Fields Their Appl., (2022)MDG-Based State Enumeration By Retiming And Circuit Transformation., , , , and . Journal of Circuits, Systems, and Computers, 13 (5): 1111-1132 (2004)Semi-rational vector rogon-soliton solutions of the five-component Manakov/NLS system with mixed backgrounds., , , and . Appl. Math. Lett., (2022)BAIL: Best-Action Imitation Learning for Batch Deep Reinforcement Learning., , , , , , and . CoRR, (2019)