Petr Kroha

According to our database, Petr Kroha authored at least 48 papers between 1987 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Quality Measurement of Functional Requirements.

David Senkýr, Petr Kroha

Proceedings of the 18th International Conference on Software Technologies, 2023

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., 2022

2021

Problem of Inconsistency and Default Consistency Rules.

David Senkýr, Petr Kroha

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2021

Problem of Inconsistency in Textual Requirements Specification.

David Senkýr, Petr Kroha

Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

Problem of Semantic Enrichment of Sentences Used in Textual Requirements Specification.

David Senkýr, Petr Kroha

Proceedings of the Advanced Information Systems Engineering Workshops - CAiSE 2021 International Workshops, Melbourne, VIC, Australia, June 28, 2021

2020

Patterns for Checking Incompleteness of Scenarios in Textual Requirements Specification.

David Senkýr, Petr Kroha

Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

2019

Patterns of Ambiguity in Textual Requirements Specification.

David Senkýr, Petr Kroha

Proceedings of the New Knowledge in Information Systems and Technologies, 2019

Problem of Incompleteness in Textual Requirements Specification.

David Senkýr, Petr Kroha

Proceedings of the 14th International Conference on Software Technologies, 2019

ADA: Embracing Technology Change Acceleration.

Ondrej Dvorák, Robert Pergl, Petr Kroha

Proceedings of the 19th CIAO! Doctoral Consortium, 2019

2018

Patterns in Textual Requirements Specification.

David Senkýr, Petr Kroha

Proceedings of the 13th International Conference on Software Technologies, 2018

Hurst Exponent and Trading Signals Derived from Market Time Series.

Petr Kroha, Miroslav Skoula

Proceedings of the 20th International Conference on Enterprise Information Systems, 2018

Affordance-Driven Software Assembling.

Ondrej Dvorák, Robert Pergl, Petr Kroha

Proceedings of the Advances in Enterprise Engineering XII, 2018

2017

Tackling the Flexibility-Usability Trade-off in Component-Based Software Development.

Ondrej Dvorák, Robert Pergl, Petr Kroha

Proceedings of the Recent Advances in Information Systems and Technologies, 2017

Evaluation of XPath Queries Over XML Documents Using SparkSQL Framework.

Radoslav Hricov, Adam Senk, Petr Kroha, Michal Valenta

Proceedings of the Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation, 2017

2016

Reducing cold start problems in educational recommender systems.

Stanislav Kuznetsov, Pavel Kordík, Tomas Rehorek, Josef Dvorak, Petr Kroha

Proceedings of the 2016 International Joint Conference on Neural Networks, 2016

Minimization of Data Transfers During MapReduce Computations in Distributed Wide-Column Stores.

Adam Senk, Miroslav Hrstka, Michal Valenta, Petr Kroha

Proceedings of the Advances in Databases and Information Systems, 2016

2015

Revisiting the BORM OR Diagram Composition Pattern.

Martin Podloucký, Robert Pergl, Petr Kroha

Proceedings of the Enterprise and Organizational Modeling and Simulation, 2015

2014

Comparison of Genetic Algorithms for Trading Strategies.

Petr Kroha, Matthias Friedrich

Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014

Recovering Traceability Links Between Code and Specification Through Domain Model Extraction.

Jirí Vinárek, Petr Hnetynka, Viliam Simko, Petr Kroha

Proceedings of the Enterprise and Organizational Modeling and Simulation, 2014

2011

The Classification of Time Series under the Influence of Scaled Noise.

Petr Kroha, K. Kröber

Proceedings of the ICSOFT 2011, 2011

2010

Fuzzy and Fractal Technology in Market Analysis.

Petr Kroha, Marcus Lauschke

Proceedings of the Computational Intelligence, 2010

Using Fuzzy and Fractal Methods for Analyzing Market Time Series.

Petr Kroha, Marcus Lauschke

Proceedings of the ICFC-ICNC 2010, 2010

A Case Study - Classification of Stock Exchange News by Support Vector Machines.

Petr Kroha, K. Kröber, R. Janetzko

Proceedings of the ICSOFT 2010, 2010

Classification of Market News and Prediction of Market Trends.

Petr Kroha, R. Nienhold

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 2, AIDSS, Funchal, Madeira, Portugal, June 8, 2010

2009

Text Generation for Requirements Validation.

Petr Kroha, Manuela Rink

Proceedings of the Enterprise Information Systems, 11th International Conference, 2009

2008

Case Study: Running Test Cases for Sequential Programs in Parallel in a Cluster Environment.

Petr Kroha, V. Vychegzhanin

Proceedings of the ENASE 2008, 2008

2007

Textuelle Anforderungen und Software-Migration.

Petr Kroha, Lars Rosenhainer

Softwaretechnik-Trends, 2007

Performance Comparison of Distributed Object Server Implementation.

Petr Kroha, Mathias Kurth, Michael Fleischer

Proceedings of the 10th International Conference on Information System Implementation and Modeling, 2007

Using Grammars for Text Classification.

Petr Kroha, Thomas Reichel

Proceedings of the ICEIS 2007, 2007

2006

Text Mining of Business News for Forecasting.

Petr Kroha, Ricardo A. Baeza-Yates, Björn Krellner

Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

2005

A Case Study: News Classification Based on Term Frequency.

Petr Kroha, Ricardo A. Baeza-Yates

Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

2002

Features of a Web-Oriented Information System.

Petr Kroha, Dany Loeffler

Proceedings of the 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), 2002

Using Adaptive Programming in Legal Advisory Systems.

Petr Kroha, Sven Bürgel

Proceedings of the Database and Expert Systems Applications, 13th International Conference, 2002

2001

Using XML in a Web-Oriented Information System.

Petr Kroha, Lars Gemeinhardt

Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 2001

2000

Preprocessing of Requirements Specification.

Petr Kroha

Proceedings of the Database and Expert Systems Applications, 11th International Conference, 2000

1999

Parallel Object Server as a Data Repository for CASE Tools.

Petr Kroha, Jörg Lindner

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

Parallel Object Server Architecture and Performance.

Petr Kroha, Jörg Lindner

Proceedings of the Database and Expert Systems Applications, 10th International Conference, 1999

1997

Requirements Specification Iteratively Combined with Reverse.

Petr Kroha, M. Strauß

Proceedings of the SOFSEM '97: Theory and Practice of Informatics, 1997

Object Server on a Parallel Computer.

Petr Kroha, S. Rosenbaum

Proceedings of the Eighth International Workshop on Database and Expert Systems Applications, 1997

1995

Databridge between RDBMS and OODBMS.

Petr Kroha

Proceedings of the Information Management in Computer Integrated Manufacturing: A Comprehensive Guide to State-of-the-Art CIM Solutions, 1995

Shortcomings and Extensions of Relational DBMS.

Petr Kroha

Proceedings of the Information Management in Computer Integrated Manufacturing: A Comprehensive Guide to State-of-the-Art CIM Solutions, 1995

1993

Translation of a query in OODBMS into a system of parallel tasks.

Petr Kroha

Microprocess. Microprogramming, 1993

Object-oriented Database Management Systems for Construction of CASE Environments.

Wolfgang Emmerich, Petr Kroha, Wilhelm Schäfer

Proceedings of the Database and Expert Systems Applications, 4th International Conference, 1993

Objects and databases.

Petr Kroha

McGraw-Hill international series in software engineering, McGraw-Hill, ISBN: 978-0-07-707790-7, 1993

1992

Software features of an extended single instruction machine.

Petr Kroha, Peter Fritzson

Microprocess. Microprogramming, 1992

1990

A Compiler with Scheduling for a Specialized Synchronous Multiprocessor System.

Petr Kroha, Peter Fritzson

Proceedings of the Compiler Compilers, 1990

1988

Code Generation for a RISC Machine.

Petr Kroha

Proceedings of the Compiler Compilers and High Speed Compilation, 1988

1987

Design of a reconfigurable parallel RISC-machine.

Zdenek Blazek, Petr Kroha

Microprocess. Microprogramming, 1987