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:
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Opublikowane w:
2022
Wydawca:
Dagstuhl
DOI:
10.4230/lipics.icalp.2022.132
Autorzy:
Różowski, Wojciech; Kappé, Tobias; Kozen, Dexter; Schmid, Todd; Silva, Alexandra
Opublikowane w:
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, Numer 4, 2023
Wydawca:
LIPICS
DOI:
10.4230/lipics.icalp.2023.136
Autorzy:
Zetzsche, Stefan; Silva, Alexandra; Sammartino, Matteo
Opublikowane w:
Numer 11, 2023
Wydawca:
Leibniz International Proceedings in Informatics (LIPIcs)
DOI:
10.48550/arxiv.2010.10223
Autorzy:
Schmid, Todd; Kappé, Tobias; Silva, Alexandra; Wies, Thomas
Opublikowane w:
Programming Languages and Systems ISBN: 9783031300431, Numer 4, 2023
Wydawca:
Springer
DOI:
10.1007/978-3-031-30044-8_12
Autorzy:
Antoine, Thibaut; Piedeleu, Robin; Silva, Alexandra; Zanasi, Fabio
Opublikowane w:
33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), Numer 16, 2025
Wydawca:
Leibniz International Proceedings in Informatics (LIPIcs)
Autorzy:
Torres-Ruiz, Mateo; Piedeleu, Robin; Silva, Alexandra; Zanasi, Fabio
Opublikowane w:
Numer 15, 2024
Wydawca:
Leibniz International Proceedings in Informatics (LIPIcs)
Autorzy:
D'Angelo, Keri; Gurke, Sebastian; Kirss, Johanna Maria; König, Barbara; Najafi, Matina; Różowski, Wojciech; Wild, Paul
Opublikowane w:
Numer 17, 2024
Wydawca:
Leibniz International Proceedings in Informatics (LIPIcs)
DOI:
10.48550/arxiv.2404.19632
Autorzy:
Tiago Ferreira, Harrisson Brewton, Loris D'Antoni, Alexandra Silva
Opublikowane w:
2021
Wydawca:
arxiv
DOI:
10.48550/arxiv.2201.02577
Autorzy:
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Opublikowane w:
2022
Wydawca:
Springer
DOI:
10.48550/arxiv.2201.10485
Autorzy:
Schmid, Todd; Różowski, Wojciech; Rot, Jurriaan; Silva, Alexandra
Opublikowane w:
Bojanczyk, M. (ed.), ICALP 2022: 49th International Colloquium on Automata, Languages, and Programming, pp. 132:1-132:20, Numer 10, 2022
Wydawca:
Leibniz International Proceedings in Informatics (LIPIcs)
DOI:
10.48550/arxiv.2202.06901
Autorzy:
Schmid, Todd; Rot, Jurriaan; Silva, Alexandra
Opublikowane w:
Numer 11, 2021
Wydawca:
ArXiv
DOI:
10.48550/arxiv.2106.08074
Autorzy:
Cîrstea, Corina; Moss, Lawrence S.; Noquez, Victoria; Schmid, Todd; Silva, Alexandra; Sokolova, Ana
Opublikowane w:
Numer 21, 2025
Wydawca:
Leibniz International Proceedings in Informatics (LIPIcs
Autorzy:
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Opublikowane w:
2021
Wydawca:
Dagstuhl
DOI:
10.4230/lipics.icalp.2021.142
Autorzy:
Różowski, Wojciech
Opublikowane w:
Numer 12, 2024
Wydawca:
Leibniz International Proceedings in Informatics (LIPIcs)
DOI:
10.48550/arxiv.2404.13352
Autorzy:
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
Opublikowane w:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, Strona(/y) 1-14
Wydawca:
IEEE
DOI:
10.1109/lics52264.2021.9470712
Autorzy:
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Opublikowane w:
2022
Wydawca:
Arxiv
DOI:
10.48550/arxiv.2204.14153
Autorzy:
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
Opublikowane w:
2022
Wydawca:
Arxiv
DOI:
10.48550/arxiv.2209.00122
Autorzy:
Nick Giannarakis, Alexandra Silva, David Walker
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 5, 2025, Strona(/y) 1-30, ISSN 2475-1421
Wydawca:
Association for Computing Machinery (ACM)
DOI:
10.1145/3473595
Autorzy:
Filippo Bonchi, Alexandra Silva, Ana Sokolova
Opublikowane w:
Logical Methods in Computer Science, Numer Volume 17, Numer 3, 2023, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-17(3:10)2021
Autorzy:
Noam Zilberstein, Angelina Saliling, Alexandra Silva
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 8, 2025, Strona(/y) 276-304, ISSN 2475-1421
Wydawca:
Association for Computing Machinery (ACM)
DOI:
10.1145/3649821
Autorzy:
Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 9, 2025, Strona(/y) 1119-1142, ISSN 2475-1421
Wydawca:
Association for Computing Machinery (ACM)
DOI:
10.1145/3729295
Autorzy:
Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva
Opublikowane w:
Lecture Notes in Computer Science, Integrated Formal Methods, 2025, Strona(/y) 237-255
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-76554-4_13
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników