Institut für Theoretische Informatik

  • PostadresseAuf Karte anzeigen

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

    23562 Lübeck

    Deutschland

Filter
Konferenzbeitrag

Suchergebnisse

  • 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. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Band 180. S. 27:1--27:3 3 S. (Leibniz International Proceedings in Informatics (LIPIcs); Band 180).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Band 180. S. 28:1--28:4 4 S. (Leibniz International Proceedings in Informatics (LIPIcs); Band 180).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Springer, Cham, Band 11926 LNCS. S. 43-59 17 S. (Lecture Notes in Computer Science; Band 11926 LNCS).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 1033-1049 17 S. (Proceedings of the ACM Conference on Computer and Communications Security).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 1-14 14 S. MFCS-2020-11. (Leibniz International Proceedings in Informatics, LIPIcs).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Band 115. S. 13:1--13:14 14 S. 13. (Leibniz International Proceedings in Informatics (LIPIcs); Band 115).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, Band 144. S. 18:1--18:14 14 S. 18. (Leibniz International Proceedings in Informatics, LIPIcs; Band 144).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Band 126. S. 11:1--11:16 16 S. 11. (Leibniz International Proceedings in Informatics (LIPIcs); Band 126).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Springer, Cham, Band 11646 LNCS. S. 43-56 14 S. (Lecture Notes in Computer Science; Band 11646 LNCS).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 17-19 3 S.

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Springer, Cham, Band 10936 LNCS. S. 81-88 8 S. (Lecture Notes in Computer Science; Band 10936 LNCS).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • Improving Anonymization Clustering

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

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Springer Berlin Heidelberg, Band 10820 LNCS. S. 29-60 32 S. (Lecture Notes in Computer Science; Band 10820 LNCS).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Band 112. S. 6:1-6:13 (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Springer, Cham, Band 11355 LNCS. S. 341-353 13 S. (Lecture Notes in Computer Science ; Band 11355 LNCS).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Springer, Cham, Band 10936 LNCS. S. 89-96 8 S. (Lecture Notes in Computer Science ; Band 10936 LNCS).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 1649-1660 12 S. (The ACM Conference on Computer and Communications Security (CCS)).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Band 66. S. 1-4 5 S. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Band 75. 21 S. (Leibniz International Proceedings in Informatics (LIPIcs); Band 75).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). AAAI Press, S. 1749-1755 26 S. (Electronic Colloquium on Computational Complexity (ECCC)).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Band 87. S. 1-66 66 S. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Band 63. S. 4 - 17 14 S. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Band 64. 16 S. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Springer Verlag, S. 572-586 15 S. (Lecture Notes in Computer Science).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Cadiz, Spain: PMLR, Band 51. S. 1214-1222 9 S. (Proceedings of Machine Learning Research).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • Provable Secure Universal Steganography of Optimal Rate

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

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 3315-3321 7 S. (AAAI Conference on Artificial Intelligence).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Springer Verlag, S. 387-399 13 S. (Lecture Notes in Computer Science).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Springer Verlag, Band 9472 . S. 151-162 12 S. (Lecture Notes in Computer Science).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Band 30. S. 703-715 13 S. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Band 43. S. 224-235 12 S. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Band 40. S. 135-151 17 S. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 882-891 10 S. (Uncertainty in Artificial Intelligence).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 129-136 8 S. (Genetic and Evolutionary Computation Conference).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, Band 1274. S. 11-24 14 S. (CI'14).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 52-60 9 S. (The Canadian Conference on Computational Geometry).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 2013

    Completeness Results for Parameterized Space Classes

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

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Band 14. S. 66-77 12 S. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Berlin, Heidelberg: Springer Berlin Heidelberg, Band 7535. S. 206-217 12 S. (Lecture Notes in Computer Science).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Berlin, Heidelberg: Springer Berlin Heidelberg, Band 6661. S. 416-428 13 S. (Lecture Notes in Computer Science).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • Grey-Box Steganography

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

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • Optimally Orienting Physical Networks

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

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Berlin, Heidelberg: Springer Berlin Heidelberg, Band 6825. S. 146-159 14 S. (Lecture Notes in Computer Science; Band 6825).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 142-147 6 S. 5542604. (Proceedings of the International Conference on Dependable Systems and Networks).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 143-152 10 S. (Annual Symposium on Foundations of Computer Science).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 1047-1054 8 S. (Annual conference on Genetic and evolutionary computation).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • Phylogeny- and Parsimony-Based Haplotype Inference with Constraints

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

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 44-51

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, Band 5666. S. 109-121 (Lecture Notes in Computer Science).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 201-210 (Lecture Notes in Computer Science; Band 5532).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung