General Approach to Triadic Concept Analysis. - Jan Konecny 001; Petr Osicka (CLA, 2010)

Triadic Concept Analysis of Data with Fuzzy Attributes. - Radim Belohlávek; Petr Osicka (GrC, 2010)

On similarity preservation in fuzzy relation systems with hedges. - Petr Osicka (Int. J. Gen. Syst., 2010)

Factorizing Three-Way Ordinal Data Using Triadic Formal Concepts. - Radim Belohlávek; Petr Osicka; Vilém Vychodil (FQAS, 2011)

Dimensionality Reduction in Boolean Data: Comparison of Four BMF Methods. - Eduard Bartl; Radim Belohlávek; Petr Osicka; Hana Rezanková (CHDD, 2012)

Algorithms for Computation of Concept Trilattice of Triadic Fuzzy Context. - Petr Osicka (IPMU (3), 2012)

Simple Proof of Basic Theorem for General Concept Lattices by Cartesian Representation. - Radim Belohlávek; Jan Konecny 001; Petr Osicka (MDAI, 2012)

Triadic concept lattices of data with graded attributes. - Radim Belohlávek; Petr Osicka (Int. J. Gen. Syst., 2012)

Formal concept analysis with background knowledge: a case study in paleobiological taxonomy of belemnites. - Radim Belohlávek; Martin Kostak; Petr Osicka (Int. J. Gen. Syst., 2013)

Triadic fuzzy Galois connections as ordinary connections. - Radim Belohlávek; Petr Osicka (Fuzzy Sets Syst., 2014)

Triadic concept lattices in the framework of aggregation structures. - Jan Konecny 001; Petr Osicka (Inf. Sci., 2014)

Boolean Matrix Decomposition by Formal Concept Sampling. - Petr Osicka; Martin Trnecka (CIKM, 2017)

EXPSPACE-Complete Variant of Countdown Games, and Simulation on Succinct One-Counter Nets. - Petr Jancar; Petr Osicka; Zdenek Sawa (RP, 2018)

EXPSPACE-hardness of behavioural equivalences of succinct one-counter nets. - Petr Jancar; Petr Osicka; Zdenek Sawa (CoRR, 2018)

Speed Me up If You Can: Conditional Lower Bounds on Opacity Verification. - Jirí Balun; Tomás Masopust; Petr Osicka (MFCS, 2023)

Countdown games, and simulation on (succinct) one-counter nets. - Petr Jancar; Petr Osicka; Zdenek Sawa (Log. Methods Comput. Sci., 2023)

On the Complexity of Initial-and-Final-State Opacity for Discrete Event Systems. - Tomás Masopust; Petr Osicka (CoRR, 2024)

On algorithms verifying initial-and-final-state opacity: Complexity, special cases, and comparison. - Tomás Masopust; Petr Osicka (Autom., 2025)