CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Publikacje
Autorzy:
Boker, Udi; Kuperberg, Denis; Lehtinen, Karoliina; Skrzypczak, Michał
Opublikowane w:
40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), 2020, Strona(/y) 41:1--41:13, ISBN 978-3-95977-174-0
Wydawca:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.fsttcs.2020.41
Autorzy:
Karoliina Lehtinen, Martin Zimmermann
Opublikowane w:
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Strona(/y) 689-702, ISBN 9781450371049
Wydawca:
ACM
DOI:
10.1145/3373718.3394737
Autorzy:
Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingolfsdottir and Karoliina Lehtinen
Opublikowane w:
29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021, Strona(/y) 7:1--7:23, ISBN 978-3-95977-175-7
Wydawca:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.csl.2021.7
Autorzy:
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Opublikowane w:
Software and Systems Modeling, Numer 05 February 2021, 2021, ISSN 1619-1366
Wydawca:
Springer Verlag
DOI:
10.1007/s10270-020-00860-z
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników