Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Verification and Language Theory

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

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity (odnośnik otworzy się w nowym oknie)

Autorzy: Wojciech Różowski, Tobias Kappé, Dexter Kozen, Todd Schmid, and Alexandra Silva
Opublikowane w: Proceedings of the International Colloquium on Automata, Languages, and Programming, ICALP 2023, 2023, Strona(/y) 136:1-136:20
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2023.136

A Categorical Framework for Learning Generalised Tree Automata (odnośnik otworzy się w nowym oknie)

Autorzy: Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Opublikowane w: Lecture Notes in Computer Science, Coalgebraic Methods in Computer Science, 2022, Strona(/y) 67-87
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-031-10736-8_4

Formal Abstractions for Packet Scheduling (odnośnik otworzy się w nowym oknie)

Autorzy: Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 7, 2023, Strona(/y) 1338-1362, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3622845

Leapfrog: certified equivalence for protocol parsers (odnośnik otworzy się w nowym oknie)

Autorzy: Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Opublikowane w: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2023
Wydawca: ACM
DOI: 10.1145/3519939.3523715

Concurrent NetKAT (odnośnik otworzy się w nowym oknie)

Autorzy: Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Opublikowane w: Lecture Notes in Computer Science, Programming Languages and Systems, 2023, Strona(/y) 575-602
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-99336-8_21

Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (odnośnik otworzy się w nowym oknie)

Autorzy: Tobias Kappé
Opublikowane w: Lecture Notes in Computer Science, Relational and Algebraic Methods in Computer Science, 2024, Strona(/y) 158-175
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-031-28083-2_10

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests (odnośnik otworzy się w nowym oknie)

Autorzy: Tobias Kappé, Todd Schmid, Alexandra Silva
Opublikowane w: Lecture Notes in Computer Science, Programming Languages and Systems, 2023, Strona(/y) 309-336
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-30044-8_12

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0