2019W

• Algorithmics / VU / 186.814
• Bachelor Thesis in Computer Science / PR / 186.819
• Fixed-Parameter Algorithms and Complexity / VU / 186.855
• Seminar on Algorithms / SE / 186.182

2020S

• Algorithms and Data Structures / VU / 186.866
• Bachelor Thesis in Computer Science / PR / 186.819
• Seminar on Algorithms / SE / 186.182

• New Frontiers for Parameterized Complexity
  2018 – 2021 / Austrian Science Fund (FWF)
• The Parameterized Complexity of Reasoning Problems
  2010 – 2014 / European Commission

2019

• Parameterized Complexity Results for the Completion and Clustering of Incomplete Data / S. Szeider, R. Ganian, I. Kanj, S. Ordyniak / Talk: Kocoon Workshop, Arras, Frankreich; 2019-12-16 - 2019-12-19
• Parameterized Complexity of Asynchronous Border Minimization / R. Ganian, M. Kronegger, A. Pfandler, A. Popa / Algorithmica, 81 (2019), 1; 201 - 223
• SAT-Encodings for Treecut Width and Treedepth / R. Ganian, N. Lodha, S. Ordyniak, S. Szeider / in: "Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments (ALENEX)", S.G. Kobourov, H. Meyerhenke (ed.); SIAM, 2019, ISBN: 978-1-61197-549-9, 13 pages
• On Strict (Outer-)Confluent Graphs / H. Förster, R. Ganian, F. Klute, M. Nöllenburg / Talk: International Symposium on Graph Drawing and Network Visualization (GD), Prag; 2019-09-17 - 2019-09-20; in: "GD 2019: Graph Drawing and Network Visualization", LNCS, 11904 (2019), ISBN: 978-3-030-35801-3; 147 - 161
• Parameterized Algorithms for Book Embedding Problems / S. Bhore, R. Ganian, F. Montecchiani, M. Nöllenburg / Talk: Graph Drawing and Network Visualization, Prag; 2019-09-17 - 2019-09-20; in: "GD 2019: Graph Drawing and Network Visualization", LNCS, 11904 (2019), ISBN: 978-3-030-35801-3; 365 - 378

2018

• A single-exponential fixed-parameter algorithm for distance-hereditary vertex deletion / E. Eiben, R. Ganian, O. Kwon / Journal of Computer and System Sciences, 96 (2018), 121 - 146
• On the Complexity of Rainbow Coloring Problems / E. Eiben, R. Ganian, J. Laurila / Discrete Applied Mathematics, 246 (2018), 38 - 48
• The Complexity Landscape of Decompositional Parameters for ILP / R. Ganian, S. Ordyniak / Artificial Intelligence, 257 (2018), 61 - 71
• Meta-kernelization using well-structured modulators / E. Eiben, R. Ganian, S. Szeider / Discrete Applied Mathematics, Volume 280 (2018), 153 - 167
• On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem / R. Ganian, F. Klute, S. Ordyniak / in: "Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science", 35th Symposium on Theoretical Aspects of Computer Science, Cean, 2018, ISBN: 978-3-95977-062-0, 1 - 14
• Small Resolution Proofs for QBF using Dependency Treewidth / E. Eiben, R. Ganian, S. Ordyniak / in: "Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, February 28 to March 3, 2018, Caen, France", 35th Symposium on Theoretical Aspects of Computer Science, Caen, 2018, ISBN: 978-3-95977-062-0, 1 - 14
• Unary Integer Linear Programming with Structural Restrictions / E. Eiben, R. Ganian, D. Knop / in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence", International Joint Conferences on Artificial Intelligence, Schweden, 2018, ISBN: 978-0-9992411-2-7, 1284 - 1290
• A Structural Approach to Activity Selection / E. Eiben, R. Ganian, S. Ordyniak / in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence", issued by: IJCAI2018; International Joint Conferences on Artificial Intelligence, Stockholm, 2018, ISBN: 978-0-9992411-2-7, 203 - 209
• Parameterized Algorithms for the Matrix Completion Problem / R. Ganian, I. Kanj, S. Ordyniak, S. Szeider / in: "Proceeding of ICML", issued by: jmlr.org; Journal of Machine Learning Research, 2018, 1642 - 1651

2017

• Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting / R. Ganian, M. S. Ramanujan, S. Szeider / ACM Transactions on Algorithms, 13 (2017), 1 - 31
• Backdoor Treewidth for SAT / R. Ganian, M. S. Ramanujan, S. Szeider / in: "Theory and Applications of Satisfiability Testing - SAT 2017", Springer-Verlag, 2017, ISBN: 978-3-319-66262-6, 20 - 37
• New Width Parameters for Model Counting / R. Ganian, S. Szeider / in: "Theory and Applications of Satisfiability Testing - SAT 2017", International Conference on Theory and Applications of Satisfiability Testing, 2017, ISBN: 978-3-319-66262-6, 38 - 52
• Combining Treewidth and Backdoors for CSP / R. Ganian, M. S. Ramanujan, S. Szeider / in: "34th Symposium on Theoretical Aspects of Computer Science", issued by: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik; Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017, ISBN: 978-3-95977-028-6, 429 - 445
• Solving Problems on Graphs of High Rank-Width / E. Eiben, R. Ganian, S. Szeider / Algorithmica (online), 80 (2017), 80; 30 pages
• Going Beyond Primal Treewidth for (M)ILP / R. Ganian, S. Ordyniak, M. Ramanujan / Talk: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, California; 2017-02-04 - 2017-02-09; in: "Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence", (2017), ISBN: 978-1-57735-781-0; 815 - 821
• Towards a Polynomial Kernel for Directed Feedback Vertex Set / B. Bergnougnoux, E. Eiben, R. Ganian, S. Ordyniak, M. Ramanujan / Talk: Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, Aalborg Denmark; 2017-08-21 - 2017-08-25; in: "Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science", Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, (2017), ISBN: 978-3-95977-046-0; 1 - 15

2016

• Meta-kernelization with structural parameters / R. Ganian, F. Slivovsky, S. Szeider / Journal of Computer and System Sciences, 82 (2016), 333 - 346
• Quantified conjunctive queries on partially ordered sets / S. Bova, R. Ganian, S. Szeider / Theoretical Computer Science, 618 (2016), 72 - 84
• A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion / E. Eiben, R. Ganian, O. Kwon / Talk: International Symposium on Mathematical Foundations of Computer Science (MFCS), Krakau, Polen; 2016-08-22 - 2016-08-26; in: "Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science", (2016), ISBN: 978-3-95977-016-3; 1 - 14
• Counting Linear Extensions Parameterizations by Treewidth / E. Eiben, R. Ganian, K. Kangas, S. Ordyniak / Talk: ESA Workshop, Aarhus, Denmark; 2016-08-22 - 2016-08-24; in: "Proceedings of the 24th Annual European Symposium on Algorithms", (2016), ISBN: 978-3-95977-015-6; 1 - 18
• On the Complexity Landscape of Connected f-Factor Problems* / R. Ganian, N. Narayanaswamy, S. Ordyniak, C. Rahul, M. S. Ramanujan / Talk: International Symposium on Mathematical Foundations of Computer Science (MFCS), Krakau, Polen; 2016-08-22 - 2016-08-26; in: "Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science", (2016), ISBN: 978-3-95977-016-3; 1 - 14
• Using Decomposition-Parameters for QBF: Mind the Prefix! / E. Eiben, R. Ganian, S. Ordyniak / Talk: AAAI Conference, Phoenix, Arizona, USA; 2016-02-12 - 2016-02-17; in: "Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence", (2016), ISBN: 978-1-57735-760-5; 964 - 970
• The Complexity Landscape of Decompositional Parameters for ILP / R. Ganian, S. Ordyniak / Talk: AAAI Conference, Phoenix, Arizona, USA; 2016-02-12 - 2016-02-17; in: "Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence", (2016), ISBN: 978-1-57735-760-5; 710 - 716
• On Existential MSO and its Relation to ETH / R. Ganian, R. de Haan, I. Kanj, S. Szeider / Talk: International Symposium on Mathematical Foundations of Computer Science (MFCS), Krakau, Polen; 2016-08-22 - 2016-08-26; in: "Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science", (2016), ISBN: 978-3-95977-016-3; 1 - 14
• Backdoors to Tractable Valued CSP / R. Ganian, M. S. Ramanujan, S. Szeider / Talk: International Conference on Principles and Practice of Constraint Programming (CP), Toulouse, Frankreich; 2016-09-05 - 2016-09-09; in: "Principles and Practice of Constraint Programming (Proceedings of 22nd CP)", LNCS, 9898 (2016), ISBN: 978-3-319-44952-4; 233 - 250
• Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting / R. Ganian, M. S. Ramanujan, S. Szeider / Talk: ACM-SIAM Symposium on Discrete Algorithms (SODA), Arlington, VA, USA; 2016-01-10 - 2016-01-12; in: "Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms", (2016), ISBN: 978-1-61197-433-1; 1670 - 1681
• Polynomial-Time Construction of Optimal MPI Derived Datatype Trees / R. Ganian, M. Kalany, S. Szeider, J. Träff / Talk: IEEE 30th International Parallel and Distributed Processing Symposium (IPDPS 2016), Chicago, Illinois, USA; 2016-05-23 - 2016-05-27; in: "Proceedings of the IEEE 30th International Parallel and Distributed Processing Symposium (IPDPS 2016)", IEEE Computer Society, (2016), ISBN: 978-1-5090-2140-6; 638 - 647

2015

• Well-Structured Modulators: FPT Algorithms and Kernels / R. Ganian / Talk: Workshop on Graph Classes, Optimization, and Width Parameters (GROW), Aussois, France (invited); 2015-10-11 - 2015-10-15
• Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting / R. Ganian / Talk: Contemporary Trends in Theoretical Computer Science 2015, Prag, Tschechien (invited); 2015-06-26 - 2015-06-27
• Algorithmic Applications of Large Well-Structured Modulators / R. Ganian / Talk: Algorithmic Model Theory Meeting 2015 - ALMOTH 2015, Bayreuth, Deutschland (invited); 2015-02-26 - 2015-02-27
• Model Checking Existential Logic on Partially Ordered Sets / S. Bova, R. Ganian, S. Szeider / ACM Transactions on Computational Logic, 17 (2015), 2; 1 - 35
• Improving Vertex Cover as a Graph Parameter / R. Ganian / Discrete Mathematics & Theoretical Computer Science, 17/2 (2015), 77 - 100
• FO Model Checking of Interval Graphs / R. Ganian, P. Hlinený, D. Král, J. Obdrzalek, J. Schwartz, J. Teska / Logical Methods in Computer Science, 11 (2015), 4; 20 pages
• Solving Problems on Graphs of High Rank-Width / E. Eiben, R. Ganian, S. Szeider / Talk: Algorithms and Data Structures Symposium, Victoria, Canada; 2015-08-05 - 2015-08-07; in: "Proceedings of the 14th International Symposium on Algorithms and Data Structures", LNCS, 9214 (2015), ISBN: 978-3-319-21839-7; 314 - 326
• Community Structure Inspired Algorithms for SAT and #SAT / R. Ganian, S. Szeider / Talk: International Conference on Theory and Applications of Satisfiability Testing (SAT), Austin, Texas; 2015-09-24 - 2015-09-27; in: "Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing", LNCS / Springer, 9340 (2015), ISBN: 978-3-319-24317-7; 223 - 238
• Algorithmic Applications of Tree-Cut Width / R. Ganian, Ej Kim, S. Szeider / Talk: International Symposium on Mathematical Foundations of Computer Science (MFCS), Milan, Italy; 2015-08-24 - 2015-08-28; in: "Proceedings of the 40th International Symposium Mathematical Foundations of Computer Science 2015", LNCS 9235 (2015), ISBN: 978-3-662-48053-3; 348 - 361
• Parameterized Complexity of Asynchronous Border Minimization / R. Ganian, M. Kronegger, A. Pfandler, A. Popa / Talk: 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2015, Singapur; 2015-05-18 - 2015-05-20; in: "Theory and Applications of Models of Computation, 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings", R. Jain, S. Jain, F. Stephan (ed.); Springer, Lecture Notes in Computer Science Volume 9076 (2015), ISBN: 978-3-319-17141-8; 428 - 440
• Meta-kernelization using Well-structured Modulators / E. Eiben, R. Ganian, S. Szeider / Talk: International Symposium on Parameterized and Exact Computation (IPEC), Patras, Greece; 2015-09-16 - 2015-09-18; in: "10th International Symposium on Parameterized and Exact Computation (IPEC 2015)", T. Husfeldt, I. Kanj (ed.); LIPICs, 43 (2015), ISBN: 978-3-939897-92-7; 114 - 126
• Polynomial-time Construction of Optimal Tree-structured Communication Data Layout Descriptions / R. Ganian, M. Kalany, St. Szeider, J. Träff / Report for CoRR - Computing Research Repository; Report No. arXiv:1506.09100, 2015; 18 pages

2014

• Digraph Width Measures in Parameterized Algorithmics / R. Ganian, P. Hlinený, J. Kneis, A. Langer, J. Obdrzalek, P. Rossmanith / Discrete Applied Mathematics, 168 (2014), 88 - 107
• Lower Bounds on the Complexity of MSO1 Model-Checking / R. Ganian, P. Hlinený, A. Langer, J. Obdrzalek, P. Rossmanith, S. Sikdar / Journal of Computer and System Sciences, 80 (2014), 1; 180 - 194
• Model Checking Existential Logic on Partially Ordered Sets / S. Bova, R. Ganian, St. Szeider / Talk: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vienna; 2014-07-14 - 2014-07-18; in: "CSL-LICS 2014", ACM New York, NY, USA, (2014), ISBN: 978-1-4503-2886-9
• Quantified Conjunctive Queries on Partially Ordered Sets / S. Bova, R. Ganian, St. Szeider / Talk: International Symposium on Parameterized and Exact Computation (IPEC), Wroclaw, Poland; 2014-09-10 - 2014-09-12; in: "IPEC 2014", LNCS / Springer, 8894 (2014), 122 - 134

2013

• Meta-Kernelization with Structural Parameters / R. Ganian / Talk: Workshop on Graph Classes, Optimization, and Width Parameters (GROW), Santorini Island, Greece; 2013-10-09 - 2013-10-11
• Meta-Kernelization with Structural Parameters / R. Ganian / Talk: Contemporary Trends in Theoretical Computer Science (STTI 2013), Prague, Czech Republic; 2013-06-07 - 2013-06-08
• FO Model Checking of Interval Graphs / R. Ganian, P. Hlinený, D. Král, J. Obdrálek, J. Schwartz, J. Teska / Talk: International Colloquium on Automata, Languages and Programming (ICALP), Riga, Latvia; 2013-07-08 - 2013-07-12; in: "Automata, Languages, and Programming - 40th International Colloquium", Springer / LNCS, 7966 (2013), ISBN: 978-3-642-39211-5; 250 - 262
• Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes / R. Ganian, J. Obdrálek / Talk: International Workshop on Combinatorial Algorithms (IWOCA), Rouen, France; 2013-07-10 - 2013-07-12; in: "Combinatorial Algorithms - 24th International Workshop", T. Lecroq, L. Mouchard (ed.); Springer / LNCS, 8288 (2013), ISBN: 978-3-642-45277-2; 164 - 177
• Meta-kernelization with Structural Parameters / R. Ganian, F. Slivovsky, St. Szeider / Talk: International Symposium on Mathematical Foundations of Computer Science (MFCS), Klosterneuburg, Austria; 2013-08-26 - 2013-08-30; in: "The 38th International Symposium on Mathematical Foundations of Computer Science, Proceedings", K. Chatterjee, J. Sgall (ed.); Springer / LNCS, 8087 (2013), ISBN: 978-3-642-40312-5; 457 - 468