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):
Rick Erkens, Jurriaan Rot, Bas Luttik
Published in:
SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings, Issue 12011, 2020, Page(s) 285-297, ISBN 978-3-030-38918-5
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-38919-2_24
Author(s):
Jana Wagemaker, Marcello Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Published in:
Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings, Issue 11825, 2019, Page(s) 385-413, ISBN 978-3-030-33635-6
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-030-33636-3_14
Author(s):
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
Published in:
Accepted for publication in proceedings FoSSaCS 2020 (to appear), 2020
Publisher:
Springer
Author(s):
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Published in:
30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands, Issue 140, 2019, Page(s) 41:1--41:16
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.concur.2019.41
Author(s):
Clemens Kupke, Jurriaan Rot
Published in:
28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Issue 152, 2020, Page(s) 26:1--26:18
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.csl.2020.26
Author(s):
van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Sammartino, Matteo; Silva, Alexandra
Published in:
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom, Issue 139, 2019, Page(s) 6:1--6:22
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/LIPIcs.CALCO.2019.6
Author(s):
Moerman, Joshua; Rot, Jurriaan
Published in:
28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Issue 152, 2020, Page(s) 31:1--31:17
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.csl.2020.31
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available