Institute of Theoretical Computer Science

  • Postal addressShow on map

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

    23562 Lübeck

    Germany

Filter
Conference contribution

Search results

  • 2020

    PACE Solver Description: Fluid

    Bannach, M., Berndt, S., Schuster, M. & Wienöbst, M., 04.12.2020, 15th International Symposium on Parameterized and Exact Computation (IPEC 2020). Cao , Y. & Pilipczuk, M. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 180. p. 27:1--27:3 3 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 180).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • PACE Solver Description: PID*

    Bannach, M., Berndt, S., Schuster, M. & Wienöbst, M., 04.12.2020, 15th International Symposium on Parameterized and Exact Computation (IPEC 2020). Cao, Y. & Pilipczuk, M. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 180. p. 28:1--28:4 4 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 180).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Robust Online Algorithms for Certain Dynamic Packing Problems

    Berndt, S., Dreismann, V., Grage, K., Jansen, K. & Knof, I., 25.01.2020, WAOA 2019: Approximation and Online Algorithms . Bampis, E. & Megow, N. (eds.). Springer, Cham, Vol. 11926 LNCS. p. 43-59 17 p. (Lecture Notes in Computer Science; vol. 11926 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • SNI-in-the-head: Protecting MPC-in-the-head Protocols against Side-channel Analysis

    Seker, O., Berndt, S., Wilke, L. C. & Eisenbarth, T., 30.10.2020, Cryptology ePrint Archive: Report 2020/544. Association for Computing Machinery, p. 1033-1049 17 p. (Proceedings of the ACM Conference on Computer and Communications Security).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Solving Packing Problems with Few Small Items Using Rainbow Matchings

    Bannach, M., Berndt, S., Maack, M., Mnich, M., Lassota, A., Rau, M. & Skambath, M., 01.08.2020, 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-14 14 p. MFCS-2020-11. (Leibniz International Proceedings in Informatics, LIPIcs).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 2019

    Computing kernels in parallel: Lower and upper bounds

    Bannach, M. & Tantau, T., 01.01.2019, 13th International Symposium on Parameterized and Exact Computation (IPEC 2018). Paul, C. & Pilipczuk, M. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 115. p. 13:1--13:14 14 p. 13. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 115).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Online Bin Covering with Limited Migration

    Berndt, S., Epstein, L., Jansen, K., Levin, A., Maack, M. & Rohwedder, L., 09.2019, 27th Annual European Symposium on Algorithms (ESA 2019). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 144. p. 18:1--18:14 14 p. 18. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 144).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • On the Descriptive Complexity of Color Coding

    Bannach, M. & Tantau, T., 01.03.2019, 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019). Niedermeier, R. & Paul, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 126. p. 11:1--11:16 16 p. 11. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 126).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Positive-Instance Driven Dynamic Programming for Graph Searching

    Bannach, M. & Berndt, S., 12.07.2019, WADS 2019: Algorithms and Data Structures. Friggstad, Z., Sack, J.-R. & Salavatipour, M. R. (eds.). Springer, Cham, Vol. 11646 LNCS. p. 43-56 14 p. (Lecture Notes in Computer Science; vol. 11646 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Study program "Robotics and autonomous systems" at the University of Lübeck

    Herzog, C., Hoffmann, N., Tantau, T. & Rostalski, P., 29.01.2019, 2018 12th European Workshop on Microelectronics Education (EWME). Braunschweig, DE: IEEE, p. 17-19 3 p.

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 2018

    Computing Tree Width: From Theory to Practice and Back

    Berndt, S., 30.07.2018, CiE 2018: Sailing Routes in the World of Computation . Manea, F., G. Miller, R. & Nowotka, D. (eds.). Springer, Cham, Vol. 10936 LNCS. p. 81-88 8 p. (Lecture Notes in Computer Science; vol. 10936 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Improving Anonymization Clustering

    Reischuk, R. & Thaeter, F., 2018, SICHERHEIT 2018. Gesellschaft für Informatik, Bonn, Vol. P281. p. 69-82

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • On the Gold Standard for Security of Universal Steganography

    Berndt, S. & Liskiewicz, M., 2018, EUROCRYPT 2018: Advances in Cryptology – EUROCRYPT 2018. Buus Nielsen, J. & Rijmen, V. (eds.). Springer Berlin Heidelberg, Vol. 10820 LNCS. p. 29-60 32 p. (Lecture Notes in Computer Science; vol. 10820 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Practical Access to Dynamic Programming on Tree Decompositions

    Bannach, M. & Berndt, S., 2018, 26th Annual European Symposium on Algorithms (ESA 2018). Azar, Y., Bast, H. & Herman, G. (eds.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 112. p. 6:1-6:13 (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Towards Work-Efficient Parallel Parameterized Algorithms

    Bannach, M., Skambath, M. & Tantau, T., 21.12.2018, WALCOM 2019: WALCOM: Algorithms and Computation. K. Das, G., S. Mandal, P., K. M. & Nakano, S.-I. (eds.). Springer, Cham, Vol. 11355 LNCS. p. 341-353 13 p. (Lecture Notes in Computer Science ; vol. 11355 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Using structural properties for integer programs

    Berndt, S. & Klein, K. M., 30.07.2018, CiE 2018: Sailing Routes in the World of Computation. Manea, F., G. Miller, R. & Nowotka, D. (eds.). Springer, Cham, Vol. 10936 LNCS. p. 89-96 8 p. (Lecture Notes in Computer Science ; vol. 10936 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 2017

    Algorithm Substitution Attacks from a Steganographic Perspective

    Berndt, S. & Liskiewicz, M., 30.10.2017, CCS '17 Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. ACM, p. 1649-1660 12 p. (The ACM Conference on Computer and Communications Security (CCS)).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Applications of Algorithmic Metatheorems to Space Complexity and Parallelism (Invited Talk)

    Tantau, T., 01.03.2017, 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017). Vollmer, H. & Vallée, B. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 66. p. 1-4 5 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Jdrasil: A Modular Library for Computing Tree Decompositions

    Bannach, M., Berndt, S. & Ehlers, T., 01.08.2017, 16th International Symposium on Experimental Algorithms (SEA 2017). Iliopoulos, C. S., Pissis , S. P., Puglisi, S. J. & Raman, R. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 75. 21 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 75).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Learning Residual Alternating Automata

    Berndt, S., Liskiewicz, M., Lutter, M. & Reischuk, R., 08.03.2017, Proc. 31st AAAI Conference on Artificial Intelligence (AAAI 2017). Singh, S. (ed.). AAAI Press, p. 1749-1755 26 p. (Electronic Colloquium on Computational Complexity (ECCC)).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • New Abilities and Limitations of Spectral Graph Bisection

    Schuster, M. R. & Liskiewicz, M., 05.01.2017, 25th Annual European Symposium on Algorithms (ESA 2017). Pruhs, K. & Sohler, C. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 87. p. 1-66 66 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Parallel Multivariate Meta-Theorems

    Bannach, M. & Tantau, T., 01.02.2017, 11th International Symposium on Parameterized and Exact Computation (IPEC 2016). Guo , J. & Hermelin, D. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 63. p. 4 - 17 14 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 2016

    Hard Communication Channels for Steganography

    Berndt, S. & Liskiewicz, M., 02.12.2016, 27th International Symposium on Algorithms and Computation (ISAAC 2016). Hong, S.-H. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 64. 16 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Offline Drawing of Dynamic Trees: Algorithmics and Document Integration

    Skambath, M. & Tantau, T., 08.12.2016, Graph Drawing and Network Visualization. Hu, Y. & Nöllenburg, M. (eds.). Springer Verlag, p. 572-586 15 p. (Lecture Notes in Computer Science).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • On Searching for Generalized Instrumental Variables

    Zander, B. & Liskiewicz, M., 01.09.2016, Proceedings of the 19th International Conference on Artificial Intelligence and Statistics. Gretton, A. & Robert, C. C. (eds.). Cadiz, Spain: PMLR, Vol. 51. p. 1214-1222 9 p. (Proceedings of Machine Learning Research).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Provable Secure Universal Steganography of Optimal Rate

    Berndt, S. & Lískiewicz, M., 20.06.2016, IH&MMSec '16 . New York, NY, USA : ACM, p. 81-92 12 p.

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Separators and Adjustment Sets in Markov Equivalent DAGs.

    Van Der Zander, B. & Lískiewicz, M., 05.03.2016, Thirtieth AAAI Conference on Artificial Intelligence. AAAI Press, p. 3315-3321 7 p. (AAAI Conference on Artificial Intelligence).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Steganography Based on Pattern Languages

    Berndt, S. & Reischuk, R., 26.02.2016, Language and Automata Theory and Applications. Dediu, A.-H., Janoušek, J., Martín-Vide, C. & Truthe, B. (eds.). Springer Verlag, p. 387-399 13 p. (Lecture Notes in Computer Science).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 2015

    Algorithmic Learning for Steganography: Proper Learning of k-term DNF Formulas from Positive Samples

    Ernst, M., Liskiewicz, M. & Reischuk, R., 27.11.2015, Algorithms and Computation. Elbassioni, K. & Makino, K. (eds.). Springer Verlag, Vol. 9472 . p. 151-162 12 p. (Lecture Notes in Computer Science).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification

    Tantau, T., 19.12.2015, 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015). Mayr, E. W. & Ollinger, N. (eds.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 30. p. 703-715 13 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Fast Parallel Fixed-parameter Algorithms via Color Coding

    Bannach, M., Stockhusen, C. & Tantau, T., 23.09.2015, 10th International Symposium on Parameterized and Exact Computation (IPEC 2015). Husfeldt, T. & Kanj, I. (eds.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 43. p. 224-235 12 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Fully Dynamic Bin Packing Revisited

    Berndt, S., Jansen, K. & Klein, K.-M., 14.01.2015, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2015). Garg, N., Jansen, K., Rao, A. & Rolim, J. D. P. (eds.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 40. p. 135-151 17 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Learning from Pairwise Marginal Independencies

    Textor, J., Idelberger, A. & Liskiewicz, M., 02.08.2015, The 31st Conference on Uncertainty in Artificial Intelligence (UAI 2015). AUAI Press, p. 882-891 10 p. (Uncertainty in Artificial Intelligence).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 2014

    A generic finite automata based approach to implementing lymphocyte repertoire models

    Textor, J., Dannenberg, K. & Liskiewicz, M., 07.2014, Genetic and Evolutionary Computation Conference, GECCO '14, Vancouver, BC, Canada, July 12-16, 2014. ACM, p. 129-136 8 p. (Genetic and Evolutionary Computation Conference).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Constructing Separators and Adjustment Sets in Ancestral Graphs

    van der Zander, B., Liskiewicz, M. & Textor, J., 27.07.2014, Proceedings of the UAI 2014 Conference on Causal Inference: Learning and Prediction - Volume 1274. Aachen, Germany, Germany: CEUR-WS.org, Vol. 1274. p. 11-24 14 p. (CI'14).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • On the Computational Complexity of Partitioning Weighted Points into a Grid of Quadrilaterals

    Liskiewicz, M. & Idelberger, A., 08.2014, Proceedings of the 26th Canadian Conference on Computational Geometry, CCCG 2014, Halifax, Nova Scotia, Canada, 2014. Ottawa, Canada: Carleton University, p. 52-60 9 p. (The Canadian Conference on Computational Geometry).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 2013

    Completeness Results for Parameterized Space Classes

    Stockhusen, C. & Tantau, T., 2013, Parameterized and Exact Computation. Gutin, G. & Szeider, S. (eds.). Cham: Springer International Publishing, Vol. 8246. p. 335-347 13 p. (Lecture Notes in Computer Science).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 2012

    Algorithmic Meta Theorems for Circuit Classes of Constant and Logarithmic Depth

    Elberfeld, M., Jakoby, A. & Tantau, T., 01.2012, 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012). Dürr, C. & Wilke, T. (eds.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 14. p. 66-77 12 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • On the Space Complexity of Parameterized Problems

    Elberfeld, M., Stockhusen, C. & Tantau, T., 09.2012, Parameterized and Exact Computation. Thilikos, D. M. & Woeginger, G. J. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, Vol. 7535. p. 206-217 12 p. (Lecture Notes in Computer Science).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 2011

    Approximation Algorithms for Orienting Mixed Graphs

    Elberfeld, M., Segev, D., Davidson, C. R., Silverbush, D. & Sharan, R., 06.2011, Combinatorial Pattern Matching. Giancarlo, R. & Manzini, G. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, Vol. 6661. p. 416-428 13 p. (Lecture Notes in Computer Science).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Grey-Box Steganography

    Liskiewicz, M., Reischuk, R. & Wölfel, U., 03.2011, Theory and Applications of Models of Computation. Ogihara, M. & Tarui, J. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, Vol. 6648. p. 390-402 13 p. (Lecture Notes in Computer Science; vol. 6648).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Optimally Orienting Physical Networks

    Silverbush, D., Elberfeld, M. & Sharan, R., 03.2011, Research in Computational Molecular Biology. Bafna, V. & Sahinalp, S. C. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, Vol. 6577. p. 424-436 13 p. (Lecture Notes in Computer Science; vol. 6577).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Stochastic Search with Locally Clustered Targets: Learning from T Cells

    Reischuk, R. & Textor, J., 07.2011, Artificial Immune Systems. Liò, P., Nicosia, G. & Stibor, T. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, Vol. 6825. p. 146-159 14 p. (Lecture Notes in Computer Science; vol. 6825).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 2010

    A Concept of a Trust Management Architecture to Increase the Robustness of Nano Age Devices

    Pionteck, T. & Brockmann, W., 20.09.2010, 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE, p. 142-147 6 p. 5542604. (Proceedings of the International Conference on Dependable Systems and Networks).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Logspace Versions of the Theorems of Bodlaender and Courcelle

    Elberfeld, M., Jakoby, A. & Tantau, T., 17.12.2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science. IEEE, p. 143-152 10 p. (Annual Symposium on Foundations of Computer Science).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Negative Selection Algorithms Without Generating Detectors

    Liskiewicz, M. & Textor, J., 07.2010, Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation. New York, NY, USA: ACM, p. 1047-1054 8 p. (Annual conference on Genetic and evolutionary computation).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Phylogeny- and Parsimony-Based Haplotype Inference with Constraints

    Elberfeld, M. & Tantau, T., 06.2010, Combinatorial Pattern Matching. Amir, A. & Parida, L. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, Vol. 6129. p. 177-189 13 p. (Lecture Notes in Computer Science; vol. 6129).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 2009

    A Cryptographically t-Private Auction System

    Hinkelmann, M., Jakoby, A., Möbius, N., Rompf, T. & Stechert, P., 2009, Proceedings of Network and System Security 2009 (NSS 2009). USA: IEEE, p. 44-51

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Efficient Algorithms for String-Based Negative Selection

    Elberfeld, M. & Textor, J., 2009, Proceedings of the 8th International Conference on Artificial Immune Systems (ICARIS 2009). Springer Verlag, Vol. 5666. p. 109-121 (Lecture Notes in Computer Science).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Influence of Tree Topology Restrictions on the Complexity of Haplotyping with Missing Data

    Elberfeld, M., Schnoor, I. & Tantau, T., 2009, roceedings of the 6th Annual Conference on Theory and Applications of Models of Computation (TAMC 2009). Springer Verlag, p. 201-210 (Lecture Notes in Computer Science; vol. 5532).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review