Compositional Approximate Reasoning via Bialgebraic Semantics

Informations projet

CARBS

N° de convention de subvention: 795119

DOI

10.3030/795119

Projet clôturé

Date de signature de la CE 13 Avril 2018

Date de début 1 Février 2019

Date de fin 31 Janvier 2020

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 91 727,40

Contribution de l’UE

€ 91 727,40

Coordonné par

UNIVERSITY COLLEGE LONDON
United Kingdom

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

Book chapters (2)

Up-to Techniques for Branching Bisimilarity

Auteurs: Rick Erkens, Jurriaan Rot, Bas Luttik
Publié dans: SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings, Numéro 12011, 2020, Page(s) 285-297, ISBN 978-3-030-38918-5
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-38919-2_24

Completeness and Incompleteness of Synchronous Kleene Algebra

Auteurs: Jana Wagemaker, Marcello Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Publié dans: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings, Numéro 11825, 2019, Page(s) 385-413, ISBN 978-3-030-33635-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-33636-3_14

Conference proceedings (5)

Learning Weighted Automata over Principal Ideal Domains

Auteurs: Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
Publié dans: Accepted for publication in proceedings FoSSaCS 2020 (to appear), 2020
Éditeur: Springer

Kleene Algebra with Observations

Auteurs: Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Publié dans: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands, Numéro 140, 2019, Page(s) 41:1--41:16
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.concur.2019.41

Expressive Logics for Coinductive Predicates

Auteurs: Clemens Kupke, Jurriaan Rot
Publié dans: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Numéro 152, 2020, Page(s) 26:1--26:18
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2020.26

Tree Automata as Algebras: Minimisation and Determinisation

Auteurs: van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Sammartino, Matteo; Silva, Alexandra
Publié dans: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom, Numéro 139, 2019, Page(s) 6:1--6:22
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPIcs.CALCO.2019.6

Separation and Renaming in Nominal Sets

Auteurs: Moerman, Joshua; Rot, Jurriaan
Publié dans: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Numéro 152, 2020, Page(s) 31:1--31:17
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2020.31