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

A text-compression-based method for code size minimization in embedded systems, , and . ACM Trans. Des. Autom. Electron. Syst., 4 (1): 12--38 (1999)A Unified Approach to the Decomposition and Re-Decomposition of Sequential Machines., , and . DAC, page 601-606. IEEE Computer Society Press, (1990)Approaches to Multi-level Sequential Logic Synthesis.. DAC, page 270-276. ACM Press, (1989)TARDIS: Timestamp based Coherence Algorithm for Distributed Shared Memory., and . CoRR, (2015)Round-Efficient Byzantine Broadcast Under Strongly Adaptive and Majority Corruptions., , , and . TCC (1), volume 12550 of Lecture Notes in Computer Science, page 412-456. Springer, (2020)An Incomplete Scan Design Approach to Test Generation for Sequential Machines., , , and . ITC, page 730-734. IEEE Computer Society, (1988)Proxy-based security protocols in networked mobile devices., , , , , and . SAC, page 265-272. ACM, (2002)Analytical cache models with applications to cache partitioning., , and . ICS, page 1-12. ACM, (2001)Brief Announcement: Practical Synchronous Byzantine Consensus., , , and . DISC, volume 91 of LIPIcs, page 41:1-41:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Bandwidth Hard Functions for ASIC Resistance., and . TCC (1), volume 10677 of Lecture Notes in Computer Science, page 466-492. Springer, (2017)