Petr Kroha

dblp:42/3030 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2026 Towards OntoUML for Software Engineering: Evaluation of Constraints Performance in Relational Databases
Jakub Jaburek, Zdenek Rybola, Petr Kroha
MODELSWARD3
2023 Quality Measurement of Functional Requirements
David Senkýr, Petr Kroha
ICSOFT2
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
ENASE2
2021 Problem of Inconsistency and Default Consistency Rules
abstract
We 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
SoMeT2
2020 Patterns for Checking Incompleteness of Scenarios in Textual Requirements Specification
David Senkýr, Petr Kroha
ENASE2
2019 Problem of Incompleteness in Textual Requirements Specification
David Senkýr, Petr Kroha
ICSOFT2
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
ICSOFT2
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
ADBIS4
2016 Reducing cold start problems in educational recommender systems
abstract
Educational 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
IJCNN5
2015 Revisiting the BORM OR Diagram Composition Pattern
Martin Podloucký, Robert Pergl, Petr Kroha
EOMAS@CAiSE3
2014 Recovering Traceability Links Between Code and Specification Through Domain Model Extraction
Jirí Vinárek, Petr Hnetynka, Viliam Simko, Petr Kroha
EOMAS@CAiSE4
2014 Comparison of Genetic Algorithms for Trading Strategies
Petr Kroha, Matthias Friedrich
SOFSEM1
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
ENASE1
2002 Using Adaptive Programming in Legal Advisory Systems
Petr Kroha, Sven Bürgel
DEXA1
2000 Preprocessing of Requirements Specification
Petr Kroha
DEXA1
1999 Parallel Object Server Architecture and Performance
Petr Kroha, Jörg Lindner
DEXA1
1997 Requirements Specification Iteratively Combined with Reverse
Petr Kroha, M. Strauß
SOFSEM1
1993 Object-oriented Database Management Systems for Construction of CASE Environments
Wolfgang Emmerich, Petr Kroha, Wilhelm Schäfer
DEXA2
1993 Translation of a query in OODBMS into a system of parallel tasks
Petr Kroha
Microprocess. Microprogramming1
1992 Software features of an extended single instruction machine
Petr Kroha, Peter Fritzson
Microprocess. Microprogramming1
1987 Design of a reconfigurable parallel RISC-machine
Zdenek Blazek, Petr Kroha
Microprocess. Microprogramming2