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