Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS
CORDIScovery podcast 50th episode CORDIScovery podcast 50th episode

Probabilistic Foundations for Networks

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (5)
Coalgebraic completeness-via-canonicity for distributive substructural logics (s’ouvre dans une nouvelle fenêtre)

Auteurs: Fredrik Dahlqvist, David Pym
Publié dans: Journal of Logical and Algebraic Methods in Programming, Numéro 93, 2017, Page(s) 1-22, ISSN 2352-2208
Éditeur: Elsevier
DOI: 10.1016/j.jlamp.2017.07.002

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic (s’ouvre dans une nouvelle fenêtre)

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

Proving expected sensitivity of probabilistic programs (s’ouvre dans une nouvelle fenêtre)

Auteurs: Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 2/POPL, 2017, Page(s) 1-29, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3158145

A coalgebraic treatment of conditional transition systems with upgrades (s’ouvre dans une nouvelle fenêtre)

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

Synthesizing coupling proofs of differential privacy (s’ouvre dans une nouvelle fenêtre)

Auteurs: Aws Albarghouthi, Justin Hsu
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 2/POPL, 2017, Page(s) 1-30, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3158146

Conference proceedings (15)
The Positivication of Coalgebraic Logics (s’ouvre dans une nouvelle fenêtre)

Auteurs: Fredrik Dahlqvist, Alexander Kurz
Publié dans: 2017, ISBN 978-3-95977-033-0
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CALCO.2017.9

CALF: Categorical Automata Learning Framework (s’ouvre dans une nouvelle fenêtre)

Auteurs: Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
Publié dans: 2017
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CSL.2017.29

On Decidability of Concurrent Kleene Algebra (s’ouvre dans une nouvelle fenêtre)

Auteurs: Paul Brunet, Damien Pous, Georg Struth
Publié dans: 2017
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2017.28

Reversible Kleene lattices (s’ouvre dans une nouvelle fenêtre)

Auteurs: Paul Brunet
Publié dans: 2017
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.MFCS.2017.66

Pointless learning (long version) (s’ouvre dans une nouvelle fenêtre)

Auteurs: Clerc, Florence; Danos, Vincent; Dahlqvist, Fredrik; Garnier, Ilias
Publié dans: Accepted to the 20th International Conference on Foundations of Software Science and Computation .. 2017, Numéro 1, 2017, Page(s) 355-369, ISBN 978-3-662-54458-7
Éditeur: Springer
DOI: 10.1007/978-3-662-54458-7_21

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (s’ouvre dans une nouvelle fenêtre)

Auteurs: Tobias Kappe, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Publié dans: 2017
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2017.25

Cantor meets scott: semantic foundations for probabilistic networks (s’ouvre dans une nouvelle fenêtre)

Auteurs: Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Publié dans: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017, 2017, Page(s) 557-571, ISBN 9781-450346603
Éditeur: ACM Press
DOI: 10.1145/3009837.3009843

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk) (s’ouvre dans une nouvelle fenêtre)

Auteurs: Alexandra Silva
Publié dans: 2017
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2017.3

Learning nominal automata (s’ouvre dans une nouvelle fenêtre)

Auteurs: Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michał Szynwelski
Publié dans: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017, 2017, Page(s) 613-625, ISBN 9781-450346603
Éditeur: ACM Press
DOI: 10.1145/3009837.3009879

The Power of Convex Algebras (s’ouvre dans une nouvelle fenêtre)

Auteurs: Filippo Bonchi, Alexandra Silva, Ana Sokolova
Publié dans: 2017
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2017.23

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages

Auteurs: Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
Publié dans: 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), Numéro 3, 2017
Éditeur: Lipics

Decision problems for Clark-congruential languages

Auteurs: Kanazawa, Makoto; Kappé, Tobias
Publié dans: Proceedings of Machine Learning Research, Numéro 1, 2018
Éditeur: Proceedings of Machine Learning Research

Borel Kernels and their Approximation, Categorically

Auteurs: Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Alexandra Silva
Publié dans: 2018
Éditeur: ENTCS

Almost Sure Productivity (s’ouvre dans une nouvelle fenêtre)

Auteurs: Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva
Publié dans: 2018
Éditeur: Lipics
DOI: 10.4230/LIPIcs.ICALP.2018.113

CALF: Categorical automata learning framework

Auteurs: Van Heerdt, G.; Sammartino, M.; Silva, A.
Publié dans: 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), Numéro 1, 2017
Éditeur: Lipics

Book chapters (7)
Convex Language Semantics for Nondeterministic Probabilistic Automata (s’ouvre dans une nouvelle fenêtre)

Auteurs: Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
Publié dans: Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Numéro 11187, 2018, Page(s) 472-492, ISBN 978-3-030-02507-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-02508-3_25

Constraint-Based Synthesis of Coupling Proofs (s’ouvre dans une nouvelle fenêtre)

Auteurs: Aws Albarghouthi, Justin Hsu
Publié dans: 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, Numéro 10981, 2018, Page(s) 327-346, ISBN 978-3-319-96144-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-96145-3_18

Learning to Coordinate (s’ouvre dans une nouvelle fenêtre)

Auteurs: Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva
Publié dans: It's All About Coordination, Numéro 10865, 2018, Page(s) 139-159, ISBN 978-3-319-90088-9
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-90089-6_10

SDN-Actors: Modeling and Verification of SDN Programs (s’ouvre dans une nouvelle fenêtre)

Auteurs: Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva
Publié dans: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, Numéro 10951, 2018, Page(s) 550-567, ISBN 978-3-319-95581-0
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-95582-7_33

An Assertion-Based Program Logic for Probabilistic Programs (s’ouvre dans une nouvelle fenêtre)

Auteurs: Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Publié dans: Programming Languages and Systems, Numéro 10801, 2018, Page(s) 117-144, ISBN 978-3-319-89883-4
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-89884-1_5

Layer by Layer – Combining Monads (s’ouvre dans une nouvelle fenêtre)

Auteurs: Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
Publié dans: Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Numéro 11187, 2018, Page(s) 153-172, ISBN 978-3-030-02507-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-02508-3_9

Concurrent Kleene Algebra: Free Model and Completeness (s’ouvre dans une nouvelle fenêtre)

Auteurs: Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
Publié dans: Programming Languages and Systems, Numéro 10801, 2018, Page(s) 856-882, ISBN 978-3-319-89883-4
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-89884-1_30

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Partager cette page Partager cette page sur les réseaux sociaux

Télécharger Télécharger le contenu de la page

Dernière mise à jour: 1 Septembre 2025

Mon livret

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

European Union, 2025

Mon livret 0 0