Veröffentlichungen
Autoren:
Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks, Karol Wegrzycki
Veröffentlicht in:
Proceedings of ICALP B 2023, Ausgabe 261, 2023, Seite(n) 131:1--131:20
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2023.131
Autoren:
Arka Ghosh, Piotr Hofman, Sławomir Lasota
Veröffentlicht in:
Proceedings of LICS 2022, 2022, Seite(n) 11:1--11:13
Herausgeber:
ACM
DOI:
10.1145/3531130.3533333
Autoren:
Arka Ghosh, Piotr Hofman, Slawomir Lasota
Veröffentlicht in:
Proceedings of LICS 2023, 2023
Herausgeber:
IEEE
DOI:
10.1109/lics56636.2023.10175799
Autoren:
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
Veröffentlicht in:
Proceedings of FSTTCS 2022, Ausgabe 250, 2022, Seite(n) 11:1 - 11:14
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.fsttcs.2022.11
Autoren:
Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
Veröffentlicht in:
Proceedings of LICS 2023, 2023
Herausgeber:
IEEE
DOI:
10.1109/lics56636.2023.10175707
Autoren:
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Veröffentlicht in:
Proceedings of FSTTCS 2022, Ausgabe 250, 2022, Seite(n) 40:1--40:20
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.fsttcs.2022.40
Autoren:
Wojciech Czerwiński, Łukasz Orlikowski
Veröffentlicht in:
Proceedings of FOCS 2022, 2021, Seite(n) 1229--1240
Herausgeber:
IEEE
DOI:
10.1109/focs52979.2021.00120
Autoren:
Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
Veröffentlicht in:
Proceedings of LICS 2022, 2022, Seite(n) 15:1--15:13
Herausgeber:
ACM
DOI:
10.1145/3531130.3533336
Autoren:
Lorenzo Clemente, Maria Donten-Bury, Filip Mazowiecki, Michal Pilipczuk
Veröffentlicht in:
Proceedings of STACS 2023, Ausgabe 254, 2023, Seite(n) 24:1--24:21
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.stacs.2023.24
Autoren:
Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Veröffentlicht in:
Proceedings of CONCUR 2023, Ausgabe 279, 2023, Seite(n) 31:1--31:16
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.concur.2023.31
Autoren:
Laure Daviaud, David Purser
Veröffentlicht in:
Proceedings of LICS 2023, 2023
Herausgeber:
IEEE
DOI:
10.1109/lics56636.2023.10175798
Autoren:
Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche
Veröffentlicht in:
Proceeding of CONCUR 2023, Ausgabe 279, 2023, Seite(n) 10:1--10:18
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.concur.2023.10
Autoren:
Wojciech Czerwiński, Piotr Hofman
Veröffentlicht in:
Proceedings of CONCUR 2022, Ausgabe 243, 2022, Seite(n) 16:1--16:22
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.concur.2022.16
Autoren:
Slawomir Lasota, Mohnish Pattathurajan
Veröffentlicht in:
Proceedings of FSTTCS 2021, Ausgabe 213, 2021, Seite(n) 50:1 - 50:14
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.fsttcs.2021.50
Autoren:
Piotr Hofman, Filip Mazowiecki, Philip Offtermatt
Veröffentlicht in:
Proceedings of CAV 2023, Ausgabe 13964, 2023, Seite(n) 132--155
Herausgeber:
Springer
DOI:
10.1007/978-3-031-37706-8_7
Autoren:
Wojciech Czerwiński, Łukasz Orlikowski
Veröffentlicht in:
Proceedings of LICS 2022, 2022, Seite(n) 40:1--40:12
Herausgeber:
ACM
DOI:
10.1145/3531130.3533357
Autoren:
Wojciech Czerwiński
Veröffentlicht in:
Proceedings of CONCUR 2022, Ausgabe 243, 2022, Seite(n) 5:1--5:13, ISBN 978-3-95977-246-4
Herausgeber:
Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.concur.2022.5
Autoren:
Filip Mazowiecki, Henry Sinclair-Banks, Karol Węgrzycki
Veröffentlicht in:
Proceedings of FoSSaCS 2023, Ausgabe 13992, 2023, Seite(n) 196--217
Herausgeber:
Springer
DOI:
10.1007/978-3-031-30829-1_10
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor