BibTeX records: Jan Láník

download as .bib file

@phdthesis{DBLP:phd/hal/Lanik16,
  author    = {Jan L{\'{a}}n{\'{\i}}k},
  title     = {Power reduction in digital circuits. (La r{\'{e}}duction de consommation
               dans les circuits digitaux)},
  school    = {Grenoble Alpes University, France},
  year      = {2016},
  url       = {https://tel.archives-ouvertes.fr/tel-01432236},
  timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/hal/Lanik16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/LanikM15,
  author    = {Jan L{\'{a}}n{\'{\i}}k and
               Oded Maler},
  editor    = {Nir Piterman},
  title     = {On Switching Aware Synthesis for Combinational Circuits},
  booktitle = {Hardware and Software: Verification and Testing - 11th International
               Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
               17-19, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9434},
  pages     = {276--291},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-26287-1\_17},
  doi       = {10.1007/978-3-319-26287-1\_17},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/hvc/LanikM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/LanikLPVRMR15,
  author    = {Jan L{\'{a}}n{\'{\i}}k and
               Julien Legriel and
               Erwan Piriou and
               Emmanuel Viaud and
               Fahim Rahim and
               Oded Maler and
               Solaiman Rahim},
  title     = {Reducing power with activity trigger analysis},
  booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models
               for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages     = {169--178},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {https://doi.org/10.1109/MEMCOD.2015.7340484},
  doi       = {10.1109/MEMCOD.2015.7340484},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/memocode/LanikLPVRMR15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0910-0928,
  author    = {Jiri Barnat and
               Lubos Brim and
               Ivana Cern{\'{a}} and
               Sven Drazan and
               Jana Fabrikov{\'{a}} and
               Jan L{\'{a}}n{\'{\i}}k and
               David Safr{\'{a}}nek and
               Hongwu Ma},
  editor    = {Ralph{-}Johan Back and
               Ion Petre and
               Erik P. de Vink},
  title     = {BioDiVinE: {A} Framework for Parallel Analysis of Biological Models},
  booktitle = {Proceedings Second International Workshop on Computational Models
               for Cell Processes, {COMPMOD} 2009, Eindhoven, the Netherlands, November
               3, 2009},
  series    = {{EPTCS}},
  volume    = {6},
  pages     = {31--45},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.6.3},
  doi       = {10.4204/EPTCS.6.3},
  timestamp = {Mon, 15 Jun 2020 16:54:36 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0910-0928.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics