A code transformation-based methodology for improving I-cache performance. - Nikolaos D. Liveris; Nikolaos D. Zervas; A. P. Kakaroudas; Costas E. Goutis (ICECS, 2001)

A Code Transformation-Based Methodology for Improving I-Cache Performance of DSP Applications. - Nikolaos D. Liveris; Nikolaos D. Zervas; Dimitrios Soudris; Constantinos E. Goutis (DATE, 2002)

Power Aware Interface Synthesis for Bus-Based SoC Design. - Nikolaos D. Liveris; Prithviraj Banerjee (DATE, 2004)

An Efficient System-Level to RTL Verification Framework for Computation-Intensive Applications. - Nikolaos D. Liveris; Hai Zhou 001; Prithviraj Banerjee (Asian Test Symposium, 2005)

Retiming for Synchronous Data Flow Graphs. - Nikolaos D. Liveris; Chuan Lin 002; J. Wang; Hai Zhou 001; Prithviraj Banerjee (ASP-DAC, 2007)

A dynamic-programming algorithm for reducing the energy consumption of pipelined System-Level streaming applications. - Nikolaos D. Liveris; Hai Zhou 001; Prithviraj Banerjee (ASP-DAC, 2008)

State space abstraction for parameterized self-stabilizing embedded systems. - Nikolaos D. Liveris; Hai Zhou 001; Robert P. Dick; Prithviraj Banerjee (EMSOFT, 2008)

Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis. - Nikolaos D. Liveris; Hai Zhou 001; Prithviraj Banerjee (ASP-DAC, 2009)