Výpis publikací

ŠTEFÁNIK, Michal, Vít NOVOTNÝ, Nikola GROVEROVÁ a 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, s. 261-269. ISBN 978-1-955917-24-7. Dostupné z: https://dx.doi.org/10.18653/v1/2022.acl-demo.26.

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

CHALUPA, Marek, Vincent MIHALKOVIČ, Anna ŘECHTÁČKOVÁ, Lukáš ZAORAL a 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, s. 462-467. ISBN 978-3-030-99526-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-99527-0_32.

NOVOTNÝ, Vít. Vysokoúrovňové jazyky pro TeX. Zpravodaj CSTUG. Brno: CSTUG, 2022, roč. 32, 1-4, s. 25-48. ISSN 1211-6661. Dostupné z: https://dx.doi.org/10.5300/2022-1-4/35.

NOVOTNÝ, Vít, Michal ŠTEFÁNIK, Eniafe Festus AYETIRAN, Petr SOJKA a 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, roč. 28, č. 2, s. 181-201. ISSN 0948-695X. Dostupné z: https://dx.doi.org/10.3897/jucs.69619.

NOVOTNÝ, Vít a 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, s. 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 a Carlos SORZANO. Advances in Xmipp for Cryo–Electron Microscopy: From Xmipp to Scipion. Molecules. Mayer und Muller, 2021, roč. 26, č. 20, s. 1-14. ISSN 1420-3049. Dostupné z: https://dx.doi.org/10.3390/molecules26206224.

SCHWARZEROVÁ, Jana, Adam BAJGER, I. PIERDOU, Lubomír POPELÍNSKÝ, Karel SEDLÁŘ a 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, s. 3075-3082. ISBN 978-1-6654-0126-5. Dostupné z: https://dx.doi.org/10.1109/BIBM52615.2021.9669418.

BANKOVIČ, Mikuláš, Vít NOVOTNÝ a 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, s. 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 a Makarius WENZEL. CICM'21 Systems Entries. Online. In 978-3-030-81097-9. INTELLIGENT COMPUTER MATHEMATICS (CICM 2021). CHAM: SPRINGER INTERNATIONAL PUBLISHING AG, 2021, s. 245-248. ISBN 978-3-030-81096-2. Dostupné z: https://dx.doi.org/10.1007/978-3-030-81097-9_20.

HANZELKA, Michael, Jiří DAN, Pavel FIALA a Přemysl DOHNAL. Human Psychophysiology Is Influenced by Low-Level Magnetic Fields: Solar Activity as the Cause. Atmosphere. MDPI, 2021, roč. 12, č. 12, s. 1600:1-1600:10, 10 s. ISSN 2073-4433. Dostupné z: 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, č. 2, 8 s. ISSN 0896-3207. Dostupné z: https://dx.doi.org/10.47397/tb/42-2/tb131novotny-markdown.

NOVOTNÝ, Vít. Markdown 2.10.0: LaTeXová témata a snippety. Zpravodaj CSTUG. Brno: CSTUG, 2021, roč. 31, 1-4, s. 76-82. ISSN 1211-6661. Dostupné z: https://dx.doi.org/10.5300/2021-1-4/76.

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

NOVOTNÝ, Vít. Overleaf: Kolaborativní webový editor LaTeXu. Zpravodaj CSTUG. Brno: CSTUG, 2021, roč. 31, 1-4, s. 3-8. ISSN 1211-6661. Dostupné z: https://dx.doi.org/10.5300/2021-1-4/3.

ŠTEFÁNIK, Michal, Vít NOVOTNÝ a 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, s. 1041-1048. ISBN 978-1-954085-94-7.

NOVOTNÝ, Vít, Kristýna SEIDLOVÁ, Tereza VRABCOVÁ a 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, s. 29-39. ISBN 978-80-263-1670-1.

TROJÁK, Matej, David ŠAFRÁNEK, Luboš BRIM, Jakub ŠALAGOVIČ a 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, s. 91-116. ISSN 1571-0661. Dostupné z: https://dx.doi.org/10.1016/j.entcs.2020.06.006.

KORENČIK, Lukáš, Petr ROČKAI, Henrich LAUKO a 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, s. 265-272. ISBN 978-1-7281-8914-7. Dostupné z: 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 a Jeremy ZUCKER. SBML Level 3: an extensible format for the exchange and reuse of biological modelsAutoři. Online. Molecular systems biology. EMBOpress, 2020, roč. 16, č. 8, s. e9110. Dostupné z: 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 a 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, s. 413-417. ISBN 978-3-030-45236-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-45237-7_31.

ROČKAI, Petr a 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, s. 127-142. ISBN 978-3-030-27007-0. Dostupné z: 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 a Jakub ŠALAGOVIČ. Comprehensive Modelling Platform. In 6th Workshop on Hybrid Systems & Biology. 2019.

LAUKO, Henrich, Vladimír ŠTILL, Petr ROČKAI a 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, s. 204-208. ISBN 978-3-030-17501-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-17502-3_14.

LUPTÁK, Dávid. Fantasia Apocalyptica: Česká premiéra. Zpravodaj CSTUG. Brno: CSTUG, 2019, roč. 29, 1-4, s. 11-18. ISSN 1211-6661. Dostupné z: https://dx.doi.org/10.5300/2019-1-4/11.

ŠTILL, Vladimír a 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, s. 373-390. ISBN 978-3-030-30445-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-30446-1_20.

SOJKA, Petr, Vít NOVOTNÝ, Eniafe Festus AYETIRAN, Dávid LUPTÁK a 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, s. 117-128. ISBN 978-80-263-1517-9.

ROČKAI, Petr, Zuzana BARANOVÁ, Jan MRÁZEK, Katarína KEJSTOVÁ a 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, s. 333-349. ISBN 978-3-030-30445-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-30446-1_18.

MRÁZEK, Jan a 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, s. 2720-2725. ISBN 978-1-7281-4004-9. Dostupné z: 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 a Petr VELAN. Systém pro sdílení a analýzu bezpečnostních událostí. 2019.

SEGEČOVÁ, Anna, Jan ČERVENÝ a 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, roč. 135, č. 1, s. 37-51. ISSN 0167-6857. Dostupné z: https://dx.doi.org/10.1007/s11240-018-1441-6.

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

ROČKAI, Petr, Vladimír ŠTILL, Ivana ČERNÁ a Jiří BARNAT. DiVM: Model checking with LLVM and graph memory. Journal of Systems and Software. Elsevier, 2018, roč. 143, Oct, s. 1-13. ISSN 0164-1212. Dostupné z: 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Á a 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Č a 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, s. 354-359. ISBN 978-1-5386-4444-7. Dostupné z: 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, s. 1639-1642. ISBN 978-1-4503-6014-2. Dostupné z: https://dx.doi.org/10.1145/3269206.3269317.

ČERVENÝ, Jan, Jakub ŠALAGOVIČ, František MUZIKA, David ŠAFRÁNEK a 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, s. 193-206. ISBN 978-0-12-814667-5. Dostupné z: https://dx.doi.org/10.1016/B978-0-12-814667-5.00009-X.

SOJKA, Petr, Michal RŮŽIČKA a 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, s. 1923-1926. ISBN 978-1-4503-6014-2. Dostupné z: https://dx.doi.org/10.1145/3269206.3269233.

ŠTILL, Vladimír a 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, s. 124-140. ISBN 978-3-030-02449-9. Dostupné z: https://dx.doi.org/10.1007/978-3-030-02450-5_8.

BEZDĚK, Peter, Nikola BENEŠ, Ivana ČERNÁ a 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, roč. 99, Oct, s. 114-142. ISSN 2352-2208. Dostupné z: https://dx.doi.org/10.1016/j.jlamp.2018.05.004.

SEGEČOVÁ, Anna, Jan ČERVENÝ a 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, s. 1-9.

SEGEČOVÁ, Anna, Jan ČERVENÝ a 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, s. 99-100.

NOVOTNÝ, Vít. Příprava Zpravodaje CSTUG. Zpravodaj CSTUG. Brno: CSTUG, 2018, roč. 28, 1-4, s. 1-10. ISSN 1211-6661. Dostupné z: 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 a 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. Dostupné z: https://dx.doi.org/10.1016/j.bpj.2017.11.307.

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

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

NOVOTNÝ, Vít a 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, s. 31-40. ISBN 978-80-263-1517-9.

DOLEŽAL, Milan, Jiří CHMELÍK a 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, s. 272-275. ISBN 978-1-5090-5812-9. Dostupné z: https://dx.doi.org/10.1109/VS-GAMES.2017.8056613.

KEROUŠ, Bojan a 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, s. 279-283. ISBN 978-0-7695-6327-5. Dostupné z: https://dx.doi.org/10.1109/ISMAR-Adjunct.2017.91.

BRIM, Luboš, Jiří BARNAT, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA a 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, s. 40-56. ISBN 978-3-319-67470-4. Dostupné z: https://dx.doi.org/10.1007/978-3-319-67471-1_3.

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

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

KEJSTOVÁ, Katarína, Petr ROČKAI a 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, s. 225-240. ISBN 978-3-319-67530-5. Dostupné z: 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 a 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, s. 201-207. ISBN 978-3-319-68166-5. Dostupné z: https://dx.doi.org/10.1007/978-3-319-68167-2_14.

MRÁZEK, Jan, Martin JONÁŠ, Vladimír ŠTILL, Henrich LAUKO a 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, s. 390-393. ISBN 978-3-662-54579-9. Dostupné z: https://dx.doi.org/10.1007/978-3-662-54580-5_29.

ALDEGHERI, Stefano, Jiří BARNAT, Nicola BOMBIERI, Federico BUSATO a 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, s. 519-531. ISBN 978-3-319-58942-8. Dostupné z: https://dx.doi.org/10.1007/978-3-319-58943-5_42.

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

ŠTILL, Vladimír, Petr ROČKAI a 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, s. 54-64. ISBN 978-1-5386-0592-9. Dostupné z: https://dx.doi.org/10.1109/QRS.2017.15.

ZAVŘEL, Tomáš, Hening KNOOP, Ralf STEUER, Jones PATRIK, Jan ČERVENÝ a 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, roč. 202, s. 142–151.

VLACHYNSKÁ, Alžběta, Jan ČERVENÝ, V. ČMIEL a T. TUREČEK. Automatic Image-Based Method for Quantitative Analysis of Photosynthetic Cell Cultures. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016, roč. 7209, s. 402–413. ISSN 0302-9743. Dostupné z: 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Ý a 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ÁŠ a 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, s. 35-50. ISBN 978-3-319-45930-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-45931-8_3.

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

JAKUBÍČEK, Miloš a 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, s. 143-146. ISBN 978-80-263-1095-2.

KUČERA, Tomáš. Mé obrazy jsou prostředky pro komunikaci diváků s jejich nitrem. Praha: Sféra, 2016, s. 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Á a 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ÁŠ a 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, s. nestránkováno, 8 s. ISBN 1-891562-45-2. Dostupné z: https://dx.doi.org/10.14722/eurousec.2016.23003.

ZAVŘEL, Tomáš, Jan ČERVENÝ, Henning KNOOP a Ralf STEUER. Optimizing cyanobacterial product synthesis: Meeting the challenges. BIOENGINEERED. PHILADELPHIA: TAYLOR & FRANCIS INC, 2016, roč. 7, č. 6, s. 490-496. ISSN 2165-5979. Dostupné z: https://dx.doi.org/10.1080/21655979.2016.1207017.

BENDL, Jaroslav, Miloš MUSIL, Jan ŠTOURAČ, Jaroslav ZENDULKA, Jiří DAMBORSKÝ a 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, roč. 12, č. 5, s. "nestrankovano", 18 s. ISSN 1553-734X. Dostupné z: https://dx.doi.org/10.1371/journal.pcbi.1004962.

ŠŤAVOVÁ, Vlasta, Václav MATYÁŠ a 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, s. 133-143. ISBN 978-3-319-29816-0. Dostupné z: https://dx.doi.org/10.1007/978-3-319-29817-7_12.

KUČERA, Tomáš. Zahrada světla. 2016.

ŠKOLA, Filip, Szymon FIAŁEK a Fotis LIAROKAPIS. Augmenting the Rubber Hand Illusion. ERCIM News. ERCIM, 2015, roč. 2015, č. 103, s. 25-26. ISSN 0926-4981.

CHABADA, Tomáš, Tomáš HAMPEJS, Jan SKALÍK, Eva VÝTVAROVÁ a 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, roč. 12, č. 3, s. 113-133. ISSN 1214-813X.

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

OSOLSOBĚ, Klára, Pavel ŠMERK, Karel PALA a Dana HLAVÁČKOVÁ. Deriv— softwarový nástroj pro testování mezí a možností automatické slovotvorné analýzy. 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 a Dana HLAVÁČKOVÁ. Deriv— softwarový nástroj pro testování mezí a možností automatické slovotvorné analýzy. 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. 1. vyd. Praha: ÚFAL MFF UK, 2015, s. 42-46. ISBN 978-80-904571-9-5.

PALA, Karel a 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, s. 515-523. ISBN 978-3-319-24032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.

PALA, Karel a 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, s. 515-523. ISBN 978-3-319-24032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.

PALA, Karel a 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, s. 515-523. ISBN 978-3-319-24032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.

PALA, Karel a 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, s. 515-523. ISBN 978-3-319-24032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.

PALA, Karel a 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, s. 515-523. ISBN 978-3-319-24032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.

PALA, Karel a 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, s. 515-523. ISBN 978-3-319-24032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.

PALA, Karel a 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, s. 515-523. ISBN 978-3-319-24032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24033-6_58.

PALA, Karel a 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, s. 515-523. ISSN 2565-4373. Dostupné z: 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Á a David ŠMAHEL. Prototypový autentizační systém obnovy hesla. 2015.

RUDOVÁ, Hana, Zuzana MÜLLEROVÁ a Müller TOMÁŠ. Rozvrhování předmětů na Masarykově univerzitě. 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, s. 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, s. 87-92. ISBN 978-80-263-0974-1.

BUKAČ, Vít, Vlasta ŠŤAVOVÁ, Lukáš NĚMEC, Zdeněk ŘÍHA a 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. 1. vyd. Switzerland: Springer International Publishing, 2015, s. 130-143. ISBN 978-3-319-25644-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-25645-0_9.

JANČA, Radim, Kamil MALINKA a Vlasta ŠŤAVOVÁ. Systém pro distribuci dotazníků v počítačových učebnách. 2015.

ŠMÍDOVÁ, Iva a Lenka SLEPIČKOVÁ. Medycyna jako reprodukowana bezsilność: Codzienność czeskiej medycyny reprodukcyjnej z punktu widzenia lekarzy i lekarek. In Magdalena Radkowska-Walkowicz, Hubert Wiercinski. Etnografie biomedycyny. Warszawa: Wydavnictwa Uniwersytetu Warszawskiego/Warsaw University Press, 2014, s. 47-66. ISBN 978-83-235-1581-4.

LINKOV, Václav, Pavel ŠMERK, Bingbing LI a 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, roč. 56, č. 4, s. 287-300. ISSN 0039-3320. Dostupné z: https://dx.doi.org/10.21909/sp.2014.04.667.

SLEPIČKOVÁ, Lenka a Iva ŠMÍDOVÁ. Postoje českých lékařů k medicíně a ke změnám v praxi reprodukční medicíny. Data a výzkum. AV ČR, Sociologický ústav, 2014, roč. 8, č. 1, s. 63-95. ISSN 1802-8152. Dostupné z: 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, s. 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. 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 a 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, s. 63-67. ISBN 978-80-263-0520-0.

BRÁZDOVÁ, Marie, Tomáš MARTÍNEK a 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, s. 42-46. ISBN 1-4909-5208-X.

ŠMÍDOVÁ, Iva a Lenka SLEPIČKOVÁ. Lékaři a vyhoření: ožehavá každodennost medicíny pohledem sociologie. In Radek Ptáček; Jiří Raboch; Vladimír Kebza. Burnout syndrom jako mezioborový jev. Praha: Grada Publishing, 2013, s. 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 a Iva ŠMÍDOVÁ. Men and Masculinities in Europe. 2. vyd. London: Whiting & Birch, 2013, 292 s. 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 a et. AL. Studying Men´s violences in Europe. Towards a Research Framework. 1. vyd. Orebro: Orebro university, 2013, 140 s. 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 a 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, roč. 2, č. 1, s. 82-115. ISSN 2014-3605. Dostupné z: https://dx.doi.org/10.4471/MCS.2013.22.

CHLEBOUNOVÁ, Michaela a Ivo ČERMÁK. Utváření vztahu rodičů k předčasně narozeným dětem. Československá psychologie. Praha: Academia, 2013, roč. 57, č. 4, s. 307-316. ISSN 0009-062X.

ŠMÍDOVÁ, Iva, Eva ŠLESINGEROVÁ, Lenka SLEPIČKOVÁ a 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Á a Iva ŠMÍDOVÁ. Biomoc a reprodukční biomedicína: konceptuální inspirace pro český kontext. Sociologický časopis/ Czech Sociological Review. Praha: Sociologický ústav AV ČR, 2012, roč. 48, č. 1, s. 85-106. ISSN 0038-0288.

FOREJT, Vojtěch, Petr JANČAR, Stefan KIEFER a 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, s. 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 a 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, roč. 116, č. 28, s. 8331-8332. ISSN 1520-6106. Dostupné z: https://dx.doi.org/10.1021/jp300659f.

ŠMÍDOVÁ, Iva. členka Rady vlády ČR pro rovné příležitosti žen a mužů. Rada vlády ČR pro rovné příležitosti žen a mužů, 2012.

SMOLKA, Tobiáš, Petr ŠVENDA, Lukáš SEKANINA a 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, s. 194-205. ISBN 978-3-642-29138-8. Dostupné z: https://dx.doi.org/10.1007/978-3-642-29139-5_17.

KARAS, Pavel, David SVOBODA a 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, s. 59-71. ISBN 978-3-642-33139-8. Dostupné z: https://dx.doi.org/10.1007/978-3-642-33140-4_6.

ŠMÍDOVÁ, Iva a Marcela LINKOVÁ. Hraniční práce ve feministických studiích. Gender, rovné příležitosti, výzkum 2/2012; ISSN 1213-0028. 1. vyd. Praha: Sociologický ústav AV ČR, 2012, s. 1-114.

ŠMÍDOVÁ, Iva, Eva ŠLESINGEROVÁ a Lenka SLEPIČKOVÁ. Medicína reprodukce a reprodukce medicíny. Moc, hranice, dialog. /7.ročník genderových konfrontací. 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. 1. vyd. Praha: Sociologický ústav AV ČR, 2012, 4 s. Gender, rovné příležitosti, výzkum 2/2012. ISSN 1213-0028.

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

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

ZAVŘEL, Tomáš, Jan ČERVENÝ, Maria SINETOVA, Zaneta POCHYLOVA a 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 a Jan ČERVENÝ. RELAY FEEDBACK OSCILLATOR DESIGN FOR MODELING CIRCADIAN RHYTHMS IN CYANOBACTERIA. NEW YORK: AMER SOC MECHANICAL ENGINEERS, 2012, s. 549-556.

ŠPONER, Jiří, Arnošt MLÁDEK, Judit ŠPONEROVÁ, Daniel SVOZIL, Marie ZGARBOVÁ, Pavel BANÁŠ, Petr JUREČKA a 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, roč. 14, č. 44, s. 15257-15277. ISSN 1463-9076. Dostupné z: https://dx.doi.org/10.1039/c2cp41987d.

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

MORGADO, Claudio A, Daniel SVOZIL, Douglas H TURNER a 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, roč. 14, č. 36, s. 12580-12591. ISSN 1463-9076. Dostupné z: https://dx.doi.org/10.1039/c2cp40556c.

POCHYLOVA, Zaneta, Tomáš ZAVŘEL, Jan ČERVENÝ, Maria SINETOVA a 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 a 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, s. 177-191. ISBN 978-3-642-32152-8. Dostupné z: 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 a 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áš a 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, s. 239-242. ISBN 978-1-4577-1290-6. Dostupné z: https://dx.doi.org/10.1109/FCCM.2010.21.

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

BARTÁKOVÁ, Vendula, Veronika TANHÄUSEROVÁ, Lukáš PÁCAL, Katarína KURICOVÁ, Petra LINHARTOVÁ a 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í. In Janík, T., Najvar, P., Kubiatko, M. a kol. Kvalita kurikula a výuky: výzkumné přístupy a nástroje. 1. vyd. Brno: Masarykova univerzita, 2011, s. 195-207. Pedagogický výzkum v teorii a praxi, svazek 23. ISBN 978-80-210-5705-0.

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

KUBIATKO, Milan, Kateřina MRÁZKOVÁ a Tomáš JANKO. Postoje žáků 2. stupně základních škol k vyučovacímu předmětu zeměpis. Pedagogika. 2011, roč. 61, č. 3, s. 257-270. ISSN 0031-3815.

MATYSKA, Luděk, Michal KOZUBEK, Tomáš VOJNAR, Pavel ZEMČÍK a 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 a Miloš LIŠKA. CoUniverse. 2008.

LIŠKA, Miloš a 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, s. 339-351, 12 s. ISBN 978-3-642-00954-9.

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

MATYSKA, Luděk, Eva HLADKÁ, Petr HOLUB a 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 s. ISBN 978-87-91234-58-3.

WESLEY-SMITH, Ian N., Miloš LIŠKA a 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 a 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, roč. 2007, č. 8, s. 572-582. ISSN 1422-0067.

GREGAR, Tomáš, Zuzana NEVĚŘILOVÁ, Adam RAMBOUSEK a Tomáš PITNER. Vizualizace znalostí v e-learningu. In SCO 2006, Sharable Content Objects, 3. ročník konference o elektronické podpoře výuky. 2006. vyd. Brno: Masarykova univerzita, 2006, s. 39-45. ISBN 80-210-3923-X.

NEPIL, Miloslav, Lubomír POPELÍNSKÝ a 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, s. 58-66.

ŽÁČKOVÁ, Eva, Lubomír POPELÍNSKÝ a 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, s. 115-120. Lecture Notes in Artificial Intelligence 1902. ISBN 3-540-41042-2.

ŽÁČKOVÁ, Eva, Lubomír POPELÍNSKÝ a 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, s. 219-225.

ŽÁČKOVÁ, Eva a 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, s. 325-328. Lecture Notes in Artificial Intelligence 1692. ISBN 3-540-66494-7.

ŽÁČKOVÁ, Eva a 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, s. 129-134. ISBN 80-210-1900-X.

MISÁKOVÁ, Miroslava. Písmo s variantní šířkou: nová naděje pro naše úzké sloupce? Zpravodaj CSTUG. Brno: CSTUG, 1998, roč. 8, č. 2, s. 65-81. ISSN 1211-6661.

MISÁKOVÁ, Miroslava. Trendy ve vývoji etických standardů v IT. In Sborník konference RUFIS'98 (Úloha universit v budoucí informační společnosti). 1998. vyd. Liberec: Technická univerzita v Liberci, 1998, s. 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, roč. 19, č. 4, s. 355-364. ISSN 0896-3207.