Institute of Theoretical Computer Science

Research output

Research Output per year 1996 2009 2011 2012 2013 2014 2015 2016 2017 2018 2020 2023

• 469 Citations
• 76 Bachelor Theses
• 60 Conference contribution
• 49 Master Theses
• 43 Journal articles
• 60 More
  • 15 Conference Papers
  • 12 Doctoral Theses
  • 10 Collected editions
  • 8 Contributions to collected editions/anthologies
  • 5 Other
  • 3 Chapter
  • 1 Books
  • 1 Commissioned Reports
  • 1 Conference proceedings
  • 1 Letters
  • 1 Newspaper articles
  • 1 Scientific review articles
  • 1 Preprint

Research Output per year

Research Output per year

Search results

• 2018

  SAT-Encodings of Tree Decompositions

  Bannach, M., Berndt, S., Ehlers, T. & Nowotka, D., 2018, In Proceedings of SAT Competition 2018: Solver and Benchmark Descriptions, , 2018.

  Research output: Chapters in Books/Reports/Conference Proceedings › Contributions to collected editions/anthologies › Research › peer-review

  • Tree Decomposition 100%
• 2013

  Graph Drawing in TikZ

  Tantau, T., 2013, Graph Drawing. Didimo, W. & Patrignani, M. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, Vol. 7704. p. 517-528 12 p. (Lecture Notes in Computer Science).

  Research output: Chapters in Books/Reports/Conference Proceedings › Contributions to collected editions/anthologies › Research › peer-review

  • Graph Drawing 100%
  • TikZ 100%
  • Programming Language 100%
  • Layered Algorithm 100%
  • Postprocessing Step 100%
• 2012

  Adjustment Criteria in Causal Diagrams: An Algorithmic Perspective

  Textor, J. & Liskiewicz, M., 14.02.2012, UAI'11 Proceedings of the Twenty-Seventh Conference on Uncertainty in Artificial Intelligence . Cozman, F. & Pfeffer, A. (eds.). Arlington, Virginia, USA: AUAI Press, p. 661-688 28 p.

  Research output: Chapters in Books/Reports/Conference Proceedings › Contributions to collected editions/anthologies › Research › peer-review

  • Covariate 100%
  • Adjustment Criterion 100%
  • Polynomial 33%
  • Linear Time 33%
  • Causal Effect 33%
• 2009

  Grey-Box Steganography

  Liskiewicz, M., Reischuk, R. & Wölfel, U., 2009, Schriftenreihe der Institute für Informatik/Mathematik der Universität zu Lübeck.

  Research output: Chapters in Books/Reports/Conference Proceedings › Contributions to collected editions/anthologies › Research › peer-review

• Perfect Phylogeny Haplotyping is Complete for Logspace

  Elberfeld, M., 2009, Technischer Bericht abs/0905.0602 [cs.CC], Computing Research Repository (CoRR).

  Research output: Chapters in Books/Reports/Conference Proceedings › Contributions to collected editions/anthologies › Research › peer-review
• 2008

  Ausgezeichnete Informatikdissertationen 2007

  Bernstein, A., Dreier, T., Hölldobler, S., Hotz, G., Löhr, K.-P., Molitor, P., Neumann, G., Reischuk, R., Saupe, D., Spiliopoulou, M., Störrle, H. & Wagner, D., 2008, Ausgezeichnete Informatikdissertationen 2007. Gesellschaft für Informatik, Bonn, Vol. 3. (Lecture Notes in Informatics).

  Research output: Chapters in Books/Reports/Conference Proceedings › Contributions to collected editions/anthologies › Research › peer-review

• Fixed-Parameter Algorithms in Phylogenetics

  Gramm, J., Nickelsen, A. & Tantau, T., 2008, Methods in Molecular Biology: Bioinformatics: Volume I: Data, Sequence Analysis and Evolution. Springer Berlin Heidelberg, Vol. 452. p. 507-535

  Research output: Chapters in Books/Reports/Conference Proceedings › Contributions to collected editions/anthologies › Research › peer-review

• Taschenbuch der Algorithmen

  Vöcking, B., Alt, H., Dietzfelbinger, M., Reischuk, R., Scheideler, C., Vollmer, H. & Wagner, D., 2008, Taschenbuch der Algorithmen: Beispielorientierte Einführung in die Algorithmik. Springer Berlin Heidelberg, (eXamen.press).

  Research output: Chapters in Books/Reports/Conference Proceedings › Contributions to collected editions/anthologies › Education › peer-review