Petr Osicka

Available identifiers

Publication	Date of Publication	Type
Speed me up if you can: conditional lower bounds on opacity verification	2024-12-03	Paper
Countdown games, and simulation on (succinct) one-counter nets	2023-03-22	Paper
EXPSPACE-complete variant of countdown games, and simulation on succinct one-counter nets	2018-10-23	Paper
Triadic concept lattices in the framework of aggregation structures	2017-01-31	Paper
Triadic fuzzy Galois connections as ordinary connections	2016-04-28	Paper
Formal concept analysis with background knowledge: a case study in paleobiological taxonomy of belemnites	2014-01-08	Paper
Algorithms for Computation of Concept Trilattice of Triadic Fuzzy Context	2012-11-30	Paper
Triadic concept lattices of data with graded attributes	2012-10-30	Paper
On similarity preservation in fuzzy relation systems with hedges	2010-10-07	Paper

This page was built for person: Petr Osicka