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):
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Published in:
2022
Publisher:
Dagstuhl
DOI:
10.4230/lipics.icalp.2022.132
Author(s):
Różowski, Wojciech; Kappé, Tobias; Kozen, Dexter; Schmid, Todd; Silva, Alexandra
Published 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, Issue 4, 2023
Publisher:
LIPICS
DOI:
10.4230/lipics.icalp.2023.136
Author(s):
Schmid, Todd; Kappé, Tobias; Silva, Alexandra; Wies, Thomas
Published in:
Programming Languages and Systems ISBN: 9783031300431, Issue 4, 2023
Publisher:
Springer
DOI:
10.1007/978-3-031-30044-8_12
Author(s):
Tiago Ferreira, Harrisson Brewton, Loris D'Antoni, Alexandra Silva
Published in:
2021
Publisher:
arxiv
DOI:
10.48550/arxiv.2201.02577
Author(s):
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Published in:
2022
Publisher:
Springer
DOI:
10.48550/arxiv.2201.10485
Author(s):
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Published in:
2021
Publisher:
Dagstuhl
DOI:
10.4230/lipics.icalp.2021.142
Author(s):
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Published in:
2022
Publisher:
Arxiv
DOI:
10.48550/arxiv.2204.14153
Author(s):
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
Published in:
2022
Publisher:
Arxiv
DOI:
10.48550/arxiv.2209.00122
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available