Patterns in Textual Requirements Specification. - David Senkýr; Petr Kroha (ICSOFT, 2018)

SHACL Shapes Generation from Textual Documents. - David Senkýr (EOMAS@CAiSE, 2019)

Problem of Incompleteness in Textual Requirements Specification. - David Senkýr; Petr Kroha (ICSOFT, 2019)

Patterns of Ambiguity in Textual Requirements Specification. - David Senkýr; Petr Kroha (WorldCIST (1), 2019)

Patterns for Checking Incompleteness of Scenarios in Textual Requirements Specification. - David Senkýr; Petr Kroha (ENASE, 2020)

Problem of Semantic Enrichment of Sentences Used in Textual Requirements Specification. - David Senkýr; Petr Kroha (CAiSE Workshops, 2021)

Problem of Inconsistency in Textual Requirements Specification. - David Senkýr; Petr Kroha (ENASE, 2021)

Problem of Inconsistency and Default Consistency Rules. - David Senkýr; Petr Kroha (SoMeT, 2021)

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)

Quality Measurement of Functional Requirements. - David Senkýr; Petr Kroha (ICSOFT, 2023)