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
CORDIScovery podcast 50th episode CORDIScovery podcast 50th episode

Probabilistic Foundations for Networks

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

Peer reviewed articles (5)
Coalgebraic completeness-via-canonicity for distributive substructural logics (odnośnik otworzy się w nowym oknie)

Autorzy: Fredrik Dahlqvist, David Pym
Opublikowane w: Journal of Logical and Algebraic Methods in Programming, Numer 93, 2017, Strona(/y) 1-22, ISSN 2352-2208
Wydawca: Elsevier
DOI: 10.1016/j.jlamp.2017.07.002

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic (odnośnik otworzy się w nowym oknie)

Autorzy: "J{\""{o}}rg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva"
Opublikowane w: Logical methods in Computer Science, 2018, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-14(1:3)2018

Proving expected sensitivity of probabilistic programs (odnośnik otworzy się w nowym oknie)

Autorzy: Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 2/POPL, 2017, Strona(/y) 1-29, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3158145

A coalgebraic treatment of conditional transition systems with upgrades (odnośnik otworzy się w nowym oknie)

Autorzy: "Harsh Beohar, Barbara K{\""{o}}nig, Sebastian K{\""{u}}per, Alexandra Silva, Thorsten Wi{\ss}mann"
Opublikowane w: Logical Methods in Computer Science, 2018, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-14(1:19)2018

Synthesizing coupling proofs of differential privacy (odnośnik otworzy się w nowym oknie)

Autorzy: Aws Albarghouthi, Justin Hsu
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 2/POPL, 2017, Strona(/y) 1-30, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3158146

Conference proceedings (15)
The Positivication of Coalgebraic Logics (odnośnik otworzy się w nowym oknie)

Autorzy: Fredrik Dahlqvist, Alexander Kurz
Opublikowane w: 2017, ISBN 978-3-95977-033-0
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CALCO.2017.9

CALF: Categorical Automata Learning Framework (odnośnik otworzy się w nowym oknie)

Autorzy: Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
Opublikowane w: 2017
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CSL.2017.29

On Decidability of Concurrent Kleene Algebra (odnośnik otworzy się w nowym oknie)

Autorzy: Paul Brunet, Damien Pous, Georg Struth
Opublikowane w: 2017
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2017.28

Reversible Kleene lattices (odnośnik otworzy się w nowym oknie)

Autorzy: Paul Brunet
Opublikowane w: 2017
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.MFCS.2017.66

Pointless learning (long version) (odnośnik otworzy się w nowym oknie)

Autorzy: Clerc, Florence; Danos, Vincent; Dahlqvist, Fredrik; Garnier, Ilias
Opublikowane w: Accepted to the 20th International Conference on Foundations of Software Science and Computation .. 2017, Numer 1, 2017, Strona(/y) 355-369, ISBN 978-3-662-54458-7
Wydawca: Springer
DOI: 10.1007/978-3-662-54458-7_21

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (odnośnik otworzy się w nowym oknie)

Autorzy: Tobias Kappe, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Opublikowane w: 2017
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2017.25

Cantor meets scott: semantic foundations for probabilistic networks (odnośnik otworzy się w nowym oknie)

Autorzy: Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Opublikowane w: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017, 2017, Strona(/y) 557-571, ISBN 9781-450346603
Wydawca: ACM Press
DOI: 10.1145/3009837.3009843

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk) (odnośnik otworzy się w nowym oknie)

Autorzy: Alexandra Silva
Opublikowane w: 2017
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2017.3

Learning nominal automata (odnośnik otworzy się w nowym oknie)

Autorzy: Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michał Szynwelski
Opublikowane w: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017, 2017, Strona(/y) 613-625, ISBN 9781-450346603
Wydawca: ACM Press
DOI: 10.1145/3009837.3009879

The Power of Convex Algebras (odnośnik otworzy się w nowym oknie)

Autorzy: Filippo Bonchi, Alexandra Silva, Ana Sokolova
Opublikowane w: 2017
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2017.23

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages

Autorzy: Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
Opublikowane w: In: Meyer, R and Nestmann;, U, (eds.) Proceedings of the CONCUR 2017 : 28th International Conference on Concurrency Theory. (pp. 25:1-25:16). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik: Dagstuhl, Germany. (2017), Numer 3, 2017
Wydawca: Lipics

Decision problems for Clark-congruential languages

Autorzy: Kanazawa, Makoto; Kappé, Tobias
Opublikowane w: Proceedings of Machine Learning Research, Numer 1, 2018
Wydawca: Proceedings of Machine Learning Research

Borel Kernels and their Approximation, Categorically

Autorzy: Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Alexandra Silva
Opublikowane w: 2018
Wydawca: ENTCS

Almost Sure Productivity (odnośnik otworzy się w nowym oknie)

Autorzy: Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva
Opublikowane w: 2018
Wydawca: Lipics
DOI: 10.4230/LIPIcs.ICALP.2018.113

CALF: Categorical automata learning framework

Autorzy: Van Heerdt, G.; Sammartino, M.; Silva, A.
Opublikowane w: In: Goranko, V and Dam, M, (eds.) Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). (pp. 29:1-29:24). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik: Dagstuhl, Germany. (2017), Numer 1, 2017
Wydawca: Lipics

Book chapters (7)
Convex Language Semantics for Nondeterministic Probabilistic Automata (odnośnik otworzy się w nowym oknie)

Autorzy: Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
Opublikowane w: Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Numer 11187, 2018, Strona(/y) 472-492, ISBN 978-3-030-02507-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-02508-3_25

Constraint-Based Synthesis of Coupling Proofs (odnośnik otworzy się w nowym oknie)

Autorzy: Aws Albarghouthi, Justin Hsu
Opublikowane w: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Numer 10981, 2018, Strona(/y) 327-346, ISBN 978-3-319-96144-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-96145-3_18

Learning to Coordinate (odnośnik otworzy się w nowym oknie)

Autorzy: Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva
Opublikowane w: It's All About Coordination, Numer 10865, 2018, Strona(/y) 139-159, ISBN 978-3-319-90088-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-90089-6_10

SDN-Actors: Modeling and Verification of SDN Programs (odnośnik otworzy się w nowym oknie)

Autorzy: Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva
Opublikowane w: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, Numer 10951, 2018, Strona(/y) 550-567, ISBN 978-3-319-95581-0
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-95582-7_33

An Assertion-Based Program Logic for Probabilistic Programs (odnośnik otworzy się w nowym oknie)

Autorzy: Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Opublikowane w: Programming Languages and Systems, Numer 10801, 2018, Strona(/y) 117-144, ISBN 978-3-319-89883-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-89884-1_5

Layer by Layer – Combining Monads (odnośnik otworzy się w nowym oknie)

Autorzy: Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
Opublikowane w: Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Numer 11187, 2018, Strona(/y) 153-172, ISBN 978-3-030-02507-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-02508-3_9

Concurrent Kleene Algebra: Free Model and Completeness (odnośnik otworzy się w nowym oknie)

Autorzy: Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
Opublikowane w: Programming Languages and Systems, Numer 10801, 2018, Strona(/y) 856-882, ISBN 978-3-319-89883-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-89884-1_30

Wyszukiwanie danych OpenAIRE...

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

Brak wyników

Udostępnij tę stronę Udostępnij tę stronę w mediach społecznościowych

Pobierz Pobierz zawartość strony

Ostatnia aktualizacja: 1 Września 2025

Moja broszura

Permalink: https://cordis.europa.eu/project/id/679127/results/pl

European Union, 2025

Moja broszura 0 0