BioDiVinE: A Framework for Parallel Analysis of Biological Models - Jiri Barnat; Lubos Brim; Ivana Cerná; Sven Drazan; Jana Fabriková; Jan Láník; David Safránek; Hongwu Ma (COMPMOD, 2009)

On Switching Aware Synthesis for Combinational Circuits. - Jan Láník; Oded Maler (Haifa Verification Conference, 2015)

Reducing power with activity trigger analysis. - Jan Láník; Julien Legriel; Erwan Piriou; Emmanuel Viaud; Fahim Rahim; Oded Maler; Solaiman Rahim (MEMOCODE, 2015)

Power reduction in digital circuits. (La réduction de consommation dans les circuits digitaux). - Jan Láník (2016)