Petr Osicka

According to our database, Petr Osicka authored at least 17 papers between 2010 and 2024.

Collaborative distances:

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

2024

On the Complexity of Initial-and-Final-State Opacity for Discrete Event Systems.

Tomás Masopust, Petr Osicka

CoRR, 2024

2023

Countdown games, and simulation on (succinct) one-counter nets.

Petr Jancar, Petr Osicka, Zdenek Sawa

Log. Methods Comput. Sci., 2023

Speed Me up If You Can: Conditional Lower Bounds on Opacity Verification.

Jirí Balun, Tomás Masopust, Petr Osicka

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2018

EXPSPACE-hardness of behavioural equivalences of succinct one-counter nets.

Petr Jancar, Petr Osicka, Zdenek Sawa

CoRR, 2018

EXPSPACE-Complete Variant of Countdown Games, and Simulation on Succinct One-Counter Nets.

Petr Jancar, Petr Osicka, Zdenek Sawa

Proceedings of the Reachability Problems - 12th International Conference, 2018

2017

Boolean Matrix Decomposition by Formal Concept Sampling.

Petr Osicka, Martin Trnecka

Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

2014

Triadic concept lattices in the framework of aggregation structures.

Jan Konecny, Petr Osicka

Inf. Sci., 2014

Triadic fuzzy Galois connections as ordinary connections.

Radim Belohlávek, Petr Osicka

Fuzzy Sets Syst., 2014

2013

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

2012

Triadic concept lattices of data with graded attributes.

Radim Belohlávek, Petr Osicka

Int. J. Gen. Syst., 2012

Simple Proof of Basic Theorem for General Concept Lattices by Cartesian Representation.

Radim Belohlávek, Jan Konecny, Petr Osicka

Proceedings of the Modeling Decisions for Artificial Intelligence, 2012

Algorithms for Computation of Concept Trilattice of Triadic Fuzzy Context.

Petr Osicka

Proceedings of the Advances in Computational Intelligence, 2012

Dimensionality Reduction in Boolean Data: Comparison of Four BMF Methods.

Eduard Bartl, Radim Belohlávek, Petr Osicka, Hana Rezanková

Proceedings of the Clustering High-Dimensional Data - First International Workshop, 2012

2011

Factorizing Three-Way Ordinal Data Using Triadic Formal Concepts.

Radim Belohlávek, Petr Osicka, Vilém Vychodil

Proceedings of the Flexible Query Answering Systems - 9th International Conference, 2011

2010

On similarity preservation in fuzzy relation systems with hedges.

Petr Osicka

Int. J. Gen. Syst., 2010

Triadic Concept Analysis of Data with Fuzzy Attributes.

Radim Belohlávek, Petr Osicka

Proceedings of the 2010 IEEE International Conference on Granular Computing, 2010

General Approach to Triadic Concept Analysis.

Jan Konecny, Petr Osicka

Proceedings of the 7th International Conference on Concept Lattices and Their Applications, 2010