CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Publikacje
Autorzy:
Irene Heinrich, Thomas Schneider, Pascal Schweitzer
Opublikowane w:
SIAM Journal on Discrete Mathematics, Numer 39, 2025, Strona(/y) 413-448, ISSN 0895-4801
Wydawca:
Society for Industrial and Applied Mathematics
DOI:
10.1137/23m1565309
Autorzy:
Oliver Bachtler, Irene Heinrich
Opublikowane w:
Journal of Graph Theory, Numer 104, 2023, Strona(/y) 289-319, ISSN 0364-9024
Wydawca:
John Wiley & Sons Inc.
DOI:
10.1002/jgt.22964
Autorzy:
Jendrik Brachter; Eda Kaja
Opublikowane w:
Journal of Algebraic Combinatorics, Numer 17, 2023, ISSN 0925-9899
Wydawca:
Kluwer Academic Publishers
DOI:
10.1007/s10801-023-01262-2
Autorzy:
Anuj Dawar,
Erich Grädel,
Moritz Lichter,
Opublikowane w:
Journal of Logic and Computation, Numer 0955792X, 2022, ISSN 0955-792X
Wydawca:
Oxford University Press
DOI:
10.1093/logcom/exac058
Autorzy:
Brenner, Sofia; García-Lucas, Diego
Opublikowane w:
Archiv der Mathematik, Numer 13, 2024, ISSN 0003-889X
Wydawca:
Birkhauser Verlag
DOI:
10.1007/s00013-024-01977-z
Autorzy:
Sofia Brenner, Irene Heinrich
Opublikowane w:
European Journal of Combinatorics, Numer 125, 2025, Strona(/y) 104093, ISSN 0195-6698
Wydawca:
Academic Press
DOI:
10.1016/j.ejc.2024.104093
Autorzy:
Sofia Brenner; Irene Heinrich
Opublikowane w:
European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'23), Numer 8, 2023, ISSN 2788-3116
Wydawca:
EUROCOMB’23
DOI:
10.5817/cz.muni.eurocomb23-031
Autorzy:
Jendrik Brachter; Eda Kaja
Opublikowane w:
Journal of Group Theory, Numer 6, 2023, ISSN 1433-5883
Wydawca:
Walter de Gruyter GmbH & Co. KG
DOI:
10.1515/jgth-2022-0081
Autorzy:
Franks, Billy Joe; Anders, Markus; Kloft, Marius; Schweitzer, Pascal
Opublikowane w:
Transactions on Machine Learning Research, Numer 12, 2023, ISSN 2835-8856
Wydawca:
Journal of Machine Learning Research Inc.
DOI:
10.48550/arxiv.2112.04314
Autorzy:
Brenner, Sofia
Opublikowane w:
Journal of Group Theory, Numer 6, 2024, ISSN 1433-5883
Wydawca:
Walter de Gruyter GmbH & Co. KG
DOI:
10.1515/jgth-2023-0106
Autorzy:
Anders, Markus; Schweitzer, Pascal; Stieß, Julian
Opublikowane w:
21st International Symposium on Experimental Algorithms (SEA 2023), Numer 8, 2023, ISSN 1868-8969
Wydawca:
Dagstuhl Publishing
DOI:
10.48550/arxiv.2302.06351
Autorzy:
Anders, Markus; Schweitzer, Pascal; Wetzels, Florian
Opublikowane w:
48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Numer 1, 2021
Wydawca:
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2021.15
Autorzy:
Martin Grohe, Moritz Lichter, Daniel Neuen
Opublikowane w:
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024, Strona(/y) 1-13
Wydawca:
IEEE
DOI:
10.1109/lics56636.2023.10175741
Autorzy:
Lichter, Moritz; Schweitzer, Pascal
Opublikowane w:
LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer ScienceAugust 2022, 2022
Wydawca:
ACM
DOI:
10.1145/3531130.3533348
Autorzy:
Markus Anders,
Sofia Brenner,
Gaurav Rattan
Opublikowane w:
2024
Wydawca:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
DOI:
10.4230/lipics.cp.2024.3
Autorzy:
Anders,
Brachter,
Schweitzer
Opublikowane w:
32nd International Symposium on Algorithms and Computation (ISAAC 2021), Numer 212, 2021, Strona(/y) 24:1--24:14, ISBN 978-3-95977-214-3
Wydawca:
"Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI:
10.4230/lipics.isaac.2021.24
Autorzy:
Lichter, Moritz; Raßmann, Simon; Schweitzer, Pascal
Opublikowane w:
33rd EACSL Annual Conference on Computer Science Logic : CSL 2025, February 10-14, 2025, Amsterdam, Netherlands / edited by Jörg Endrullis, Sylvain Schmitz<br/>33. EACSL Annual Conference on Computer Science Logic, CSL 2025, Amsterdam, Netherlands, 2025-02-10 - 2025-02-14, Numer 22, 2025
Wydawca:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
DOI:
10.4230/lipics.csl.2025.13
Autorzy:
Anders, Markus; Schweitzer, Pascal; Soos, Mate
Opublikowane w:
26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Numer 20, 2023, ISSN 1868-8969
Wydawca:
Dagstuhl Publishing
DOI:
10.48550/arxiv.2306.00613
Autorzy:
Markus Anders, Pascal Schweitzer, Mate Soos
Opublikowane w:
2023
Wydawca:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.sat.2023.1
Autorzy:
Anders,
Schweitzer
Opublikowane w:
ESA 2021, Numer 6, 2021
Wydawca:
"Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI:
10.4230/lipics.esa.2021.6
Autorzy:
Schweitzer, Pascal; Seebach, Constantin
Opublikowane w:
Symposium on Theoretical Aspects of Computer Science (STACS), Numer 3, 2021
Wydawca:
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.stacs.2021.58
Autorzy:
Simon Raßmann,
Georg Schindling,
Pascal Schweitzer
Opublikowane w:
33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), 2025
Wydawca:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
DOI:
10.4230/lipics.csl.2025.14
Autorzy:
Markus Anders
Opublikowane w:
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), 2022
Wydawca:
"Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI:
10.4230/lipics.sat.2022.1
Autorzy:
Moritz Lichter
Opublikowane w:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Strona(/y) 1-13, ISBN 978-1-6654-4895-6
Wydawca:
IEEE
DOI:
10.1109/lics52264.2021.9470598
Autorzy:
Moritz Lichter, Ilia Ponomarenko, Pascal Schweitzer
Opublikowane w:
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Strona(/y) 1-13, ISBN 978-1-7281-3608-0
Wydawca:
IEEE
DOI:
10.1109/lics.2019.8785694
Autorzy:
Jendrik Brachter, Pascal Schweitzer
Opublikowane w:
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Strona(/y) 287-300, ISBN 9781450371049
Wydawca:
ACM
DOI:
10.1145/3373718.3394786
Autorzy:
Pascal Schweitzer, Daniel Wiebking
Opublikowane w:
Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019, 2019, Strona(/y) 1247-1258, ISBN 9781450367059
Wydawca:
ACM Press
DOI:
10.1145/3313276.3316338
Autorzy:
Markus Anders,
Sofia Brenner,
Gaurav Rattan
Opublikowane w:
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), 2024
Wydawca:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
DOI:
10.4230/lipics.sat.2024.4
Autorzy:
Bachtler, Oliver; Heinrich, Irene
Opublikowane w:
Proceedings of the {XII} Latin-American Algorithms, Graphs and Optimization Symposium, {LAGOS} 2023, Numer 12, 2023, ISBN 9781713889816
Wydawca:
Elsevier
DOI:
10.1016/j.procs.2023.08.218
Autorzy:
Anders, Markus; Schweitzer, Pascal
Opublikowane w:
48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Numer 4, 2021
Wydawca:
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2021.16
Autorzy:
Lichter, Moritz; Schweitzer, Pascal
Opublikowane w:
CSL 2021, Numer 3, 2021
Wydawca:
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.csl.2021.31
Autorzy:
Wetzels, Florian; Anders, Markus; Garth, Christoph
Opublikowane w:
Topological Data Analysis and Visualization (TopoInVis), Numer 18, 2023, ISBN 979-8-3503-2964-3
Wydawca:
IEEE
DOI:
10.1109/topoinvis60193.2023.00015
Autorzy:
Heinrich, Irene; Raßmann, Simon
Opublikowane w:
18th International Symposium on Parameterized and Exact Computation (IPEC 2023), Numer 9, 2023, ISSN 1868-8969
Wydawca:
Dagstuhl Publishing
DOI:
10.48550/arxiv.2308.14677
Autorzy:
Heinrich, Irene; Herrala, Olli; Schiewe, Philine; Terho; Topias
Opublikowane w:
Numer 16, 2023
Wydawca:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
Autorzy:
Grohe, Martin; Lichter, Moritz; Neuen, Daniel; Schweitzer, Pascal
Opublikowane w:
Crossref, Numer 24, 2023, ISBN 979-8-3503-1894-4
Wydawca:
IEEE Computer Society
DOI:
10.1109/focs57990.2023.00052
Autorzy:
Heinrich, Irene; Schiewe, Philine; Seebach; Constantin
Opublikowane w:
Numer 17, 2023
Wydawca:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
Autorzy:
Markus Anders, Pascal Schweitzer
Opublikowane w:
2021 Proceedings of the Workshop on Algorithm Engineering and Experiments (ALENEX), 2021, Strona(/y) 73-84, ISBN 978-1-61197-647-2
Wydawca:
Society for Industrial and Applied Mathematics
DOI:
10.1137/1.9781611976472.6
Autorzy:
Irene Heinrich, Till Heller, Eva Schmidt, Manuel Streicher
Opublikowane w:
Graph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers, Numer 12301, 2020, Strona(/y) 352-363, ISBN 978-3-030-60439-4
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-60440-0_28
Autorzy:
Irene Heinrich, Eda Kaja, Pascal Schweitzer
Opublikowane w:
Lecture Notes in Computer Science, Graph-Theoretic Concepts in Computer Science, 2025, Strona(/y) 251-265
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-75409-8_18
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników