Author of the publication

Efficient Timing Analysis of a Class of Petri Nets.

, and . CAV, volume 939 of Lecture Notes in Computer Science, page 423-436. Springer, (1995)

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

An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems., , , and . IEEE Trans. Computers, 44 (11): 1306-1317 (1995)Trace alignment algorithms for offline workload analysis of heterogeneous architectures., , , , and . ICCAD, page 654-661. IEEE, (2013)Algorithms for Gate Sizing and Device Parameter Selection for High-Performance Designs., , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 31 (10): 1558-1571 (2012)Energy Efficient Architecture for Graph Analytics Accelerators., , , , , , and . ISCA, page 166-177. IEEE Computer Society, (2016)The ISPD-2012 discrete cell sizing contest and benchmark suite., , , , , and . ISPD, page 161-164. ACM, (2012)Practical applications of an efficient time separation of events algorithm., , , and . ICCAD, page 146-151. IEEE Computer Society / ACM, (1993)Comparative Analysis of Conventional and Statistical Design Techniques., , , , , and . DAC, page 238-243. IEEE, (2007)Bounded Delay Timing Analysis of a Class of CSP Programs., and . Formal Methods in System Design, 11 (3): 265-294 (1997)Synthesis of asynchronous control circuits with automatically generated relative timing assumptions., , , and . ICCAD, page 324-331. IEEE Computer Society, (1999)Gate sizing and device technology selection algorithms for high-performance industrial designs., , and . ICCAD, page 724-731. IEEE Computer Society, (2011)