CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Veröffentlichungen
Autoren:
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Veröffentlicht in:
2022
Herausgeber:
Dagstuhl
DOI:
10.4230/lipics.icalp.2022.132
Autoren:
Różowski, Wojciech; Kappé, Tobias; Kozen, Dexter; Schmid, Todd; Silva, Alexandra
Veröffentlicht in:
Różowski , W , Kappé , T , Kozen , D , Schmid , T & Silva , A 2023 , Probabilistic Guarded KAT Modulo Bisimilarity : Completeness and Complexity . in K Etessami , U Feige & G Puppis (eds) , 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 . vol. 261 , 136 , Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing , Leibniz International Proceed, Ausgabe 4, 2023
Herausgeber:
LIPICS
DOI:
10.4230/lipics.icalp.2023.136
Autoren:
Zetzsche, Stefan; Silva, Alexandra; Sammartino, Matteo
Veröffentlicht in:
Ausgabe 11, 2023
Herausgeber:
Leibniz International Proceedings in Informatics (LIPIcs)
DOI:
10.48550/arxiv.2010.10223
Autoren:
Schmid, Todd; Kappé, Tobias; Silva, Alexandra; Wies, Thomas
Veröffentlicht in:
Programming Languages and Systems ISBN: 9783031300431, Ausgabe 4, 2023
Herausgeber:
Springer
DOI:
10.1007/978-3-031-30044-8_12
Autoren:
Antoine, Thibaut; Piedeleu, Robin; Silva, Alexandra; Zanasi, Fabio
Veröffentlicht in:
33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), Ausgabe 16, 2025
Herausgeber:
Leibniz International Proceedings in Informatics (LIPIcs)
Autoren:
Torres-Ruiz, Mateo; Piedeleu, Robin; Silva, Alexandra; Zanasi, Fabio
Veröffentlicht in:
Ausgabe 15, 2024
Herausgeber:
Leibniz International Proceedings in Informatics (LIPIcs)
Autoren:
D'Angelo, Keri; Gurke, Sebastian; Kirss, Johanna Maria; König, Barbara; Najafi, Matina; Różowski, Wojciech; Wild, Paul
Veröffentlicht in:
Ausgabe 17, 2024
Herausgeber:
Leibniz International Proceedings in Informatics (LIPIcs)
DOI:
10.48550/arxiv.2404.19632
Autoren:
Tiago Ferreira, Harrisson Brewton, Loris D'Antoni, Alexandra Silva
Veröffentlicht in:
2021
Herausgeber:
arxiv
DOI:
10.48550/arxiv.2201.02577
Autoren:
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Veröffentlicht in:
2022
Herausgeber:
Springer
DOI:
10.48550/arxiv.2201.10485
Autoren:
Schmid, Todd; Różowski, Wojciech; Rot, Jurriaan; Silva, Alexandra
Veröffentlicht in:
Bojanczyk, M. (ed.), ICALP 2022: 49th International Colloquium on Automata, Languages, and Programming, pp. 132:1-132:20, Ausgabe 10, 2022
Herausgeber:
Leibniz International Proceedings in Informatics (LIPIcs)
DOI:
10.48550/arxiv.2202.06901
Autoren:
Schmid, Todd; Rot, Jurriaan; Silva, Alexandra
Veröffentlicht in:
Ausgabe 11, 2021
Herausgeber:
ArXiv
DOI:
10.48550/arxiv.2106.08074
Autoren:
Cîrstea, Corina; Moss, Lawrence S.; Noquez, Victoria; Schmid, Todd; Silva, Alexandra; Sokolova, Ana
Veröffentlicht in:
Ausgabe 21, 2025
Herausgeber:
Leibniz International Proceedings in Informatics (LIPIcs
Autoren:
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Veröffentlicht in:
2021
Herausgeber:
Dagstuhl
DOI:
10.4230/lipics.icalp.2021.142
Autoren:
Różowski, Wojciech
Veröffentlicht in:
Ausgabe 12, 2024
Herausgeber:
Leibniz International Proceedings in Informatics (LIPIcs)
DOI:
10.48550/arxiv.2404.13352
Autoren:
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
Veröffentlicht in:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, Seite(n) 1-14
Herausgeber:
IEEE
DOI:
10.1109/lics52264.2021.9470712
Autoren:
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Veröffentlicht in:
2022
Herausgeber:
Arxiv
DOI:
10.48550/arxiv.2204.14153
Autoren:
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
Veröffentlicht in:
2022
Herausgeber:
Arxiv
DOI:
10.48550/arxiv.2209.00122
Autoren:
Nick Giannarakis, Alexandra Silva, David Walker
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 5, 2025, Seite(n) 1-30, ISSN 2475-1421
Herausgeber:
Association for Computing Machinery (ACM)
DOI:
10.1145/3473595
Autoren:
Filippo Bonchi, Alexandra Silva, Ana Sokolova
Veröffentlicht in:
Logical Methods in Computer Science, Ausgabe Volume 17, Ausgabe 3, 2023, ISSN 1860-5974
Herausgeber:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-17(3:10)2021
Autoren:
Noam Zilberstein, Angelina Saliling, Alexandra Silva
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 8, 2025, Seite(n) 276-304, ISSN 2475-1421
Herausgeber:
Association for Computing Machinery (ACM)
DOI:
10.1145/3649821
Autoren:
Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 9, 2025, Seite(n) 1119-1142, ISSN 2475-1421
Herausgeber:
Association for Computing Machinery (ACM)
DOI:
10.1145/3729295
Autoren:
Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva
Veröffentlicht in:
Lecture Notes in Computer Science, Integrated Formal Methods, 2025, Seite(n) 237-255
Herausgeber:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-76554-4_13
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor