Výpis publikací

DAVIDSON, T, S J GAY, Hynek MLNAŘÍK, Rajagopal NAGARAJAN a N PAPANIKOLAOU. Model Checking for Communicating Quantum Processes. International Journal of Unconventional Computing. Old City Publishing, Inc., 2012, roč. 8, č. 1, s. 73-98. ISSN 1548-7199.

MLNAŘÍK, Hynek. Semantics of quantum programming language LanQ. International Journal of Quantum Information. World Scientific, 2008, roč. 6, 1 supp, s. 733-738. ISSN 0219-7499.

MLNAŘÍK, Hynek. Quantum programming language LanQ. Brno: Fakulta Informatiky, 2007, 155 s.

MLNAŘÍK, Hynek. Quantum Programming Language LanQ. 2007.

MLNAŘÍK, Hynek. Syntactic Type Soundness in Structured Imperative Languages. In MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno, Czech Republic: Masaryk University and Technical University of Brno, 2007, s. 132-139. ISBN 978-80-7355-077-6.

MLNAŘÍK, Hynek. LanQ - an Imperative Quantum Programming Language. In MEMICS 2006, 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Information Technology, Brno University of Technology, 2006, s. 113-120. ISBN 80-214-3287-X.

MLNAŘÍK, Hynek. Operational Semantics of Quantum Programming Language LanQ. Brno: FI MU, 2006, 43 s. Technical Reports.

MLNAŘÍK, Hynek. Towards a Categorical Semantics of a High-level Quantum Programming Language. In Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno: Faculty of Informatics, Masaryk University, 2005, s. 17-23.