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