Petr Osicka

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Logical Methods in Computer Science	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 Information Sciences	2017-01-31	Paper
Triadic fuzzy Galois connections as ordinary connections Fuzzy Sets and Systems	2016-04-28	Paper
Formal concept analysis with background knowledge: a case study in paleobiological taxonomy of belemnites International Journal of General Systems	2014-01-08	Paper
Algorithms for computation of concept trilattice of triadic fuzzy context Communications in Computer and Information Science	2012-11-30	Paper
Triadic concept lattices of data with graded attributes International Journal of General Systems	2012-10-30	Paper
On similarity preservation in fuzzy relation systems with hedges International Journal of General Systems	2010-10-07	Paper

Research outcomes over time

This page was built for person: Petr Osicka