Budova FI, Botanická 68a, Budova Fakulty informatiky

Katedra teorie programování

Publikace


Počet publikací: 8

A tighter insertion-based approximation of the crossing number

CHIMANI Markus — HLINĚNÝ Petr

ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data

BYSTRÝ Vojtěch REIGL Tomáš KREJČÍ Adam DEMKO Martin HANÁKOVÁ Barbora GRIONI Andrea — KNECHT H — SCHLITT M — DREGER P — SELLNER L — HERRMANN D — PINGEON M — BOUDJOGHRA M — RIJNTJES J — POTT C — LANGERAK AW — GROENEN PJTA — DAVI F — BRUGGEMANN M — DARZENTAS Nikos

Catalytic decoupling of quantum information

MAJENZ Christian — BERTA Mario — DUPONT DUPUIS Frédéric — RENNER Renato — CHRISTANDL Matthias

First order limits of sparse graphs: Plane trees and path-width

GAJARSKÝ Jakub — HLINĚNÝ Petr — KAISER Tomáš — KRÁĽ Daniel — KUPEC Martin — OBDRŽÁLEK Jan — ORDYNIAK Sebastian — TŮMA Vojtěch

Generalizations of the distributed Deutsch-Jozsa promise problem

GRUSKA Jozef — QIU Daowen — ZHENG Shenggen

Kernelization using structural parameters on sparse graph classes

GAJARSKÝ Jakub — HLINĚNÝ Petr OBDRŽÁLEK Jan — ORDYNIAK Sebastian — REIDL Felix — ROSSMANITH Peter — VILLAAMIL Fernando — SIKDAR Somnath

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

SVOREŇOVÁ Mária — KŘETÍNSKÝ Jan — CHMELÍK Martin — CHATTERJEE Krishnendu — ČERNÁ Ivana — BELTA Calin

Trading performance for stability in Markov decision processes

BRÁZDIL Tomáš — CHATTERJEE Krishnendu — FOREJT Vojtěch — KUČERA Antonín

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info