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):
Boker, Udi; Kuperberg, Denis; Lehtinen, Karoliina; Skrzypczak, Michał
Published in:
40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), 2020, Page(s) 41:1--41:13, ISBN 978-3-95977-174-0
Publisher:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.fsttcs.2020.41
Author(s):
Karoliina Lehtinen, Martin Zimmermann
Published in:
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Page(s) 689-702, ISBN 9781450371049
Publisher:
ACM
DOI:
10.1145/3373718.3394737
Author(s):
Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingolfsdottir and Karoliina Lehtinen
Published in:
29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021, Page(s) 7:1--7:23, ISBN 978-3-95977-175-7
Publisher:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.csl.2021.7
Author(s):
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Published in:
Software and Systems Modeling, Issue 05 February 2021, 2021, ISSN 1619-1366
Publisher:
Springer Verlag
DOI:
10.1007/s10270-020-00860-z
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available