CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Publicaciones
Autores:
Anthony W. Lin, Philipp Ruemmer
Publicado en:
Model Checking, Synthesis, and Learning 2021, 2021, Página(s) 97-114
Editor:
Springer
DOI:
10.1007/978-3-030-91384-7_6
Autores:
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
Publicado en:
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Edición 12302, 2020, Página(s) 325-342, ISBN 978-3-030-59151-9
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-59152-6_18
Autores:
Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Publicado en:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, Edición 12166, 2020, Página(s) 122-140, ISBN 978-3-030-51073-2
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-51074-9_8
Autores:
Xuan-Bach Le, Aquinas Hobor, Anthony W. Lin
Publicado en:
Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings, Edición 11275, 2018, Página(s) 89-108, ISBN 978-3-030-02767-4
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-02768-1_5
Autores:
Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
Publicado en:
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Edición 11561, 2019, Página(s) 455-474, ISBN 978-3-030-25539-8
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-25540-4_27
Autores:
Diego Figueira; Artur Jez; Anthony W. Lin
Publicado en:
PODS '22: Proceedings of ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Edición 41, 2022
Editor:
ACM
DOI:
10.1145/3517804.3524159
Autores:
Daniel Stan, Anthony W. Lin
Publicado en:
2021, Página(s) 1254–1262
Editor:
Association for Computing Machinery
DOI:
10.5555/3463952.3464097
Autores:
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Publicado en:
APLAS 2020 (Asian Programming Languages and Systems), 2020, Página(s) 273-292
Editor:
Springer
DOI:
10.1007/978-3-030-64437-6_14
Autores:
Daniel Neider, Oliver Markgraf
Publicado en:
2019 Formal Methods in Computer Aided Design (FMCAD), 2019, Página(s) 120-128, ISBN 978-0-9835678-9-9
Editor:
IEEE
DOI:
10.23919/fmcad.2019.8894254
Autores:
Diego Figueira; Anthony Widjaja Lin
Publicado en:
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Edición 37, 2022
Editor:
ACM/IEEE
DOI:
10.1145/3531130.3533354
Autores:
Shuanglong Kan, Anthony W. Lin, Philipp Ruemmer, Micha Schrader
Publicado en:
CPP 2022: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022, Página(s) 210-224
Editor:
Association for Computing Machinery
DOI:
10.1145/3497775.3503691
Autores:
Oliver Markgraf, Daniel Stan, Anthony W. Lin
Publicado en:
Computer Aided Verification 2021, 2021, Página(s) 243-265
Editor:
Springer
DOI:
10.1007/978-3-030-81688-9_12
Autores:
Anthony W. Lin, Rupak Majumdar
Publicado en:
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Edición 11138, 2018, Página(s) 352-369, ISBN 978-3-030-01089-8
Editor:
Springer International Publishing
DOI:
10.1007/978-3-030-01090-4_21
Autores:
Pablo Barcelo, Chih-Duo Hong, Xuan-Bach Le, Anthony W. Lin, Reino Niskanen
Publicado en:
International Colloquium on Automata, Languages and Programming, 2019, Página(s) 103:1-103:14, ISBN 978-3-95977-109-2
Editor:
LIPIcs–Leibniz International Proceedings in Informatics
DOI:
10.4230/lipics.icalp.2019.103
Autores:
Pascal Bergsträßer; Moses Ganardi; Anthony W. Lin; Georg Zetzsche
Publicado en:
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Edición 37, 2022
Editor:
ACM/IEEE
DOI:
10.48550/arxiv.2205.09015
Autores:
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Publicado en:
Artificial Intelligence, Edición 287, 2020, Página(s) 103353, ISSN 0004-3702
Editor:
Elsevier BV
DOI:
10.1016/j.artint.2020.103353
Autores:
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Publicado en:
Proceedings of the ACM on Programming Languages, Edición 3/POPL, 2019, Página(s) 1-30, ISSN 2475-1421
Editor:
ACM
DOI:
10.1145/3290362
Autores:
Lukáš Holík, Petr Janků, Anthony W. Lin, Philipp Rümmer, Tomáš Vojnar
Publicado en:
Proceedings of the ACM on Programming Languages, Edición 2/POPL, 2018, Página(s) 1-32, ISSN 2475-1421
Editor:
ACM
Autores:
Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
Publicado en:
Proceedings of the ACM on Programming Languages, Edición 2/POPL, 2018, Página(s) 1-29, ISSN 2475-1421
Editor:
ACM
Autores:
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
Publicado en:
ACM Transactions on Programming Languages and Systems, Edición 41/2, 2019, Página(s) 1-76, ISSN 0164-0925
Editor:
Association for Computing Machinary, Inc.
DOI:
10.1145/3310337
Autores:
Anthony W. Lin; Rupak Majumdar
Publicado en:
lmcs:6693 - Logical Methods in Computer Science, 2021-10-29, Volume 17, Edición 4, Edición 12, 2021, ISSN 1860-5974
Editor:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-17(4:4)2021
Autores:
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Publicado en:
Proceedings of the ACM on Programming Languages, Edición 6 (POPL), 2022, Página(s) 1-31, ISSN 2475-1421
Editor:
Association for Computing Machinery
DOI:
10.1145/3498707
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles