Institut für Theoretische Informatik

  • PostadresseAuf Karte anzeigen

    Ratzeburger Allee 160, Gebäude 64, 2. Stock

    23562 Lübeck

    Deutschland

Filter
Beiträge in Sammelwerken

Suchergebnisse

  • 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.

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenBeiträge in SammelwerkenForschungBegutachtung

  • 2013

    Graph Drawing in TikZ

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

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenBeiträge in SammelwerkenForschungBegutachtung

  • 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. (Hrsg.). Arlington, Virginia, USA: AUAI Press, S. 661-688 28 S.

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenBeiträge in SammelwerkenForschungBegutachtung

  • 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.

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenBeiträge in SammelwerkenForschungBegutachtung

  • Perfect Phylogeny Haplotyping is Complete for Logspace

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

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenBeiträge in SammelwerkenForschungBegutachtung

  • 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, Band 3. (Lecture Notes in Informatics).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenBeiträge in SammelwerkenForschungBegutachtung

  • 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, Band 452. S. 507-535

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenBeiträge in SammelwerkenForschungBegutachtung

  • 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).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenBeiträge in SammelwerkenLehreBegutachtung