Publication Records

LINHOVÁ, Kateřina, Dana KOZLOVÁ and Lucie PEKÁRKOVÁ. Lorem ipsum dolor sit amet (Nullam sit amet magna). 2024.

LINHOVÁ, Kateřina and Dana KOZLOVÁ. Umělecká realizace xyz. 2024.

Š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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Š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.

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.

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

Š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.

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.

Š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.

Š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.

Š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.

Š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.

Š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.

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.