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:
van Bergerem, Steffen; Grohe, Martin; Kiefer, Sandra; Oeljeklaus, Luca Frédéric Tilmann
Opublikowane w:
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 26 – 29 June 2023, Boston, USA, 2023<br/>38. Annual ACM/IEEE Symposium on Logic in Computer Science, LICS, Boston, MA, USA, 2023-06-26 - 2023-06-29, 2023
Wydawca:
IEEE
DOI:
10.48550/arxiv.2304.12948
Autorzy:
Lichter, Moritz; Pago, Benedikt Thomas; Seppelt, Tim Frederik
Opublikowane w:
32nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19–23, 2024, Naples, Italy / edited by Aniello Murano, Alexandra Silva<br/>32. EACSL Annual Conference on Computer Science Logic, CSL 2024, Naples, Italy, 2024-02-19 - 2024-02-23, 2024
Wydawca:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI:
10.48550/arXiv.2308.05693
Autorzy:
Seppelt, Tim Frederik
Opublikowane w:
49th International Symposium on Mathematical Foundations of Computer Science, 2024
Wydawca:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI:
10.48550/arXiv.2402.08989
Autorzy:
Böker, Jan Wilhelm; Härtel, Louis; Runde, Nina Katrin; Seppelt, Tim Frederik; Standke, Christoph
Opublikowane w:
41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 2023
Wydawca:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
DOI:
10.48550/arxiv.2310.09009
Autorzy:
Christopher Morris, Fabrizio Frasca, Nadav Dym, Haggai Maron, Ismail Ilkan Ceylan, Ron Levie, Derek Lim, Michael M. Bronstein, Martin Grohe, Stefanie Jegelka
Opublikowane w:
41st International Conference on Machine Learning, 2024
Wydawca:
MLR Press
Autorzy:
Grohe, Martin
Opublikowane w:
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Wydawca:
IEEE
DOI:
10.48550/arxiv.2303.04613
Autorzy:
Martin Grohe, Eran Rosenbluth
Opublikowane w:
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Wydawca:
ACM
DOI:
10.48550/arXiv.2403.06817
Autorzy:
Böker, Jan; Levie, Ron; Huang, Ningyuan; Villar, Soledad; Morris, Christopher
Opublikowane w:
Advances in Neural Information Processing Systems, 2023
Wydawca:
MLR Press
Autorzy:
Grohe, Martin; Lichter, Moritz; Neuen, Daniel; Schweitzer, Pascal
Opublikowane w:
2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), 2023
Wydawca:
IEEE
DOI:
10.48550/arxiv.2308.11970
Autorzy:
Martin Grohe, Moritz Lichter, Daniel Neuen
Opublikowane w:
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024
Wydawca:
IEEE
DOI:
10.48550/arXiv.2301.13317
Autorzy:
Martin Grohe and Daniel Neuen
Opublikowane w:
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024
Wydawca:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.48550/arXiv.2312.02048
Autorzy:
Martin Grohe
Opublikowane w:
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I, 2024
Wydawca:
Springer
DOI:
10.48550/ARXIV.2411.10182
Autorzy:
Morris, Christopher; Geerts, Floris; Tönshoff, Jan; Grohe, Martin
Opublikowane w:
Proceedings of the 40th International Conference on Machine Learning (PMLR), 2023, Honolulu, Hawaii, USA., 2023
Wydawca:
MLR Press
Autorzy:
Fluck, Eva; Seppelt, Tim Frederik; Spitzer, Gian Luca
Opublikowane w:
32nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19–23, 2024, Naples, Italy / edited by Aniello Murano, Alexandra Silvapages, 2023
Wydawca:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI:
10.48550/arxiv.2308.06044
Autorzy:
Jan Tönshoff, Martin Ritzert, Eran Rosenbluth, Martin Grohe
Opublikowane w:
Transactions on Machine Learning Research, 2024, ISSN 2835-8856
Wydawca:
MLR Press
DOI:
10.48550/ARXIV.2309.00367
Autorzy:
Tim Seppelt
Opublikowane w:
Information and Computation, Numer 301, 2024, ISSN 0890-5401
Wydawca:
Elsevier BV
DOI:
10.48550/arXiv.2302.11290
Autorzy:
Jan Böker
Opublikowane w:
The Electronic Journal of Combinatorics, Numer 30, 2023, ISSN 1077-8926
Wydawca:
The Electronic Journal of Combinatorics
DOI:
10.37236/10973
Autorzy:
David E. Roberson, Tim Seppelt
Opublikowane w:
TheoretiCS, Numer Volume 3, 2024, ISSN 2751-4838
Wydawca:
Centre pour la Communication Scientifique Directe (CCSD)
DOI:
10.46298/theoretics.24.20
Autorzy:
van Bergerem, Steffen; Grohe, Martin; Runde, Nina
Opublikowane w:
2023
Wydawca:
arxiv.org
DOI:
10.48550/arxiv.2309.10489
Autorzy:
Lichter, Moritz; Raßmann, Simon; Schweitzer, Pascal
Opublikowane w:
2024
Wydawca:
arxiv.org
DOI:
10.48550/arxiv.2402.11531
Autorzy:
Wolf, Hinrikus; Oeljeklaus, Luca Frédéric Tilmann; Kühner, Pascal; Grohe, Martin
Opublikowane w:
2023
Wydawca:
arxiv.org
DOI:
10.48550/arxiv.2308.15283
Autorzy:
Christoph Berkholz and Moritz Lichter and Harry Vinall-Smeeth
Opublikowane w:
2024
Wydawca:
arxiv.org
DOI:
10.48550/ARXIV.2407.17947
Autorzy:
Moritz Lichter and Benedikt Pago
Opublikowane w:
2024
Wydawca:
arxiv.org
DOI:
10.48550/ARXIV.2407.09097
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników