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):
Fredrik Dahlqvist, David Pym
Published in:
Journal of Logical and Algebraic Methods in Programming, Issue 93, 2017, Page(s) 1-22, ISSN 2352-2208
Publisher:
Elsevier
DOI:
10.1016/j.jlamp.2017.07.002
Author(s):
"J{\""{o}}rg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva"
Published in:
Logical methods in Computer Science, 2018, ISSN 1860-5974
Publisher:
Technischen Universitat Braunschweig
DOI:
10.23638/LMCS-14(1:3)2018
Author(s):
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Published in:
Proceedings of the ACM on Programming Languages, Issue 2/POPL, 2017, Page(s) 1-29, ISSN 2475-1421
Publisher:
ACM
DOI:
10.1145/3158145
Author(s):
"Harsh Beohar, Barbara K{\""{o}}nig, Sebastian K{\""{u}}per, Alexandra Silva, Thorsten Wi{\ss}mann"
Published in:
Logical Methods in Computer Science, 2018, ISSN 1860-5974
Publisher:
Technischen Universitat Braunschweig
DOI:
10.23638/LMCS-14(1:19)2018
Author(s):
Aws Albarghouthi, Justin Hsu
Published in:
Proceedings of the ACM on Programming Languages, Issue 2/POPL, 2017, Page(s) 1-30, ISSN 2475-1421
Publisher:
ACM
DOI:
10.1145/3158146
Author(s):
Fredrik Dahlqvist, Alexander Kurz
Published in:
2017, ISBN 978-3-95977-033-0
Publisher:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CALCO.2017.9
Author(s):
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
Published in:
2017
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CSL.2017.29
Author(s):
Paul Brunet, Damien Pous, Georg Struth
Published in:
2017
Publisher:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CONCUR.2017.28
Author(s):
Paul Brunet
Published in:
2017
Publisher:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.MFCS.2017.66
Author(s):
Clerc, Florence; Danos, Vincent; Dahlqvist, Fredrik; Garnier, Ilias
Published in:
Accepted to the 20th International Conference on Foundations of Software Science and Computation .. 2017, Issue 1, 2017, Page(s) 355-369, ISBN 978-3-662-54458-7
Publisher:
Springer
DOI:
10.1007/978-3-662-54458-7_21
Author(s):
Tobias Kappe, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Published in:
2017
Publisher:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CONCUR.2017.25
Author(s):
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Published in:
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017, 2017, Page(s) 557-571, ISBN 9781-450346603
Publisher:
ACM Press
DOI:
10.1145/3009837.3009843
Author(s):
Alexandra Silva
Published in:
2017
Publisher:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.FSCD.2017.3
Author(s):
Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michał Szynwelski
Published in:
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017, 2017, Page(s) 613-625, ISBN 9781-450346603
Publisher:
ACM Press
DOI:
10.1145/3009837.3009879
Author(s):
Filippo Bonchi, Alexandra Silva, Ana Sokolova
Published in:
2017
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CONCUR.2017.23
Author(s):
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
Published in:
In: Meyer, R and Nestmann;, U, (eds.) Proceedings of the CONCUR 2017 : 28th International Conference on Concurrency Theory. (pp. 25:1-25:16). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik: Dagstuhl, Germany. (2017), Issue 3, 2017
Publisher:
Lipics
Author(s):
Kanazawa, Makoto; Kappé, Tobias
Published in:
Proceedings of Machine Learning Research, Issue 1, 2018
Publisher:
Proceedings of Machine Learning Research
Author(s):
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Alexandra Silva
Published in:
2018
Publisher:
ENTCS
Author(s):
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva
Published in:
2018
Publisher:
Lipics
DOI:
10.4230/LIPIcs.ICALP.2018.113
Author(s):
Van Heerdt, G.; Sammartino, M.; Silva, A.
Published in:
In: Goranko, V and Dam, M, (eds.) Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). (pp. 29:1-29:24). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik: Dagstuhl, Germany. (2017), Issue 1, 2017
Publisher:
Lipics
Author(s):
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
Published in:
Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Issue 11187, 2018, Page(s) 472-492, ISBN 978-3-030-02507-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-02508-3_25
Author(s):
Aws Albarghouthi, Justin Hsu
Published in:
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Issue 10981, 2018, Page(s) 327-346, ISBN 978-3-319-96144-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-96145-3_18
Author(s):
Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva
Published in:
It's All About Coordination, Issue 10865, 2018, Page(s) 139-159, ISBN 978-3-319-90088-9
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-90089-6_10
Author(s):
Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva
Published in:
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, Issue 10951, 2018, Page(s) 550-567, ISBN 978-3-319-95581-0
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-95582-7_33
Author(s):
Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Published in:
Programming Languages and Systems, Issue 10801, 2018, Page(s) 117-144, ISBN 978-3-319-89883-4
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-89884-1_5
Author(s):
Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
Published in:
Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Issue 11187, 2018, Page(s) 153-172, ISBN 978-3-030-02507-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-02508-3_9
Author(s):
Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
Published in:
Programming Languages and Systems, Issue 10801, 2018, Page(s) 856-882, ISBN 978-3-319-89883-4
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-89884-1_30
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available