CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Anthony W. Lin, Pablo Barcelo
Published in:
2025
Publisher:
Springer
DOI:
10.48550/ARXIV.2509.24024
Author(s):
Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
Published in:
2025
Publisher:
TU Wien Academic Press
DOI:
10.48550/ARXIV.2506.14363
Author(s):
Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
Published in:
Lecture Notes in Computer Science, Computer Aided Verification, 2025
Publisher:
Springer
DOI:
10.1007/978-3-031-98668-0_10
Author(s):
Pablo Barcelo, Alexander Kozachinskiy, Anthony W. Lin, Vladimir V. Podolskii
Published in:
2024
Publisher:
OpenReview.net
Author(s):
Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Published in:
2024
Publisher:
Neural Information Processing Systems Foundation, Inc.
Author(s):
Chih-Duo Hong, Anthony W. Lin
Published in:
Proceedings of the ACM on Programming Languages, Issue 8, 2024, ISSN 2475-1421
Publisher:
Association for Computing Machinery (ACM)
DOI:
10.1145/3632864
Author(s):
Matthew Hague, Artur Jeż, Anthony W. Lin
Published in:
Proceedings of the ACM on Programming Languages, Issue 8, 2025, ISSN 2475-1421
Publisher:
Association for Computing Machinery (ACM)
DOI:
10.1145/3632907
Author(s):
Matthew Hague, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
Published in:
Proceedings of the ACM on programming languages, 2025, ISSN 2475-1421
Publisher:
Association for Computing Machinery (ACM)
DOI:
10.48550/ARXIV.2508.19888
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available