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

Satisfiability Models for Maximum Transition Power., , and . IEEE Trans. VLSI Syst., 16 (8): 941-951 (2008)Improving Greedy Algorithms by Lookahead-Search., , , and . J. Algorithms, 16 (1): 1-23 (1994)Multiobjektive Heuristic Search in AND/OR Graphs., , and . J. Algorithms, 20 (2): 282-311 (1996)Reducing Reexpansions in Iterative-Deepening Search by Controlling Cutoff Bounds., , , and . Artif. Intell., 50 (2): 207-221 (1991)Multiple Stack Branch and Bound., , , and . Inf. Process. Lett., 37 (1): 43-48 (1991)SAT based timing analysis for fixed and rise/fall gate delay models., , and . Integration, 45 (4): 357-364 (2012)SystemC Modeling and Validation of A RISC Processor System., , , , , and . FDL, page 189-197. ECSI, (2006)Abstraction of word-level linear arithmetic functions from bit-level component descriptions., , , , and . DATE, page 4-8. IEEE Computer Society, (2001)Adaptive parameter control of evolutionary algorithms to improve quality-time trade-off., , and . Appl. Soft Comput., 9 (2): 527-540 (2009)Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications., , , , and . Embedded Systems Letters, 5 (1): 8-11 (2013)