RNDr. Robert Ganian, Ph.D.

2016

• Counting Linear Extensions: Parameterizations by Treewidth

  GANIAN Robert ORDYNIAK Sebastian EIBEN Eduard KUSTAA Kanga

  Article in Proceedings

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

• Meta-kernelization with structural parameters

  GANIAN Robert SZEIDER Stefan SLIVOVSKY Friedrich

  Article in Periodical

  Journal of Computer and System Sciences, year: 2016, volume: 82, edition: 2, DOI

• Model Checking Existential Logic on Partially Ordered Sets

  GANIAN Robert SZEIDER Stefan BOVA Simone

  Article in Periodical

  ACM Trans. Comput. Log., year: 2016, volume: 17, edition: 2, DOI

• On Existential MSO and its Relation to ETH

  GANIAN Robert DE HAAN Ronald SZEIDER Stefan KANJ Iyad

  Article in Proceedings

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

• On the Complexity Landscape of Connected f-Factor Problems

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

  Article in Proceedings

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

• Polynomial-time Construction of Optimal MPI Derived Datatype Trees

  GANIAN Robert KALANY Martin SZEIDER Stefan TRAFF Jesper Larsson

  Article in Proceedings

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

• Quantified conjunctive queries on partially ordered sets

  BOVA Simone GANIAN Robert SZEIDER Stefan

  Article in Periodical

  Theoretical Computer Science, year: 2016, volume: 618, edition: 1, DOI

• The Complexity Landscape of Decompositional Parameters for ILP

  GANIAN Robert ORDYNIAK Sebastian

  Article in Proceedings

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

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

  GANIAN Robert ORDYNIAK Sebastian EIBEN Eduard

  Article in Proceedings

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

2015

• FO Model Checking of Interval Graphs

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

  Article in Periodical

  Logical Methods in Computer Science, year: 2015, volume: 11, edition: 4:11, DOI