Petr Osicka

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