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):
Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki
Published in:
Proceedings of ICALP B 2023, Issue 261, 2023, Page(s) 131:1--131:20
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2023.131
Author(s):
Arka Ghosh, Piotr Hofman, Sławomir Lasota
Published in:
Proceedings of LICS 2022, 2022, Page(s) 11:1--11:13
Publisher:
ACM
DOI:
10.1145/3531130.3533333
Author(s):
Arka Ghosh, Piotr Hofman, Slawomir Lasota
Published in:
Proceedings of LICS 2023, 2023
Publisher:
IEEE
DOI:
10.1109/lics56636.2023.10175799
Author(s):
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
Published in:
Proceedings of FSTTCS 2022, Issue 250, 2022, Page(s) 11:1 - 11:14
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.fsttcs.2022.11
Author(s):
Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Published in:
Proceedings of LICS 2023, 2023
Publisher:
IEEE
DOI:
10.1109/lics56636.2023.10175707
Author(s):
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Published in:
Proceedings of FSTTCS 2022, Issue 250, 2022, Page(s) 40:1--40:20
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.fsttcs.2022.40
Author(s):
Wojciech Czerwiński, Łukasz Orlikowski
Published in:
Proceedings of FOCS 2022, 2021, Page(s) 1229--1240
Publisher:
IEEE
DOI:
10.1109/focs52979.2021.00120
Author(s):
Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
Published in:
Proceedings of LICS 2022, 2022, Page(s) 15:1--15:13
Publisher:
ACM
DOI:
10.1145/3531130.3533336
Author(s):
Lorenzo Clemente, Maria Donten-Bury, Filip Mazowiecki, Michal Pilipczuk
Published in:
Proceedings of STACS 2023, Issue 254, 2023, Page(s) 24:1--24:21
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.stacs.2023.24
Author(s):
Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Published in:
Proceedings of CONCUR 2023, Issue 279, 2023, Page(s) 31:1--31:16
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.concur.2023.31
Author(s):
Laure Daviaud, David Purser
Published in:
Proceedings of LICS 2023, 2023
Publisher:
IEEE
DOI:
10.1109/lics56636.2023.10175798
Author(s):
Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche
Published in:
Proceeding of CONCUR 2023, Issue 279, 2023, Page(s) 10:1--10:18
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.concur.2023.10
Author(s):
Wojciech Czerwiński, Piotr Hofman
Published in:
Proceedings of CONCUR 2022, Issue 243, 2022, Page(s) 16:1--16:22
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.concur.2022.16
Author(s):
Slawomir Lasota, Mohnish Pattathurajan
Published in:
Proceedings of FSTTCS 2021, Issue 213, 2021, Page(s) 50:1 - 50:14
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.fsttcs.2021.50
Author(s):
Piotr Hofman, Filip Mazowiecki, Philip Offtermatt
Published in:
Proceedings of CAV 2023, Issue 13964, 2023, Page(s) 132--155
Publisher:
Springer
DOI:
10.1007/978-3-031-37706-8_7
Author(s):
Wojciech Czerwiński, Łukasz Orlikowski
Published in:
Proceedings of LICS 2022, 2022, Page(s) 40:1--40:12
Publisher:
ACM
DOI:
10.1145/3531130.3533357
Author(s):
Wojciech Czerwiński
Published in:
Proceedings of CONCUR 2022, Issue 243, 2022, Page(s) 5:1--5:13, ISBN 978-3-95977-246-4
Publisher:
Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.concur.2022.5
Author(s):
Filip Mazowiecki, Henry Sinclair-Banks, Karol Węgrzycki
Published in:
Proceedings of FoSSaCS 2023, Issue 13992, 2023, Page(s) 196--217
Publisher:
Springer
DOI:
10.1007/978-3-031-30829-1_10
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available