Publication Records

ŠTEFÁNIK, Michal, Vít NOVOTNÝ, Nikola GROVEROVÁ and Petr SOJKA. AdaptOr: Objective-Centric Adaptation Framework for Language Models. Online. In Valerio Basile, Zornitsa Kozareva, Sanja Stajner. Proceedings of the 60th Conference of Association of Computational Linguistics, ACL 2022. Dublin, Irsko: Association for Computational Linguistics, ACL, 2022, p. 261-269. ISBN 978-1-955917-24-7. Available from: https://dx.doi.org/10.18653/v1/2022.acl-demo.26.

NOVOTNÝ, Vít, Dominik REHÁK, Michal HOFTICH and Tereza VRABCOVÁ. Markdown 2.15.0: What's new? TUGboat. Portland, OR 97208-2311, U.S.A: TUG, 2022, roč. 43, No 1, 6 pp. ISSN 0896-3207. Available from: https://dx.doi.org/10.47397/tb/43-1/tb133novotny-markdown.

CHALUPA, Marek, Vincent MIHALKOVIČ, Anna ŘECHTÁČKOVÁ, Lukáš ZAORAL and Jan STREJČEK. Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding. Online. In Dana Fisman and Grigore Rosu. Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2022, p. 462-467. ISBN 978-3-030-99526-3. Available from: https://dx.doi.org/10.1007/978-3-030-99527-0_32.

NOVOTNÝ, Vít. Vysokoúrovňové jazyky pro TeX (High-Level Languages for TeX). Zpravodaj CSTUG. Brno: CSTUG, 2022, vol. 32, 1-4, p. 25-48. ISSN 1211-6661. Available from: https://dx.doi.org/10.5300/2022-1-4/35.

NOVOTNÝ, Vít, Michal ŠTEFÁNIK, Eniafe Festus AYETIRAN, Petr SOJKA and Radim ŘEHŮŘEK. When FastText Pays Attention: Efficient Estimation of Word Representations using Constrained Positional Weighting. Journal of Universal Computer Science. New York, USA: J.UCS Consortium, 2022, vol. 28, No 2, p. 181-201. ISSN 0948-695X. Available from: https://dx.doi.org/10.3897/jucs.69619.

NOVOTNÝ, Vít and Aleš HORÁK. When Tesseract Meets PERO : Open-Source Optical Character Recognition of Medieval Texts. In Aleš Horák, Pavel Rychlý, Adam Rambousek. Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2022. Brno: Tribun EU, 2022, p. 157-161. ISBN 978-80-263-1752-4.

STŘELÁK, David, Amaya JIMÉNEZ-MORENO, José VILAS, Erney RAMÍREZ-APORTELA, Ruben SÁNCHEZ-GARCÍA, David MALUENDA, Javier VARGAS, David HERREROS, Estrella FERNÁNDEZ-GIMÉNEZ, Federico DE ISIDRO-GÓMEZ, Jan HORÁČEK, David MYŠKA, Martin HORÁČEK, Pablo CONESA, Yunior FONSECA-REYNA, Jorge JIMÉNEZ, Marta MARTÍNEZ, Mohamad HARASTANI, Slavica JONIĆ, Jiří FILIPOVIČ, Roberto MARABINI, José CARAZO and Carlos SORZANO. Advances in Xmipp for Cryo–Electron Microscopy: From Xmipp to Scipion. Molecules. Mayer und Muller, 2021, vol. 26, No 20, p. 1-14. ISSN 1420-3049. Available from: https://dx.doi.org/10.3390/molecules26206224.

SCHWARZEROVÁ, Jana, Adam BAJGER, I. PIERDOU, Lubomír POPELÍNSKÝ, Karel SEDLÁŘ and W. WECKWERTH. An Innovative Perspective on Metabolomics Data Analysis in Biomedical Research Using Concept Drift Detection. Online. In Yufei Huang and Lukasz A. Kurgan and Feng Luo and Xiaohua Hu and Yidong Chen and Edward R. Dougherty and Andrzej Kloczkowski and Yaohang Li. Proceedings of BIBM 2021. Houston, TX, USA: IEEE, 2021, p. 3075-3082. ISBN 978-1-6654-0126-5. Available from: https://dx.doi.org/10.1109/BIBM52615.2021.9669418.

BANKOVIČ, Mikuláš, Vít NOVOTNÝ and Petr SOJKA. Application of Super-Resolution Models in Optical Character Recognition of Czech Medieval Texts. In Horák, Rychlý, Rambousek. Recent Advances in Slavonic Natural Language Processing (RASLAN 2021). Brno: Tribun EU, 2021, p. 11-18. ISBN 978-80-263-1670-1.

LÍŠKA, Martin, Dávid LUPTÁK, Vít STARÝ NOVOTNÝ, Michal RŮŽIČKA, Boris SHMINKE, Petr SOJKA, Michal ŠTEFÁNIK and Makarius WENZEL. CICM'21 Systems Entries. Online. In 978-3-030-81097-9. INTELLIGENT COMPUTER MATHEMATICS (CICM 2021). CHAM: SPRINGER INTERNATIONAL PUBLISHING AG, 2021, p. 245-248. ISBN 978-3-030-81096-2. Available from: https://dx.doi.org/10.1007/978-3-030-81097-9_20.

HANZELKA, Michael, Jiří DAN, Pavel FIALA and Přemysl DOHNAL. Human Psychophysiology Is Influenced by Low-Level Magnetic Fields: Solar Activity as the Cause. Atmosphere. MDPI, 2021, vol. 12, No 12, p. 1600:1-1600:10, 10 pp. ISSN 2073-4433. Available from: https://dx.doi.org/10.3390/atmos12121600.

NOVOTNÝ, Vít. Markdown 2.10.0: LaTeX themes & snippets, two flavors of comments, and LuaMetaTeX. TUGboat. Portland, OR 97208-2311, U.S.A: TUG, 2021, roč. 42, No 2, 8 pp. ISSN 0896-3207. Available from: https://dx.doi.org/10.47397/tb/42-2/tb131novotny-markdown.

NOVOTNÝ, Vít. Markdown 2.10.0: LaTeXová témata a snippety (Markdown 2.10.0: LaTeX Themes & Snippets). Zpravodaj CSTUG. Brno: CSTUG, 2021, vol. 31, 1-4, p. 76-82. ISSN 1211-6661. Available from: https://dx.doi.org/10.5300/2021-1-4/76.

HANZELKA, Michael, Jiří DAN, Zoltán SZABÓ, Zdeněk ROUBAL, Přemysl DOHNAL and Radim KADLEC. Methods and Experiments for Sensing Variations in Solar Activity and Defining Their Impact on Heart Variability. Sensors. Švýcarsko: MDPI, 2021, vol. 21, No 14, p. 4817:1-4817:13, 13 pp. ISSN 1424-8220. Available from: https://dx.doi.org/10.3390/s21144817.

NOVOTNÝ, Vít. Overleaf: Kolaborativní webový editor LaTeXu (Overleaf, Collaborative Online LaTeX Editor). Zpravodaj CSTUG. Brno: CSTUG, 2021, vol. 31, 1-4, p. 3-8. ISSN 1211-6661. Available from: https://dx.doi.org/10.5300/2021-1-4/3.

ŠTEFÁNIK, Michal, Vít NOVOTNÝ and Petr SOJKA. Regressive Ensemble for Machine Translation Quality Evaluation. Online. In Loïc Barrault et al. Proceedings of EMNLP 2021 Sixth Conference on Machine Translation (WMT 21). Online and Punta Cana, Dominican Republi: ACL, 2021, p. 1041-1048. ISBN 978-1-954085-94-7.

NOVOTNÝ, Vít, Kristýna SEIDLOVÁ, Tereza VRABCOVÁ and Aleš HORÁK. When Tesseract Brings Friends: Layout Analysis, Language Identification, and Super-Resolution in the Optical Character Recognition of Medieval Texts. In Horák, Rychlý, Rambousek. Recent Advances in Slavonic Natural Language Processing (RASLAN 2021). Brno: Tribun EU, 2021, p. 29-39. ISBN 978-80-263-1670-1.

TROJÁK, Matej, David ŠAFRÁNEK, Luboš BRIM, Jakub ŠALAGOVIČ and Jan ČERVENÝ. Executable Biochemical Space for Specification and Analysis of Biochemical Systems. Online. In Ankit Gupta, Tatjana Petrov. 9th International Workshop on Static Analysis and Systems Biology (SASB). ENTCS 350. Amsterdam: Elsevier, 2020, p. 91-116. ISSN 1571-0661. Available from: https://dx.doi.org/10.1016/j.entcs.2020.06.006.

KORENČIK, Lukáš, Petr ROČKAI, Henrich LAUKO and Jiří BARNAT. On Symbolic Execution of Decompiled Programs. In Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020. Neuveden: IEEE Computer Society, 2020, p. 265-272. ISBN 978-1-7281-8914-7. Available from: https://dx.doi.org/10.1109/QRS51102.2020.00044.

KEATING, Sarah M, Dagmar WALTEMATH, Matthias KÖNIG, Fengkai ZHANG, Andreas DRÄGER, Claudine CHAOUIYA, Frank T BERGMANN, Andrew FINNEY, Colin S GILLESPIE, Tomáš HELIKAR, Stefan HOOPS, Rahuman S Malik SHERIFF, Stuart L MOODIE, Ion I MORARU, Chris J MYERS, Aurélien NALDI, Brett G OLIVIER, Sven SAHLE, James C SCHAFF, Lucian P SMITH, Maciej J SWAT, Denis THIEFFRY, Leandro WATANABE, Darren J WILKINSON, Michael L BLINOV, Kimberly BEGLEY, James R FAEDER, Harold F GÓMEZ, Thomas M HAMM, Yuichiro INAGAKI, Wolfram LIEBERMEISTER, Allyson L LISTER, Daniel LUCIO, Eric MJOLSNESS, Carole J PROCTOR, Karthik RAMAN, Nicolas RODRIGUEZ, CLIFFORD, SHAFFER, Bruce E SHAPIRO, Joerg STELLING, Neil SWAINSTON, Naoki TANIMURA, John WAGNER, Martin Meier SCHELLERSHEIM, Herbert M SAURO, Bernhard PALSSON, Hamid BOLOURI, Hiroaki KITANO, Akira FUNAHASHI, Henning HERMJAKOB, John C DOYLE, Michael HUCKA, SBML Level Community MEMBERS, Richard R ADAMS, NICHOLAS, ALLEN, Bastian R ANGERMANN, Marco ANTONIOTTI, Gary D BADER, Jan ČERVENÝ, Mélanie COURTOT, Chris D COX, Piero Dalle PEZZE, Emek DEMIR, William S DENNEY, Harish DHARURI, Julien DORIER, Dirk DRASDO, Ali EBRAHIM, Johannes EICHNER, Johan ELF, Lukas ENDLER, Chris T EVELO, Christoph FLAMM, Ronan MT FLEMING, Martina FRÖHLICH, Mihai GLONT, Emanuel GONÇALVES, Martin GOLEBIEWSKI, Hovakim GRABSKI, Alex GUTTERIDGE, Damon HACHMEISTER, LEONARD, HARRIS, Benjamin D HEAVNER, Ron HENKEL, William S HLAVACEK, Bin HU, Daniel R HYDUKE, Hidde de JONG, Nick JUTY, Peter D KARP, Jonathan R KARR, Douglas B KELL, Roland KELLER, Ilya KISELEV, Steffen KLAMT, Edda KLIPP, Christian KNÜPFER, Fedor KOLPAKOV, Falko KRAUSE, Martina KUTMON, Camille LAIBE, Conor LAWLESS, Lu LI, Leslie M LOEW, Rainer MACHNE, Yukiko MATSUOKA, Pedro MENDES, Huaiyu MI, Florian MITTAG, Pedro T MONTEIRO, Kedar Nath NATARAJAN, Poul MF NIELSEN, Tramy NGUYEN, Alida PALMISANO, Jean Baptiste PETTIT, Thomas PFAU, Robert D PHAIR, Tomas RADIVOYEVITCH, Johann M ROHWER, OLIVER, RUEBENACKER, Julio Saez RODRIGUEZ, Martin SCHARM, Henning SCHMIDT, Falk SCHREIBER, Michael SCHUBERT, Roman SCHULTE, Stuart C SEALFON, Kieran SMALLBONE, Sylvain SOLIMAN, Melanie I STEFAN, Devin P SULLIVAN, Koichi TAKAHASHI, Bas TEUSINK, David TOLNAY, Ibrahim VAZIRABAD, Axel von KAMP, Ulrike WITTIG, Clemens WRZODEK, Finja WRZODEK, Ioannis XENARIOS, Anna ZHUKOVA and Jeremy ZUCKER. SBML Level 3: an extensible format for the exchange and reuse of biological modelsAutoři. Online. Molecular systems biology. EMBOpress, 2020, vol. 16, No 8, p. e9110. Available from: https://dx.doi.org/10.15252/msb.20199110.

CHALUPA, Marek, Tomáš JAŠEK, Lukáš TOMOVIČ, Martin HRUŠKA, Veronika ŠOKOVÁ, Paulína AYAZIOVÁ, Jan STREJČEK and Tomáš VOJNAR. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Armin Biere, David Parker. Tools and Algorithms for the Construction and Analysis of Systems. Německo: Springer, 2020, p. 413-417. ISBN 978-3-030-45236-0. Available from: https://dx.doi.org/10.1007/978-3-030-45237-7_31.

ROČKAI, Petr and Jiří BARNAT. A Simulator for LLVM Bitcode. In K. G. Larsen, T. Willemse. 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019. Scham: Springer Verlag, 2019, p. 127-142. ISBN 978-3-030-27007-0. Available from: https://dx.doi.org/10.1007/978-3-030-27008-7_8.

TROJÁK, Matej, David ŠAFRÁNEK, Jan ČERVENÝ, Marek HAVLÍK, Lukrécia MERTOVÁ, Matej HAJNAL, Jakub HRABEC and Jakub ŠALAGOVIČ. Comprehensive Modelling Platform. In 6th Workshop on Hybrid Systems & Biology. 2019.

LAUKO, Henrich, Vladimír ŠTILL, Petr ROČKAI and Jiří BARNAT. Extending DIVINE with Symbolic Verification Using SMT. In Beyer, Dirkand Huisman, Mariekeand Kordon, Fabriceand Steffen, Bernhard. Tools and Algorithms for the Construction and Analysis of Systems. Cham: Springer International Publishing, 2019, p. 204-208. ISBN 978-3-030-17501-6. Available from: https://dx.doi.org/10.1007/978-3-030-17502-3_14.

LUPTÁK, Dávid. Fantasia Apocalyptica: Česká premiéra (Fantasia Apocalyptica: The Czech Première). Zpravodaj CSTUG. Brno: CSTUG, 2019, vol. 29, 1-4, p. 11-18. ISSN 1211-6661. Available from: https://dx.doi.org/10.5300/2019-1-4/11.

ŠTILL, Vladimír and Jiří BARNAT. Local Nontermination Detection for Parallel C++ Programs. In Ölveczky P., Salaün G. International Conference on Software Engineering and Formal Methods. Cham: Springer, 2019, p. 373-390. ISBN 978-3-030-30445-4. Available from: https://dx.doi.org/10.1007/978-3-030-30446-1_20.

SOJKA, Petr, Vít NOVOTNÝ, Eniafe Festus AYETIRAN, Dávid LUPTÁK and Michal ŠTEFÁNIK. Quo Vadis, Math Information Retrieval. In Aleš Horák and Pavel Rychlý and Adam Rambousek. Proceedings of the Thirteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2019. Brno: Tribun EU, 2019, p. 117-128. ISBN 978-80-263-1517-9.

ROČKAI, Petr, Zuzana BARANOVÁ, Jan MRÁZEK, Katarína KEJSTOVÁ and Jiří BARNAT. Reproducible Execution of POSIX Programs with DiOS. In Peter Csaba Ölveczky and Gwen Salaün. Software Engineering and Formal Methods. 17th ed. Cham: Springer International Publishing, 2019, p. 333-349. ISBN 978-3-030-30445-4. Available from: https://dx.doi.org/10.1007/978-3-030-30446-1_18.

MRÁZEK, Jan and Jiří BARNAT. RoFICoM - First Open-Hardware Connector for Metamorphic Robots. In 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Neuveden: IEEE, 2019, p. 2720-2725. ISBN 978-1-7281-4004-9. Available from: https://dx.doi.org/10.1109/IROS40897.2019.8968167.

BARTOŠ, Václav, Martin ŽÁDNÍK, Pavel KROBOT, Lukáš HUTÁK, Martin HUSÁK, Jaroslav KAŠPAR and Petr VELAN. Systém pro sdílení a analýzu bezpečnostních událostí (System for sharing and analysis of network security alerts). 2019.

SEGEČOVÁ, Anna, Jan ČERVENÝ and Thomas ROITSCH. Advancement of the cultivation and upscaling of photoautotrophic suspension cultures using Chenopodium rubrum as a case study. Plant Cell, Tissue and Organ Culture. Dordrecht: Springer, 2018, vol. 135, No 1, p. 37-51. ISSN 0167-6857. Available from: https://dx.doi.org/10.1007/s11240-018-1441-6.

RAČEK, Tomáš, Radka SVOBODOVÁ VAŘEKOVÁ, Dan POLANSKÝ, Karel BERKA and Jaroslav KOČA. bio.tools Sum – tool for exploration of summary information about bioinformatics services in bio.tools. In F1000Research. 2018. Available from: https://dx.doi.org/10.7490/f1000research.1115564.1.

ROČKAI, Petr, Vladimír ŠTILL, Ivana ČERNÁ and Jiří BARNAT. DiVM: Model checking with LLVM and graph memory. Journal of Systems and Software. Elsevier, 2018, vol. 143, Oct, p. 1-13. ISSN 0164-1212. Available from: https://dx.doi.org/10.1016/j.jss.2018.04.026.

TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Jan ČERVENÝ, Matej HAJNAL, Lukrécia MERTOVÁ, Katarína PALUBOVÁ and Marek HAVLÍK. E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria. In 16th International Conference on Computational Methods in Systems Biology. 2018.

BENEŠ, Nikola, Luboš BRIM, Jan ČERVENÝ, Samuel PASTVA, David ŠAFRÁNEK, Jakub ŠALAGOVIČ and Matej TROJÁK. Fully Automated Attractor Analysis of Cyanobacteria Models. In Marian Barbu, Răzvan Şolea, Adrian Filipescu. 22nd International Conference on System Theory, Control and Computing. Neuveden: IEEE, 2018, p. 354-359. ISBN 978-1-5386-4444-7. Available from: https://dx.doi.org/10.1109/ICSTCC.2018.8540762.

NOVOTNÝ, Vít. Implementation Notes for the Soft Cosine Measure. Online. In Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18). Torino, Italy: Association for Computing Machinery, 2018, p. 1639-1642. ISBN 978-1-4503-6014-2. Available from: https://dx.doi.org/10.1145/3269206.3269317.

ČERVENÝ, Jan, Jakub ŠALAGOVIČ, František MUZIKA, David ŠAFRÁNEK and Igor SCHREIBER. Influence of circadian clocks on optimal regime of central C-N metabolism of cyanobacteria. Online. In Mishra, A. K.; Tiwari, D.; Rai, A. N. Cyanobacteria: From Basic Science to Applications. 1st ed. Neuveden: Academic Press, 2018, p. 193-206. ISBN 978-0-12-814667-5. Available from: https://dx.doi.org/10.1016/B978-0-12-814667-5.00009-X.

SOJKA, Petr, Michal RŮŽIČKA and Vít NOVOTNÝ. MIaS: Math-Aware Retrieval in Digital Mathematical Libraries. Online. In Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18). Torino, Italy: Association for Computing Machinery, 2018, p. 1923-1926. ISBN 978-1-4503-6014-2. Available from: https://dx.doi.org/10.1145/3269206.3269233.

ŠTILL, Vladimír and Jiří BARNAT. Model Checking of C++ Programs Under the x86-TSO Memory Model. In Jing Sun, Meng Sun. Formal Methods and Software Engineering. Cham: Springer, 2018, p. 124-140. ISBN 978-3-030-02449-9. Available from: https://dx.doi.org/10.1007/978-3-030-02450-5_8.

BEZDĚK, Peter, Nikola BENEŠ, Ivana ČERNÁ and Jiří BARNAT. On clock-aware LTL parameter synthesis of timed automata. Journal of Logical and Algebraic Methods in Programming. ELSEVIER SCIENCE INC, 360 PARK AVE SOUTH: Elsevier, 2018, vol. 99, Oct, p. 114-142. ISSN 2352-2208. Available from: https://dx.doi.org/10.1016/j.jlamp.2018.05.004.

SEGEČOVÁ, Anna, Jan ČERVENÝ and Thomas ROITSCH. Photoautotrophic cell cultures – a model system for photosynthesis research on cellular level. In Panzarová, K. IPAP 2018 International Plant and Algal Phenomics Meeting - Program, Book of Abstracts, List of Participants. 2018, p. 1-9.

SEGEČOVÁ, Anna, Jan ČERVENÝ and Thomas ROITSCH. Photoautotrophic cell cultures – a model system for photosynthesis research on cellular level. In Messinger, J.; Styring, S. First European Congress on Photosynthesis Research, ePS-1. 2018, p. 99-100.

NOVOTNÝ, Vít. Příprava Zpravodaje CSTUG (Preparing the CSTUG Bulletin). Zpravodaj CSTUG. Brno: CSTUG, 2018, vol. 28, 1-4, p. 1-10. ISSN 1211-6661. Available from: https://dx.doi.org/10.5300/2018-1-4/1.

SVOBODOVÁ VAŘEKOVÁ, Radka, Adam MIDLIK, Ivana HUTAŘOVÁ VAŘEKOVÁ, Jan HUTAŘ, Veronika NAVRÁTILOVÁ, Jaroslav KOČA and Karel BERKA. Secondary Structure Elements-Annotations and Schematic 2D Visualizations Stable for Individual Protein Families. In Biophysical Society 62nd Annual Meeting, San Francisco, California. 2018. ISSN 0006-3495. Available from: https://dx.doi.org/10.1016/j.bpj.2017.11.307.

LAUKO, Henrich, Petr ROČKAI and Jiří BARNAT. Symbolic Computation via Program Transformation. In Bernd Fischer, Tarmo Uustalu. Theoretical Aspects of Computing – ICTAC 2018. Cham (Switzerland): Springer, 2018, p. 313-332. ISBN 978-3-030-02507-6. Available from: https://dx.doi.org/10.1007/978-3-030-02508-3_17.

KADLEC, Miroslav, Jan ROSECKÝ, Filip PROCHÁZKA, Barbora BÜHNOVÁ and Tomáš PITNER. Towards Discovering the Limits of Smart Grid Communication Infrastructure. In Gandolfo Dominici. Governing Business Systems. Cham, Switzerland: Springer, 2018, p. 87-99. ISBN 978-3-319-66034-9. Available from: https://dx.doi.org/10.1007/978-3-319-66036-3_5.

NOVOTNÝ, Vít and Petr SOJKA. Weighting of Passages in Question Answering. In Aleš Horák, Pavel Rychlý, Adam Rambousek. Proceedings of the Twelfth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2018. Brno: Tribun EU, 2018, p. 31-40. ISBN 978-80-263-1517-9.

DOLEŽAL, Milan, Jiří CHMELÍK and Fotis LIAROKAPIS. An Immersive Virtual Environment for Collaborative Geovisualization. Online. In 9th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games 2017). Athens, Greece: IEEE Computer Society, 2017, p. 272-275. ISBN 978-1-5090-5812-9. Available from: https://dx.doi.org/10.1109/VS-GAMES.2017.8056613.

KEROUŠ, Bojan and Fotis LIAROKAPIS. BrainChat - A Collaborative Augmented Reality Brain Interface for Message Communication. In Proc. of the International Symposium on Mixed and Augmented Reality (ISMAR 2017) - Adjunct Proceedings. France: IEEE Computer Society, 2017, p. 279-283. ISBN 978-0-7695-6327-5. Available from: https://dx.doi.org/10.1109/ISMAR-Adjunct.2017.91.

BRIM, Luboš, Jiří BARNAT, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA and Matej HAJNAL. Detecting Attractors in Biological Models with Uncertain Parameters. In Jérôme Feret and Heinz Koeppl. Computational Methods in Systems Biology. CMSB 2017. LNCS 10545. Cham: Springer International Publishing, 2017, p. 40-56. ISBN 978-3-319-67470-4. Available from: https://dx.doi.org/10.1007/978-3-319-67471-1_3.

ŠŤAVOVÁ, Vlasta, Václav MATYÁŠ, Mike JUST and Martin UKROP. Factors Influencing the Purchase of Security Software for Mobile Devices - Case Study. Infocommunications Journal. Scientific Association for Infocommunications, 2017, vol. 9, No 1, p. 18-23. ISSN 2061-2079.

MUSIL, Miloš, Jan ŠTOURAČ, Jaroslav BENDL, Jan BREZOVSKÝ, Zbyněk PROKOP, Jaroslav ZENDULKA, Tomáš MARTÍNEK, David BEDNÁŘ and Jiří DAMBORSKÝ. FireProt: Web Server for Automated Design of Thermostable Proteins. Nucleic Acids Research. Oxford: Oxford University Press, 2017, vol. 45, W1, p. "W393"-"W399", 7 pp. ISSN 0305-1048. Available from: https://dx.doi.org/10.1093/nar/gkx285.

KEJSTOVÁ, Katarína, Petr ROČKAI and Jiří BARNAT. From Model Checking to Runtime Verification and Back. In Shuvendu Lahiri, Giles Reger. Runtime Verification - 17th International Conference, RV 2017. neuvedeno: Springer, 2017, p. 225-240. ISBN 978-3-319-67530-5. Available from: https://dx.doi.org/10.1007/978-3-319-67531-2_14.

BARANOVÁ, Zuzana, Jiří BARNAT, Katarína KEJSTOVÁ, Tadeáš KUČERA, Henrich LAUKO, Jan MRÁZEK, Petr ROČKAI and Vladimír ŠTILL. Model Checking of C and C++ with DIVINE 4. In Deepak D'Souza, K. Narayan Kumar. Automated Technology for Verification and Analysis. Cham: Springer International Publishing, 2017, p. 201-207. ISBN 978-3-319-68166-5. Available from: https://dx.doi.org/10.1007/978-3-319-68167-2_14.

MRÁZEK, Jan, Martin JONÁŠ, Vladimír ŠTILL, Henrich LAUKO and Jiří BARNAT. Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution). In Axel Legay, Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II. Berlin, Heidelberg: Springer, 2017, p. 390-393. ISBN 978-3-662-54579-9. Available from: https://dx.doi.org/10.1007/978-3-662-54580-5_29.

ALDEGHERI, Stefano, Jiří BARNAT, Nicola BOMBIERI, Federico BUSATO and Milan ČEŠKA. Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components. In 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016. Cham: Springer Verlag, 2017, p. 519-531. ISBN 978-3-319-58942-8. Available from: https://dx.doi.org/10.1007/978-3-319-58943-5_42.

HON, Jiří, Matej LEXA, Tomáš MARTÍNEK and Jaroslav ZENDULKA. pqsfinder: identification of potential quadruplex forming sequences. 2017. Available from: https://dx.doi.org/10.18129/B9.bioc.pqsfinder.

ŠTILL, Vladimír, Petr ROČKAI and Jiří BARNAT. Using Off-the-Shelf Exception Support Components in C++ Verification. Online. In IEEE International Conference on Software Quality, Reliability and Security - QRS 2017. Neuveden: IEEE, 2017, p. 54-64. ISBN 978-1-5386-0592-9. Available from: https://dx.doi.org/10.1109/QRS.2017.15.

ZAVŘEL, Tomáš, Hening KNOOP, Ralf STEUER, Jones PATRIK, Jan ČERVENÝ and Martin TRTÍLEK. A quantitative evaluation of ethylene production in the recombinant cyanobacterium Synechocystis sp. PCC 6803 harboring the ethylene-forming enzyme by membrane inlet mass spectrometry. Bioresource Technology. 2016, vol. 202, p. 142–151.

VLACHYNSKÁ, Alžběta, Jan ČERVENÝ, V. ČMIEL and T. TUREČEK. Automatic Image-Based Method for Quantitative Analysis of Photosynthetic Cell Cultures. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016, vol. 7209, p. 402–413. ISSN 0302-9743. Available from: https://dx.doi.org/10.1007/978-3-319-32034-2_34.

TROJÁK, Matej, Tadeáš DĚD, David ŠAFRÁNEK, Matej KLEMENT, Jan ČERVENÝ and Františka ROMANOVSKÁ. Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes. In MEMICS 2016. 2016.

ŠŤAVOVÁ, Vlasta, Václav MATYÁŠ and Mike JUST. Codes v. People: A Comparative Usability Study of Two Password Recovery Mechanisms. In Foresti, Sara and Lopez, Javier. Information Security Theory and Practice: 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26--27, 2016, Proceedings. Švýcarsko: Springer, 2016, p. 35-50. ISBN 978-3-319-45930-1. Available from: https://dx.doi.org/10.1007/978-3-319-45931-8_3.

TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Jan ČERVENÝ and Matej HAJNAL. E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria. 2016.

JAKUBÍČEK, Miloš and Pavel ŠMERK. Large Scale Keyword Extraction using a Finite State Backend. In Aleš Horák, Pavel Rychlý, Adam Rambousek. Tenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2016. Brno: Tribun EU, 2016, p. 143-146. ISBN 978-80-263-1095-2.

KUČERA, Tomáš. Mé obrazy jsou prostředky pro komunikaci diváků s jejich nitrem (My paintings are mediums for communication viewers with their inner feelings). Praha: Sféra, 2016, p. 18-21. ISSN 1214-9454.

ČERVENÝ, Jan, Tomáš ZAVŘEL, Dominik CHMELÍK, Diana BÚZOVÁ, Jan FEDORKO, Petra LITERÁKOVÁ, Kateřina SUKAČOVÁ, Anna SEGEČOVÁ and Thomas ROITSCH. Microalgal adaptive biotechnologies for a sustainable future. In Global Change & Ecosystems: Climate Change Adaptation Pathways from Molecules to Society. 2016. ISBN 978-80-87902-17-2.

ŠŤAVOVÁ, Vlasta, Václav MATYÁŠ and Mike JUST. On the impact of warning interfaces for enabling the detection of Potentially Unwanted Applications. Online. In David Balenson. Euro Usable Security (EuroUSEC) Workshop Programme. Neuveden: Internet Society, 2016, p. nestránkováno, 8 pp. ISBN 1-891562-45-2. Available from: https://dx.doi.org/10.14722/eurousec.2016.23003.

ZAVŘEL, Tomáš, Jan ČERVENÝ, Henning KNOOP and Ralf STEUER. Optimizing cyanobacterial product synthesis: Meeting the challenges. BIOENGINEERED. PHILADELPHIA: TAYLOR & FRANCIS INC, 2016, vol. 7, No 6, p. 490-496. ISSN 2165-5979. Available from: https://dx.doi.org/10.1080/21655979.2016.1207017.

BENDL, Jaroslav, Miloš MUSIL, Jan ŠTOURAČ, Jaroslav ZENDULKA, Jiří DAMBORSKÝ and Jan BREZOVSKÝ. PredictSNP2: A Unified Platform for Accurately Evaluating SNP Effects by Exploiting the Different Characteristics of Variants in Distinct Genomic Regions. PLOS COMPUTATIONAL BIOLOGY 12: e100496. 2016, vol. 12, No 5, p. "nestrankovano", 18 pp. ISSN 1553-734X. Available from: https://dx.doi.org/10.1371/journal.pcbi.1004962.

ŠŤAVOVÁ, Vlasta, Václav MATYÁŠ and Kamil MALINKA. The Challenge of Increasing Safe Response of Antivirus Software Users. In Jan Kofroň, Tomáš Vojnar. Mathematical and Engineering Methods in Computer Science. Švýcarsko: Springer International Publishing,, 2016, p. 133-143. ISBN 978-3-319-29816-0. Available from: https://dx.doi.org/10.1007/978-3-319-29817-7_12.

KUČERA, Tomáš. Zahrada světla (Garden of the Light). 2016.

ŠKOLA, Filip, Szymon FIAŁEK and Fotis LIAROKAPIS. Augmenting the Rubber Hand Illusion. ERCIM News. ERCIM, 2015, vol. 2015, No 103, p. 25-26. ISSN 0926-4981.

CHABADA, Tomáš, Tomáš HAMPEJS, Jan SKALÍK, Eva VÝTVAROVÁ and Jaroslav HLINKA. Connecting to Nature in the Lab through “Earth Song” : The Malleability of Implicit and Explicit Attitudes towards Nature. Sociální studia. Masarykova univerzita, 2015, vol. 12, No 3, p. 113-133. ISSN 1214-813X.

BUKAČ, Vít, Zdeněk ŘÍHA, Lukáš NĚMEC, Vlasta ŠŤAVOVÁ and Václav MATYÁŠ. DDoSaaS: DDoS jako služba (DDoS as a service). Online. In IS2: From trends to solutions. Praha: Tate International, 2015, p. 35-39. ISBN 978-80-86813-28-8.

OSOLSOBĚ, Klára, Pavel ŠMERK, Karel PALA and Dana HLAVÁČKOVÁ. Deriv— softwarový nástroj pro testování mezí a možností automatické slovotvorné analýzy (Deriv— Softwaretool for Exploring of Czech Derivational Morphology). In Seminář o digitálních zdrojích a službách ve společenských a humanitních vědách, Praha, 24. 9. 2015. 2015.

OSOLSOBĚ, Klára, Pavel ŠMERK, Karel PALA and Dana HLAVÁČKOVÁ. Deriv— softwarový nástroj pro testování mezí a možností automatické slovotvorné analýzy (Deriv— Softwaretool for Exploring of Czech Derivational Morphology). In Hlaváčová, Jaroslava. Sborník semináře o digitálních zdrojích a službách ve společenských a humanitních vědách. 1st ed. Praha: ÚFAL MFF UK, 2015, p. 42-46. ISBN 978-80-904571-9-5.

PALA, Karel and Pavel ŠMERK. Derivancze - Derivational Analyzer of Czech. In P. Král, V.Matoušek. International Conference on Text, Speech, and Dialogue, TSD 2015. Berlin, Heidelberg: Springer Verlag, 2015, p. 515-523. ISBN 978-3-319-24032-9. Available from: https://dx.doi.org/10.1007/978-3-319-24033-6_58.

ONDRÁČEK, Martin, Luděk NOVOTNÝ, David RŮŽIČKA, Roman URBANSKÝ, Václav MATYÁŠ, Vlasta ŠŤAVOVÁ and David ŠMAHEL. Prototypový autentizační systém obnovy hesla (Prototype authentication system for password recovery). 2015.

RUDOVÁ, Hana, Zuzana MÜLLEROVÁ and Müller TOMÁŠ. Rozvrhování předmětů na Masarykově univerzitě (Course timetabling at Masaryk Univeristy). In Jan Rychlík. EUNIS-CZ - Sborník příspěvků ke konferenci Studijní a informační systémy a IS na podporu výzkumu a vývoje. Plzeň, Česká republika: Západočeská univerzita v Plzni, Univerzitní knihovna, 2015, p. 51-57. ISBN 978-80-261-0507-7.

ŠMERK, Pavel. Semantic Regularity of Derivational Relations. In Aleš Horák, Pavel Rychlý, Adam Rambousek. Ninth Workshop on Recent Advances in Slavonic Natural Language Processing. Brno: Tribun EU, 2015, p. 87-92. ISBN 978-80-263-0974-1.

BUKAČ, Vít, Vlasta ŠŤAVOVÁ, Lukáš NĚMEC, Zdeněk ŘÍHA and Václav MATYÁŠ. Service in denial – clouds going with the winds. In Qiu, M., Xu, S., Yung, M., Zhang, H. Network and System Security, 9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015, Proceedings. 1st ed. Switzerland: Springer International Publishing, 2015, p. 130-143. ISBN 978-3-319-25644-3. Available from: https://dx.doi.org/10.1007/978-3-319-25645-0_9.

JANČA, Radim, Kamil MALINKA and Vlasta ŠŤAVOVÁ. Systém pro distribuci dotazníků v počítačových učebnách (The system for questionnaire distribution in computer study rooms). 2015.

ŠMÍDOVÁ, Iva and Lenka SLEPIČKOVÁ. Medycyna jako reprodukowana bezsilność: Codzienność czeskiej medycyny reprodukcyjnej z punktu widzenia lekarzy i lekarek (Medicine as a reproduced powerlessness: Everyday routine of Czech reproductive medicine in the perspective of physicians). In Magdalena Radkowska-Walkowicz, Hubert Wiercinski. Etnografie biomedycyny. Warszawa: Wydavnictwa Uniwersytetu Warszawskiego/Warsaw University Press, 2014, p. 47-66. ISBN 978-83-235-1581-4.

LINKOV, Václav, Pavel ŠMERK, Bingbing LI and David ŠMAHEL. Personality Perception in Instant Messenger Communication in the Czech Republic and People’s Republic of China. Studia psychologica : an international journal of research and theory in psychological sciences. 2014, vol. 56, No 4, p. 287-300. ISSN 0039-3320. Available from: https://dx.doi.org/10.21909/sp.2014.04.667.

SLEPIČKOVÁ, Lenka and Iva ŠMÍDOVÁ. Postoje českých lékařů k medicíně a ke změnám v praxi reprodukční medicíny (Attitudes of Czech doctors towards medicine and changes in the field of reproductive medicine). Data a výzkum. AV ČR, Sociologický ústav, 2014, vol. 8, No 1, p. 63-95. ISSN 1802-8152. Available from: https://dx.doi.org/10.13060/23362391.2014.8.1.110.

ŠMERK, Pavel. Tools for Fast Morphological Analysis Based on Finite State Automata. In Eighth Workshop on Recent Advances in Slavonic Natural Language Processing. Brno: Tribun EU, 2014, p. 147-150. ISSN 2336-4289.

ŠMÍDOVÁ, Iva. členka Rady vlády ČR pro rovné příležitosti žen a mužů; místopředsedkyně pracovní skupiny Muži a genderová rovnost (member of the Governmental Board for Equal Opoortunities of Women and Men; vice.chair of its Working group on Men and Gender Equality). Rada vlády ČR pro rovné příležitosti žen a mužů, 2013.

ŠMÍDOVÁ, Iva. Desired and Required Childbirth: the Doctors View. In Challenges of 21st Century: past, present and future of medicine and health care in post-socialist world(s). The 3rd Annual Health in Transition Conference. 2013.

JAKUBÍČEK, Miloš, Pavel ŠMERK and Pavel RYCHLÝ. Fast Construction of a Word-Number Index for Large Data. In A. Horák, P. Rychlý. RASLAN 2013 Recent Advances in Slavonic Natural Language Processing. Brno: Tribun EU, 2013, p. 63-67. ISBN 978-80-263-0520-0.

BRÁZDOVÁ, Marie, Tomáš MARTÍNEK and Matej LEXA. In silico search for secondary structures in p53 target genes using R/Bioconductor. In Tomáš Vinař, Martin Holeňa, Matej Lexa, Ladislav Peška, Peter Vojtáš. ITAT 2013: Information Technologies - Applications and Theory (Workshops, Posters, and Tutorials). Neuvedeno: CreateSpace Independent Publishing Platform, 2013, p. 42-46. ISBN 1-4909-5208-X.

ŠMÍDOVÁ, Iva and Lenka SLEPIČKOVÁ. Lékaři a vyhoření: ožehavá každodennost medicíny pohledem sociologie (Physicians and burning out: burning everyday issues of the medical profession from the sociological perspective). In Radek Ptáček; Jiří Raboch; Vladimír Kebza. Burnout syndrom jako mezioborový jev. Praha: Grada Publishing, 2013, p. 97-104. Edice celoživotního vzdělávání ČLK. ISBN 978-80-247-5114-6.

ŠMÍDOVÁ, Iva. Medical Childbirth Made in the Czech Republic: Required and Desired Practices. In British Sociological Association (BSA) Medical Sociology Group 45th Annual Conference 2013. 2013.

PRINGLE, Keith, Jeff HEARN, Network WITH MEMBERS OF CROME and Iva ŠMÍDOVÁ. Men and Masculinities in Europe. 2nd ed. London: Whiting & Birch, 2013, 292 pp. Critical Studies in Socio-Cultural Diversity. ISBN 1-86177-042-1.

HEARN, Jeff, Irina NOVIKOVA, Keith PRINGLE, Iva ŠMÍDOVÁ, Gunilla BJERÉN, Marjut JYRKINEN, LeeAnn IOVANNI, Fátima ARRANZ and et. AL. Studying Men´s violences in Europe. Towards a Research Framework. 1st ed. Orebro: Orebro university, 2013, 140 pp. Centre for Feminist Social Studies. ISBN 978-91-7668-985-1.

HEARN, Jeff, Irina NOVIKOVA, Keith PRINGLE, Iva ŠMÍDOVÁ, Marjut JYRKINEN, LeeAnn IOVANNI, Fátima ARRANZ, Voldemar KOLGA and Dag BALKMAR. Studying Men’s Violences: Some Key Methodological Principles in Developing a European Research Framework. MSC - Masculinities and social change. Barcelona, Španělsko: Hipathia Press, 2013, vol. 2, No 1, p. 82-115. ISSN 2014-3605. Available from: https://dx.doi.org/10.4471/MCS.2013.22.

CHLEBOUNOVÁ, Michaela and Ivo ČERMÁK. Utváření vztahu rodičů k předčasně narozeným dětem (Forming the parental relation to premature born children). Československá psychologie. Praha: Academia, 2013, vol. 57, No 4, p. 307-316. ISSN 0009-062X.

ŠMÍDOVÁ, Iva, Eva ŠLESINGEROVÁ, Lenka SLEPIČKOVÁ and Hubert WIERCINSKI. 3rd Annual Health in Transition Conference: Challenges of 21st Century: past, present and future of medicine and health care in post-socialist world(s). 2013.

SLEPIČKOVÁ, Lenka, Eva ŠLESINGEROVÁ and Iva ŠMÍDOVÁ. Biomoc a reprodukční biomedicína: konceptuální inspirace pro český kontext (Biopower and Reproductive Biomedicine: a Conceptual Inspiration for Czech Sociology of Medicine). Sociologický časopis/ Czech Sociological Review. Praha: Sociologický ústav AV ČR, 2012, vol. 48, No 1, p. 85-106. ISSN 0038-0288.

FOREJT, Vojtěch, Petr JANČAR, Stefan KIEFER and James WORRELL. Bisimilarity of Probabilistic Pushdown Automata. Online. In Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan. FSTTCS. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012, p. 448-460. ISBN 978-3-939897-47-7.

ŠMÍDOVÁ, Iva. “Boys with the toys”. Hegemonies of Men over Reproduction: Biomedical Childbirth Made in Czech Republic. In The Second ISA Forum of Sociology Social justice and democratization Buenos Aires, Argentina August 1-4, 2012. 2012.

ŠPONER, Jiří, Claudio A MORGADO and Daniel SVOZIL. Comment on "Computational Model for Predicting Experimental RNA and DNA Nearest-Neighbor Free Energy Rankings". Journal of Physical Chemistry B. WASHINGTON: AMER CHEMICAL SOC, 2012, vol. 116, No 28, p. 8331-8332. ISSN 1520-6106. Available from: https://dx.doi.org/10.1021/jp300659f.

ŠMÍDOVÁ, Iva. členka Rady vlády ČR pro rovné příležitosti žen a mužů (member of The Government Council for Equal Opportunities for Women and Men). Rada vlády ČR pro rovné příležitosti žen a mužů, 2012.

SMOLKA, Tobiáš, Petr ŠVENDA, Lukáš SEKANINA and Václav MATYÁŠ. Evolutionary Design of Message Efficient Secrecy Amplification Protocols. In Alberto Moraglio, Sara Silva, Krzysztof Krawiec, Penousal Machado, Carlos Cotta. LNCS 7244, Proceedings of the 15th European Conference on Genetic Programming, EuroGP 2012. Berlin: Springer Verlag, 2012, p. 194-205. ISBN 978-3-642-29138-8. Available from: https://dx.doi.org/10.1007/978-3-642-29139-5_17.

KARAS, Pavel, David SVOBODA and Pavel ZEMČÍK. GPU Optimization of Convolution for Large 3-D Real Images. In Blanc-Talon, Jacques and Philips, Wilfried and Popescu, Dan and Scheunders, Paul and Zemcík, Pavel. Proceedings of the International Conference on Advanced Concepts for Intelligent Vision Systems (ACIVS’12). Neuveden: Springer Berlin / Heidelberg, 2012, p. 59-71. ISBN 978-3-642-33139-8. Available from: https://dx.doi.org/10.1007/978-3-642-33140-4_6.

ŠMÍDOVÁ, Iva and Marcela LINKOVÁ. Hraniční práce ve feministických studiích. Gender, rovné příležitosti, výzkum 2/2012; ISSN 1213-0028 (Border work in feminist studies. Gender, rovné příležitosti, výzkum 2/2012; ISSN 1213-0028). 1st ed. Praha: Sociologický ústav AV ČR, 2012, p. 1-114.

ŠMÍDOVÁ, Iva, Eva ŠLESINGEROVÁ and Lenka SLEPIČKOVÁ. Medicína reprodukce a reprodukce medicíny. Moc, hranice, dialog. /7.ročník genderových konfrontací (Reproductive medicine and reproduction of medicine). 2012.

ŠMÍDOVÁ, Iva. Nepřerušený zápas o ženská těla (recenze Dudová, Radka. 2012. Interrupce v České republice: zápas o ženská těla (Uninterrupted Struggle for Women s Bodies (a book review of Dudová, Radka. 2012. Abortions in the CZ: Struggle for Women s Bodies)). 1st ed. Praha: Sociologický ústav AV ČR, 2012, 4 pp. Gender, rovné příležitosti, výzkum 2/2012. ISSN 1213-0028.

SINETOVA, M, Jan ČERVENÝ, Tomáš ZAVŘEL and Ladislav NEDBAL. On the dynamics and constraints of batch culture growth of the cyanobacterium Cyanothece sp. ATCC 51142. Journal of Biotechnology. 2012. Available from: https://dx.doi.org/10.1016/j.jbiotec.2012.04.009.

SINETOVA, MA, Jan ČERVENÝ, Tomáš ZAVŘEL and Ladislav NEDBAL. On the dynamics and constraints of batch culture growth of the cyanobacterium Cyanothece sp ATCC 51142. Journal of Biotechnology. Amsterdam: Elsevier, 2012, vol. 162, No 1, p. 148-155. ISSN 0168-1656. Available from: https://dx.doi.org/10.1016/j.jbiotec.2012.04.009.

ZAVŘEL, Tomáš, Jan ČERVENÝ, Maria SINETOVA, Zaneta POCHYLOVA and Ladislav NEDBAL. On the dynamics and constraints of batch culture growth of two cyanobacterial unicellular strains: Cyanothece sp. ATCC 51142 and Synechocystis sp. PCC 6803. In Young Algaeneers Symposium, Book of Abstract. 2012.

FISER, J, P ZITEK and Jan ČERVENÝ. RELAY FEEDBACK OSCILLATOR DESIGN FOR MODELING CIRCADIAN RHYTHMS IN CYANOBACTERIA. NEW YORK: AMER SOC MECHANICAL ENGINEERS, 2012, p. 549-556.

ŠPONER, Jiří, Arnošt MLÁDEK, Judit ŠPONEROVÁ, Daniel SVOZIL, Marie ZGARBOVÁ, Pavel BANÁŠ, Petr JUREČKA and Michal OTYEPKA. The DNA and RNA sugar–phosphate backbone emerges as the key player. An overview of quantum-chemical, structural biology and simulation studies. PHYSICAL CHEMISTRY CHEMICAL PHYSICS. CAMBRIDGE: ROYAL SOC CHEMISTRY, 2012, vol. 14, No 44, p. 15257-15277. ISSN 1463-9076. Available from: https://dx.doi.org/10.1039/c2cp41987d.

VIDOVICOVÁ, Lucie, Lucie GALČANOVÁ and Iva ŠMÍDOVÁ. The Second ISA Forum of Sociology: Social justice and democratization: Zpráva z konference (The Second ISA Forum of Sociology: Social justice and democratization: Report from the Conference). 1st ed. Praha: Sociologický ústav AV ČR, 2012, 8 pp. Gender, rovné příležitosti, výzkum 2/2012. ISSN 1213-0028.

MORGADO, Claudio A, Daniel SVOZIL, Douglas H TURNER and Jiří ŠPONER. Understanding the role of base stacking in nucleic acids. MD and QM analysis of tandem GA base pairs in RNA duplexes. Physical Chemistry Chemical Physics. CAMBRIDGE: ROYAL SOC CHEMISTRY, 2012, vol. 14, No 36, p. 12580-12591. ISSN 1463-9076. Available from: https://dx.doi.org/10.1039/c2cp40556c.

POCHYLOVA, Zaneta, Tomáš ZAVŘEL, Jan ČERVENÝ, Maria SINETOVA and Ladislav NEDBAL. Unicellular cyanobacterium Synechocystis sp. PCC 6803 and its recombinant strain with ethylene forming gene: growth optimization and ethylene production. 2012.

LOKOČ, Jakub, David NOVÁK, Michal BATKO and Tomáš SKOPAL. Visual Image Search: Feature Signatures or/and Global Descriptors. In Navarro, Gonzalo and Pestov, Vladimir. Similarity Search and Applications. Berlin / Heidelberg: Springer, 2012, p. 177-191. ISBN 978-3-642-32152-8. Available from: https://dx.doi.org/10.1007/978-3-642-32153-5_13.

KUČERA, Antonín, Thomas A. HENZINGER, Jaroslav NEŠETŘIL, Tomáš VOJNAR and David ANTOŠ. 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: NOVPRESS, 2012. ISBN 978-80-87342-15-2.

MARTÍNEK, Tomáš and Matej LEXA. Architecture Model for Approximate Tandem Repeat Detection. In 22nd IEEE International Conference on Application-specific Systems, Architectures and Processors. Santa Monica, California, US: IEEE CS, 2011, p. 239-242. ISBN 978-1-4577-1290-6. Available from: https://dx.doi.org/10.1109/FCCM.2010.21.

HANÁČEK, Petr and Petr ŠVENDA. Cryptography for (partially) compromised sensor networks. In Eva Racková. Information Security Summit - Crisis Plans and Security. Praha: DSM - data security management, 2011, p. 102-118. ISBN 978-80-86813-22-6.

BARTÁKOVÁ, Vendula, Veronika TANHÄUSEROVÁ, Lukáš PÁCAL, Katarína KURICOVÁ, Petra LINHARTOVÁ and Kateřina KAŇKOVÁ. Diabetic nephropathy - Pharmacogenomics and variability in genes of renin-angiotensin-aledosterone system. In XV. Setkání biochemiků a molekulárních biologů. Brno: Masarykova univerzita. 2011. ISBN 978-80-210-5594-0.

MRÁZKOVÁ, Kateřina. Kartografické dovednosti ve výuce zeměpisu: teoretický model a výsledky výzkumného šetření (Map Skills in Geography Teaching: Theoretic Model and Results of Research). In Janík, T., Najvar, P., Kubiatko, M. a kol. Kvalita kurikula a výuky: výzkumné přístupy a nástroje. 1st ed. Brno: Masarykova univerzita, 2011, p. 195-207. Pedagogický výzkum v teorii a praxi, svazek 23. ISBN 978-80-210-5705-0.

HERMAN, Jiří, Radan KUČERA and Jaromír ŠIMŠA. Metody řešení matematických úloh I. 3. vyd. Brno: Masarykova univerzita, 2011, 278 pp. ISBN 978-80-210-5636-7.

KUBIATKO, Milan, Kateřina MRÁZKOVÁ and Tomáš JANKO. Postoje žáků 2. stupně základních škol k vyučovacímu předmětu zeměpis (The attitudes of lower secondary-school pupils’ to geography as a teaching subject). Pedagogika. 2011, vol. 61, No 3, p. 257-270. ISSN 0031-3815.

MATYSKA, Luděk, Michal KOZUBEK, Tomáš VOJNAR, Pavel ZEMČÍK and David ANTOŠ. Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. ISBN 978-3-939897-22-4.

HOLUB, Petr and Miloš LIŠKA. CoUniverse. 2008.

LIŠKA, Miloš and Petr HOLUB. CoUniverse: Framework for Building Self-organizing Collaborative Environments Using Extreme-Bandwidth Media Applications. In Lecture Notes in Computer Science vol. 5415 Euro-Par 2008 Workshops - Parallel Processing. Las Palmas de Gran Canaria, Spain: Springer Berlin / Heidelberg, 2008, p. 339-351, 12 pp. ISBN 978-3-642-00954-9.

ŠTEFLOVÁ, Lenka. Časopis Kamarád. In Vojtěch Blodig. Terezínské listy. Praha: Oswald, 2008, p. 163-178. ISBN 978-80-87242-04-9.

MATYSKA, Luděk, Eva HLADKÁ, Petr HOLUB and Miloš LIŠKA. High Quality Large Scale Virtual Classroom. In Proceedings of the 14th International Conference of European University Information Systems (EUNIS 2008). Århus, Denmark: Aarhus University, 2008, 4 pp. ISBN 978-87-91234-58-3.

WESLEY-SMITH, Ian N., Miloš LIŠKA and Petr HOLUB. Implementation of DXT Compression for UltraGrid. CESNET, 2008. Technical report 4/2008.

SVOBODOVÁ VAŘEKOVÁ, Radka, Zuzana JIROUŠKOVÁ, Jakub VANĚK, Šimon SUCHOMEL and Jaroslav KOČA. Electronegativity Equalization Method: Parameterization and Validation for Large Sets of Organic, Organohalogene and Organometal Molecule. International Journal of Molecular Sciences. Basel, Switzerland: MDPI Center, 2007, vol. 2007, No 8, p. 572-582. ISSN 1422-0067.

GREGAR, Tomáš, Zuzana NEVĚŘILOVÁ, Adam RAMBOUSEK and Tomáš PITNER. Vizualizace znalostí v e-learningu (Knowledge visualization in E-learning). In SCO 2006, Sharable Content Objects, 3. ročník konference o elektronické podpoře výuky. 2006th ed. Brno: Masarykova univerzita, 2006, p. 39-45. ISBN 80-210-3923-X.

NEPIL, Miloslav, Lubomír POPELÍNSKÝ and Eva ŽÁČKOVÁ. Part-of-Speech Tagging by Means of Shallow Parsing, ILP and Active Learning. In Proceedings of the Third Workshop on Learning Language in Logic, LLL 2001, Strasbourg, France, September 2001. Brno: FI MU, 2001, p. 58-66.

ŽÁČKOVÁ, Eva, Lubomír POPELÍNSKÝ and Miloslav NEPIL. Automatic Tagging of Compound Verb Groups in Czech Corpora. Edited by Sojka P., Kopeček I. and Pala K. In Text, Speech and Dialogue: Third International Workshop, TSD 2000, Brno, Czech Republic, September 2000. 1st ed. Berlin: Springer Verlag, 2000, p. 115-120. Lecture Notes in Artificial Intelligence 1902. ISBN 3-540-41042-2.

ŽÁČKOVÁ, Eva, Lubomír POPELÍNSKÝ and Miloslav NEPIL. Recognition and Tagging of Compound Verb Groups in Czech. In Proceedings of CoNLL-2000 and LLL-2000, Lisbon, Portugal, September 2000. New Brunswick: Association for Computational Linguistics, 2000, p. 219-225.

ŽÁČKOVÁ, Eva and Karel PALA. Corpus-Based Rules for Czech Verb Discontinuous Constituents. Edited by Matoušek V., Mautner P., Ocelíková J., Sojka P. In Text, Speech and Dialogue: Second International Workshop TSD '99, Plzen, Czech Republic, September 13-17, 1999. 1st ed. Berlin: Springer Verlag, 1999, p. 325-328. Lecture Notes in Artificial Intelligence 1692. ISBN 3-540-66494-7.

ŽÁČKOVÁ, Eva and Pavel SMRŽ. New Tools for Disambiguation of Czech Texts. Edit. P. Sojka, V. Matoušek, K. Pala, I. Kopeček. In Text, speech, dialogue : proceedings of the First Workshop on Text, Speech, Dialogue - TSD '98, Brno, Czech Republic, September_23-26,_1998. 1st ed. Brno: Masaryk University, 1998, p. 129-134. ISBN 80-210-1900-X.

MISÁKOVÁ, Miroslava. Písmo s variantní šířkou: nová naděje pro naše úzké sloupce? (Typesetting with varying width: a new hope for our narrow collumns?). Zpravodaj CSTUG. Brno: CSTUG, 1998, vol. 8, No 2, p. 65-81. ISSN 1211-6661.

MISÁKOVÁ, Miroslava. Trendy ve vývoji etických standardů v IT (Trends in development of IT ethical standards). In Sborník konference RUFIS'98 (Úloha universit v budoucí informační společnosti). 1998th ed. Liberec: Technická univerzita v Liberci, 1998, p. 143-148. ISBN 80-7083-303-3.

MISÁKOVÁ, Miroslava. Typesetting with varying letter widths: New hope for your narrow columns 355. TUGboat : The Communications of the TeX Users Group. San Francisco: TeX Users Group, Portland, Oregon, USA, 1998, vol. 19, No 4, p. 355-364. ISSN 0896-3207.