Petr Osicka

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 8

Top Topics

Discrete Event Systems

Introduce A General Framework

Top Venues

Fuzzy Sets Syst.

Publications

Tomás Masopust, Petr Osicka
On the Complexity of Initial-and-Final-State Opacity for Discrete Event Systems. CoRR (2024)
Jirí Balun, Tomás Masopust, Petr Osicka
Speed Me up If You Can: Conditional Lower Bounds on Opacity Verification. MFCS (2023)
Jirí Balun, Tomás Masopust, Petr Osicka
Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification. CoRR (2023)
Petr Jancar, Petr Osicka, Zdenek Sawa
Countdown games, and simulation on (succinct) one-counter nets. Log. Methods Comput. Sci. 19 (1) (2023)
Petr Jancar, Petr Osicka, Zdenek Sawa
Countdown games, and simulation on (succinct) one-counter nets. CoRR (2020)
Petr Jancar, Petr Osicka, Zdenek Sawa
EXPSPACE-Complete Variant of Countdown Games, and Simulation on Succinct One-Counter Nets. RP (2018)
Petr Jancar, Petr Osicka, Zdenek Sawa
EXPSPACE-hardness of behavioural equivalences of succinct one-counter nets. CoRR (2018)
Petr Osicka, Martin Trnecka
Boolean Matrix Decomposition by Formal Concept Sampling. CIKM (2017)
Radim Belohlávek, Petr Osicka
Triadic fuzzy Galois connections as ordinary connections. Fuzzy Sets Syst. 249 (2014)
Jan Konecny, Petr Osicka
Triadic concept lattices in the framework of aggregation structures. Inf. Sci. 279 (2014)
Radim Belohlávek, Martin Kostak, Petr Osicka
Formal concept analysis with background knowledge: a case study in paleobiological taxonomy of belemnites. Int. J. Gen. Syst. 42 (4) (2013)
Radim Belohlávek, Petr Osicka
Triadic concept lattices of data with graded attributes. Int. J. Gen. Syst. 41 (2) (2012)
Radim Belohlávek, Jan Konecny, Petr Osicka
Simple Proof of Basic Theorem for General Concept Lattices by Cartesian Representation. MDAI (2012)
Radim Belohlávek, Petr Osicka
Triadic fuzzy Galois connections as ordinary connections. FUZZ-IEEE (2012)
Eduard Bartl, Radim Belohlávek, Petr Osicka, Hana Rezanková
Dimensionality Reduction in Boolean Data: Comparison of Four BMF Methods. CHDD (2012)
Petr Osicka
Algorithms for Computation of Concept Trilattice of Triadic Fuzzy Context. IPMU (3) (2012)
Radim Belohlávek, Petr Osicka, Vilém Vychodil
Factorizing Three-Way Ordinal Data Using Triadic Formal Concepts. FQAS (2011)
Jan Konecny, Petr Osicka
General Approach to Triadic Concept Analysis. CLA (2010)
Petr Osicka
On similarity preservation in fuzzy relation systems with hedges. Int. J. Gen. Syst. 39 (5) (2010)
Radim Belohlávek, Petr Osicka
Triadic Concept Analysis of Data with Fuzzy Attributes. GrC (2010)