RNDr. Robert Ganian, Ph.D.

2016

• Counting Linear Extensions: Parameterizations by Treewidth

  GANIAN Robert ORDYNIAK Sebastian EIBEN Eduard KUSTAA Kanga

  Článek ve sborníku

  24th Annual European Symposium on Algorithms, {ESA} 2016, August 22-24, 2016, Aarhus, Denmark, rok: 2016

• Meta-kernelization with structural parameters

  GANIAN Robert SZEIDER Stefan SLIVOVSKY Friedrich

  Článek v odborném periodiku

  Journal of Computer and System Sciences, rok: 2016, ročník: 82, vydání: 2, DOI

• Model Checking Existential Logic on Partially Ordered Sets

  GANIAN Robert SZEIDER Stefan BOVA Simone

  Článek v odborném periodiku

  ACM Trans. Comput. Log., rok: 2016, ročník: 17, vydání: 2, DOI

• On Existential MSO and its Relation to ETH

  GANIAN Robert DE HAAN Ronald SZEIDER Stefan KANJ Iyad

  Článek ve sborníku

  41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, rok: 2016

• On the Complexity Landscape of Connected f-Factor Problems

  GANIAN Robert NARAYANASWAMY N. S. ORDYNIAK Sebastian RAHUL C. S. RAMANUJAN M. S.

  Článek ve sborníku

  41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, rok: 2016

• Polynomial-time Construction of Optimal MPI Derived Datatype Trees

  GANIAN Robert KALANY Martin SZEIDER Stefan TRAFF Jesper Larsson

  Článek ve sborníku

  2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2016), rok: 2016

• Quantified conjunctive queries on partially ordered sets

  BOVA Simone GANIAN Robert SZEIDER Stefan

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2016, ročník: 618, vydání: 1, DOI

• The Complexity Landscape of Decompositional Parameters for ILP

  GANIAN Robert ORDYNIAK Sebastian

  Článek ve sborníku

  Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, rok: 2016

• Using Decomposition-Parameters for QBF: Mind the Prefix!

  GANIAN Robert ORDYNIAK Sebastian EIBEN Eduard

  Článek ve sborníku

  Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, rok: 2016

2015

• FO Model Checking of Interval Graphs

  GANIAN Robert HLINĚNÝ Petr KRÁĽ Daniel OBDRŽÁLEK Jan SCHWARTZ Jarett TESKA Jakub

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2015, ročník: 11, vydání: 4:11, DOI