Jan Láník

According to our database, Jan Láník authored at least 4 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Power reduction in digital circuits. (La réduction de consommation dans les circuits digitaux).

Jan Láník

PhD thesis, 2016

2015

Reducing power with activity trigger analysis.

Jan Láník, Julien Legriel, Erwan Piriou, Emmanuel Viaud, Fahim Rahim, Oded Maler, Solaiman Rahim

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

On Switching Aware Synthesis for Combinational Circuits.

Jan Láník, Oded Maler

Proceedings of the Hardware and Software: Verification and Testing, 2015

2009

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

Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009