| 2026 | MODELSWARD | Towards OntoUML for Software Engineering: Evaluation of Constraints Performance in Relational Databases. | Jakub Jaburek, Zdenek Rybola, Petr Kroha |
| 2025 | FedCSIS | Towards OntoUML for Software Engineering: Transformation of Constraints into Various Relational Databases. | Jakub Jaburek, Zdenek Rybola, Petr Kroha |
| 2023 | ICSoft | Quality Measurement of Functional Requirements. | David Senkr, Petr Kroha |
| 2021 | CaiSE | Problem of Semantic Enrichment of Sentences Used in Textual Requirements Specification. | David Senkr, Petr Kroha |
| 2021 | ENASE | Problem of Inconsistency in Textual Requirements Specification. | David Senkr, Petr Kroha |
| 2021 | SoMeT | Problem of Inconsistency and Default Consistency Rules. | David Senkr, Petr Kroha |
| 2020 | ENASE | Patterns for Checking Incompleteness of Scenarios in Textual Requirements Specification. | David Senkr, Petr Kroha |
| 2019 | ICSoft | Problem of Incompleteness in Textual Requirements Specification. | David Senkr, Petr Kroha |
| 2019 | WorldCIST | Patterns of Ambiguity in Textual Requirements Specification. | David Senkr, Petr Kroha |
| 2018 | ICSoft | Patterns in Textual Requirements Specification. | David Senkr, Petr Kroha |
| 2017 | WorldCIST | Tackling the Flexibility-Usability Trade-off in Component-Based Software Development. | Ondrej Dvork, Robert Pergl, Petr Kroha |
| 2016 | ADBIS | Minimization of Data Transfers During MapReduce Computations in Distributed Wide-Column Stores. | Adam Senk, Miroslav Hrstka, Michal Valenta, Petr Kroha |
| 2016 | IJCNN | Reducing cold start problems in educational recommender systems. | Stanislav Kuznetsov, Pavel Kordk, Tomas Rehorek, Josef Dvorak, Petr Kroha |
| 2015 | CaiSE | Revisiting the BORM OR Diagram Composition Pattern. | Martin Podlouck, Robert Pergl, Petr Kroha |
| 2014 | CaiSE | Recovering Traceability Links Between Code and Specification Through Domain Model Extraction. | Jir Vinrek, Petr Hnetynka, Viliam Simko, Petr Kroha |
| 2014 | SOFSEM | Comparison of Genetic Algorithms for Trading Strategies. | Petr Kroha, Matthias Friedrich |
| 2011 | ICSoft | The Classification of Time Series under the Influence of Scaled Noise. | Petr Kroha, K. Krber |
| 2010 | IJCCI | Using Fuzzy and Fractal Methods for Analyzing Market Time Series. | Petr Kroha, Marcus Lauschke |
| 2010 | IJCCI | Fuzzy and Fractal Technology in Market Analysis. | Petr Kroha, Marcus Lauschke |
| 2010 | ICSoft | A Case Study - Classification of Stock Exchange News by Support Vector Machines. | Petr Kroha, K. Krber, R. Janetzko |
| 2008 | ENASE | Case Study: Running Test Cases for Sequential Programs in Parallel in a Cluster Environment. | Petr Kroha, V. Vychegzhanin |
| 2002 | DEXA | Using Adaptive Programming in Legal Advisory Systems. | Petr Kroha, Sven Brgel |
| 2000 | DEXA | Preprocessing of Requirements Specification. | Petr Kroha |
| 1999 | DEXA | Parallel Object Server Architecture and Performance. | Petr Kroha, Jrg Lindner |
| 1997 | SOFSEM | Requirements Specification Iteratively Combined with Reverse. | Petr Kroha, M. Strau |
| 1993 | DEXA | Object-oriented Database Management Systems for Construction of CASE Environments. | Wolfgang Emmerich, Petr Kroha, Wilhelm Schfer |
| 1990 | CC | A Compiler with Scheduling for a Specialized Synchronous Multiprocessor System. | Petr Kroha, Peter Fritzson |
| 1988 | CC | Code Generation for a RISC Machine. | Petr Kroha |