Veröffentlichungen
Autoren:
Markus Anders, Pascal Schweitzer
Veröffentlicht in:
2021 Proceedings of the Workshop on Algorithm Engineering and Experiments (ALENEX), 2021, Seite(n) 73-84, ISBN 978-1-61197-647-2
Herausgeber:
Society for Industrial and Applied Mathematics
DOI:
10.1137/1.9781611976472.6
Autoren:
Irene Heinrich, Till Heller, Eva Schmidt, Manuel Streicher
Veröffentlicht in:
Graph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers, Ausgabe 12301, 2020, Seite(n) 352-363, ISBN 978-3-030-60439-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-60440-0_28
Autoren:
Anders, Markus; Schweitzer, Pascal; Wetzels, Florian
Veröffentlicht in:
48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Ausgabe 1, 2021
Herausgeber:
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2021.15
Autoren:
Lichter, Moritz; Schweitzer, Pascal
Veröffentlicht in:
LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer ScienceAugust 2022, 2022
Herausgeber:
ACM
DOI:
10.1145/3531130.3533348
Autoren:
Anders,
Brachter,
Schweitzer
Veröffentlicht in:
32nd International Symposium on Algorithms and Computation (ISAAC 2021), Ausgabe 212, 2021, Seite(n) 24:1--24:14, ISBN 978-3-95977-214-3
Herausgeber:
"Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI:
10.4230/lipics.isaac.2021.24
Autoren:
Anders,
Schweitzer
Veröffentlicht in:
ESA 2021, Ausgabe 6, 2021
Herausgeber:
"Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI:
10.4230/lipics.esa.2021.6
Autoren:
Schweitzer, Pascal; Seebach, Constantin
Veröffentlicht in:
Symposium on Theoretical Aspects of Computer Science (STACS), Ausgabe 3, 2021
Herausgeber:
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.stacs.2021.58
Autoren:
Markus Anders
Veröffentlicht in:
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), 2022
Herausgeber:
"Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI:
10.4230/lipics.sat.2022.1
Autoren:
Moritz Lichter
Veröffentlicht in:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Seite(n) 1-13, ISBN 978-1-6654-4895-6
Herausgeber:
IEEE
DOI:
10.1109/lics52264.2021.9470598
Autoren:
Moritz Lichter, Ilia Ponomarenko, Pascal Schweitzer
Veröffentlicht in:
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Seite(n) 1-13, ISBN 978-1-7281-3608-0
Herausgeber:
IEEE
DOI:
10.1109/lics.2019.8785694
Autoren:
Jendrik Brachter, Pascal Schweitzer
Veröffentlicht in:
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Seite(n) 287-300, ISBN 9781450371049
Herausgeber:
ACM
DOI:
10.1145/3373718.3394786
Autoren:
Pascal Schweitzer, Daniel Wiebking
Veröffentlicht in:
Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019, 2019, Seite(n) 1247-1258, ISBN 9781450367059
Herausgeber:
ACM Press
DOI:
10.1145/3313276.3316338
Autoren:
Anders, Markus; Schweitzer, Pascal
Veröffentlicht in:
48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Ausgabe 4, 2021
Herausgeber:
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2021.16
Autoren:
Lichter, Moritz; Schweitzer, Pascal
Veröffentlicht in:
CSL 2021, Ausgabe 3, 2021
Herausgeber:
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.csl.2021.31
Autoren:
Anuj Dawar,
Erich Grädel,
Moritz Lichter,
Veröffentlicht in:
Journal of Logic and Computation, Ausgabe 0955792X, 2022, ISSN 0955-792X
Herausgeber:
Oxford University Press
DOI:
10.1093/logcom/exac058
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor