VLDB 2026 Research / reviewers in the wild / expert
Petr Kroha
dblp:42/3030
· DBLP profile ↗
26ranked-venue papers
10as first author
5since 2021 · last 2026
0000-0002-1658-3736ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 12 · 3 first-author · 4 since 2021Databases, data management, data science and information retrieval · 6 · 3 first-author · 1 since 2021Artificial intelligence and machine learning · 5 · 3 first-authorApplied, interdisciplinary, general and emerging computing · 4 · 2 first-authorSystems, architecture and hardware · 3 · 2 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Towards OntoUML for Software Engineering: Evaluation of Constraints Performance in Relational Databases
Jakub Jaburek, Zdenek Rybola, Petr Kroha |
MODELSWARD | 3 |
| 2023 | Quality Measurement of Functional Requirements
David Senkýr, Petr Kroha |
ICSOFT | 2 |
| 2022 | Expanding Normalized Systems from textual domain descriptions using TEMOS
David Senkýr, Marek Suchánek, Petr Kroha, Herwig Mannaert, Robert Pergl |
J. Intell. Inf. Syst. | 3 |
| 2021 | Problem of Inconsistency in Textual Requirements Specification
David Senkýr, Petr Kroha |
ENASE | 2 |
| 2021 | Problem of Inconsistency and Default Consistency RulesabstractWe investigate inconsistency problem in textual functional requirements specifications. We argue that some sources of inconsistency can be revealed during the very first steps of textual requirements analysis. In this paper, we focus on those facts and rules that domain experts find so obvious that they do not even mention them to the analysts during the discussions about the product to be constructed. However, what is very obvious for stakeholders may not be obvious for analysts. We call such rules default consistency rules. We argue that the lack of the default consistency rules leads to incompleteness in the requirements, and it causes incon- sistency with all its unpleasant consequences. In this contribution, we describe our approach to the problem of how the missing information can be both identified in the original requirements and found in external sources. We show a motivational example and explain our method. David Senkýr, Petr Kroha |
SoMeT | 2 |
| 2020 | Patterns for Checking Incompleteness of Scenarios in Textual Requirements Specification
David Senkýr, Petr Kroha |
ENASE | 2 |
| 2019 | Problem of Incompleteness in Textual Requirements Specification
David Senkýr, Petr Kroha |
ICSOFT | 2 |
| 2019 | Patterns of Ambiguity in Textual Requirements Specification
David Senkýr, Petr Kroha |
WorldCIST (1) | 2 |
| 2018 | Patterns in Textual Requirements Specification
David Senkýr, Petr Kroha |
ICSOFT | 2 |
| 2017 | Tackling the Flexibility-Usability Trade-off in Component-Based Software Development
Ondrej Dvorák, Robert Pergl, Petr Kroha |
WorldCIST (1) | 3 |
| 2016 | Minimization of Data Transfers During MapReduce Computations in Distributed Wide-Column Stores
Adam Senk, Miroslav Hrstka, Michal Valenta, Petr Kroha |
ADBIS | 4 |
| 2016 | Reducing cold start problems in educational recommender systemsabstractEducational data can help us to personalise university information systems. In this paper, we show how educational data can be used to improve the performance of interaction-based recommender systems. Educational data is transformed to student profiles helping to prevent cold start problems when recommending projects to students with few user interactions. Our results show that our hybrid interaction based recommender boosted by educational profiles significantly outperforms bestseller recommendation, which is a mainstream recommendation method for cold start users. Stanislav Kuznetsov, Pavel Kordík, Tomas Rehorek, Josef Dvorak, Petr Kroha |
IJCNN | 5 |
| 2015 | Revisiting the BORM OR Diagram Composition Pattern
Martin Podloucký, Robert Pergl, Petr Kroha |
EOMAS@CAiSE | 3 |
| 2014 | Recovering Traceability Links Between Code and Specification Through Domain Model Extraction
Jirí Vinárek, Petr Hnetynka, Viliam Simko, Petr Kroha |
EOMAS@CAiSE | 4 |
| 2014 | Comparison of Genetic Algorithms for Trading Strategies
Petr Kroha, Matthias Friedrich |
SOFSEM | 1 |
| 2011 | The Classification of Time Series under the Influence of Scaled Noise
Petr Kroha, K. Kröber |
ICSOFT (2) | 1 |
| 2010 | A Case Study - Classification of Stock Exchange News by Support Vector Machines
Petr Kroha, K. Kröber, R. Janetzko |
ICSOFT (1) | 1 |
| 2008 | Case Study: Running Test Cases for Sequential Programs in Parallel in a Cluster Environment
Petr Kroha, V. Vychegzhanin |
ENASE | 1 |
| 2002 | Using Adaptive Programming in Legal Advisory Systems
Petr Kroha, Sven Bürgel |
DEXA | 1 |
| 2000 | Preprocessing of Requirements Specification
Petr Kroha |
DEXA | 1 |
| 1999 | Parallel Object Server Architecture and Performance
Petr Kroha, Jörg Lindner |
DEXA | 1 |
| 1997 | Requirements Specification Iteratively Combined with Reverse
Petr Kroha, M. Strauß |
SOFSEM | 1 |
| 1993 | Object-oriented Database Management Systems for Construction of CASE Environments
Wolfgang Emmerich, Petr Kroha, Wilhelm Schäfer |
DEXA | 2 |
| 1993 | Translation of a query in OODBMS into a system of parallel tasks
Petr Kroha |
Microprocess. Microprogramming | 1 |
| 1992 | Software features of an extended single instruction machine
Petr Kroha, Peter Fritzson |
Microprocess. Microprogramming | 1 |
| 1987 | Design of a reconfigurable parallel RISC-machine
Zdenek Blazek, Petr Kroha |
Microprocess. Microprogramming | 2 |