Petr Kroha

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 17

Top Topics

Requirements Specification

Top Venues

Publications

David Senkýr, Petr Kroha
Quality Measurement of Functional Requirements. ICSOFT (2023)
David Senkýr, Marek Suchánek, Petr Kroha, Herwig Mannaert, Robert Pergl
Expanding Normalized Systems from textual domain descriptions using TEMOS. J. Intell. Inf. Syst. 59 (2) (2022)
David Senkýr, Petr Kroha
Problem of Semantic Enrichment of Sentences Used in Textual Requirements Specification. CAiSE Workshops (2021)
David Senkýr, Petr Kroha
Problem of Inconsistency in Textual Requirements Specification. ENASE (2021)
David Senkýr, Petr Kroha
Problem of Inconsistency and Default Consistency Rules. SoMeT (2021)
David Senkýr, Petr Kroha
Patterns for Checking Incompleteness of Scenarios in Textual Requirements Specification. ENASE (2020)
Ondrej Dvorák, Robert Pergl, Petr Kroha
ADA: Embracing Technology Change Acceleration. Forum/Posters/CIAO!DC@EEWC (2019)
David Senkýr, Petr Kroha
Problem of Incompleteness in Textual Requirements Specification. ICSOFT (2019)
David Senkýr, Petr Kroha
Patterns of Ambiguity in Textual Requirements Specification. WorldCIST (1) (2019)
Ondrej Dvorák, Robert Pergl, Petr Kroha
Affordance-Driven Software Assembling. EEWC (2018)
Petr Kroha, Miroslav Skoula
Hurst Exponent and Trading Signals Derived from Market Time Series. ICEIS (1) (2018)
David Senkýr, Petr Kroha
Patterns in Textual Requirements Specification. ICSOFT (2018)
Radoslav Hricov, Adam Senk, Petr Kroha, Michal Valenta
Evaluation of XPath Queries Over XML Documents Using SparkSQL Framework. BDAS (2017)
Ondrej Dvorák, Robert Pergl, Petr Kroha
Tackling the Flexibility-Usability Trade-off in Component-Based Software Development. WorldCIST (1) (2017)
Adam Senk, Miroslav Hrstka, Michal Valenta, Petr Kroha
Minimization of Data Transfers During MapReduce Computations in Distributed Wide-Column Stores. ADBIS (2016)
Stanislav Kuznetsov, Pavel Kordík, Tomas Rehorek, Josef Dvorak, Petr Kroha
Reducing cold start problems in educational recommender systems. IJCNN (2016)
Martin Podloucký, Robert Pergl, Petr Kroha
Revisiting the BORM OR Diagram Composition Pattern. EOMAS@CAiSE (2015)
Jirí Vinárek, Petr Hnetynka, Viliam Simko, Petr Kroha
Recovering Traceability Links Between Code and Specification Through Domain Model Extraction. EOMAS@CAiSE (2014)
Petr Kroha, Matthias Friedrich
Comparison of Genetic Algorithms for Trading Strategies. SOFSEM (2014)
Petr Kroha, K. Kröber
The Classification of Time Series under the Influence of Scaled Noise. ICSOFT (2) (2011)
Petr Kroha, Marcus Lauschke
Using Fuzzy and Fractal Methods for Analyzing Market Time Series. IJCCI (ICFC-ICNC) (2010)
Petr Kroha, R. Nienhold
Classification of Market News and Prediction of Market Trends. ICEIS (2) (2010)
Petr Kroha, K. Kröber, R. Janetzko
A Case Study - Classification of Stock Exchange News by Support Vector Machines. ICSOFT (1) (2010)
Petr Kroha, Marcus Lauschke
Fuzzy and Fractal Technology in Market Analysis. IJCCI (Selected Papers) (2010)
Petr Kroha, Manuela Rink
Text Generation for Requirements Validation. ICEIS (2009)
Petr Kroha, V. Vychegzhanin
Case Study: Running Test Cases for Sequential Programs in Parallel in a Cluster Environment. ENASE (2008)
Petr Kroha, Thomas Reichel
Using Grammars for Text Classification. ICEIS (2) (2007)
Petr Kroha, Lars Rosenhainer
Textuelle Anforderungen und Software-Migration. Softwaretechnik-Trends 27 (1) (2007)
Petr Kroha, Mathias Kurth, Michael Fleischer
Performance Comparison of Distributed Object Server Implementation. ISIM (2007)
Petr Kroha, Ricardo A. Baeza-Yates, Bjorn Krellner
Text Mining of Business News for Forecasting. DEXA Workshops (2006)
Petr Kroha, Ricardo A. Baeza-Yates
A Case Study: News Classification Based on Term Frequency. DEXA Workshops (2005)
Petr Kroha, Sven Bürgel
Using Adaptive Programming in Legal Advisory Systems. DEXA (2002)
Petr Kroha, Dany Loeffler
Features of a Web-Oriented Information System. DEXA Workshops (2002)
Petr Kroha, Lars Gemeinhardt
Using XML in a Web-Oriented Information System. DEXA Workshop (2001)
Petr Kroha
Preprocessing of Requirements Specification. DEXA (2000)
Petr Kroha, Jörg Lindner
Parallel Object Server as a Data Repository for CASE Tools. PDSE (1999)
Petr Kroha, Jörg Lindner
Parallel Object Server Architecture and Performance. DEXA (1999)
Petr Kroha, M. Strauß
Requirements Specification Iteratively Combined with Reverse. SOFSEM (1997)
Petr Kroha, S. Rosenbaum
Object Server on a Parallel Computer. DEXA Workshop (1997)
Petr Kroha
Databridge between RDBMS and OODBMS. Information Management in Computer Integrated Manufacturing (1995)
Petr Kroha
Shortcomings and Extensions of Relational DBMS. Information Management in Computer Integrated Manufacturing (1995)
Wolfgang Emmerich, Petr Kroha, Wilhelm Schäfer
Object-oriented Database Management Systems for Construction of CASE Environments. DEXA (1993)
Petr Kroha
Translation of a query in OODBMS into a system of parallel tasks. Microprocess. Microprogramming 37 (1-5) (1993)
Petr Kroha, Peter Fritzson
Software features of an extended single instruction machine. Microprocess. Microprogramming 34 (1-5) (1992)
Petr Kroha, Peter Fritzson
A Compiler with Scheduling for a Specialized Synchronous Multiprocessor System. CC (1990)
Petr Kroha
Code Generation for a RISC Machine. CC (1988)
Zdenek Blazek, Petr Kroha
Design of a reconfigurable parallel RISC-machine. Microprocess. Microprogramming 21 (1-5) (1987)