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:
Anthony W. Lin, Pablo Barcelo
Opublikowane w:
2025
Wydawca:
Springer
DOI:
10.48550/ARXIV.2509.24024
Autorzy:
Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
Opublikowane w:
2025
Wydawca:
TU Wien Academic Press
DOI:
10.48550/ARXIV.2506.14363
Autorzy:
Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
Opublikowane w:
Lecture Notes in Computer Science, Computer Aided Verification, 2025
Wydawca:
Springer
DOI:
10.1007/978-3-031-98668-0_10
Autorzy:
Pablo Barcelo, Alexander Kozachinskiy, Anthony W. Lin, Vladimir V. Podolskii
Opublikowane w:
2024
Wydawca:
OpenReview.net
Autorzy:
Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Opublikowane w:
2024
Wydawca:
Neural Information Processing Systems Foundation, Inc.
Autorzy:
Chih-Duo Hong, Anthony W. Lin
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 8, 2024, ISSN 2475-1421
Wydawca:
Association for Computing Machinery (ACM)
DOI:
10.1145/3632864
Autorzy:
Matthew Hague, Artur Jeż, Anthony W. Lin
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 8, 2025, ISSN 2475-1421
Wydawca:
Association for Computing Machinery (ACM)
DOI:
10.1145/3632907
Autorzy:
Matthew Hague, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
Opublikowane w:
Proceedings of the ACM on programming languages, 2025, ISSN 2475-1421
Wydawca:
Association for Computing Machinery (ACM)
DOI:
10.48550/ARXIV.2508.19888
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników