Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Compositional Approximate Reasoning via Bialgebraic Semantics

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

Up-to Techniques for Branching Bisimilarity (opens in new window)

Author(s): Rick Erkens, Jurriaan Rot, Bas Luttik
Published in: 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, Issue 12011, 2020, Page(s) 285-297, ISBN 978-3-030-38918-5
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-38919-2_24

Completeness and Incompleteness of Synchronous Kleene Algebra (opens in new window)

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

Learning Weighted Automata over Principal Ideal Domains

Author(s): Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
Published in: Accepted for publication in proceedings FoSSaCS 2020 (to appear), 2020
Publisher: Springer

Kleene Algebra with Observations (opens in new window)

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

Expressive Logics for Coinductive Predicates (opens in new window)

Author(s): Clemens Kupke, Jurriaan Rot
Published in: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Issue 152, 2020, Page(s) 26:1--26:18
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2020.26

Tree Automata as Algebras: Minimisation and Determinisation (opens in new window)

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

Separation and Renaming in Nominal Sets (opens in new window)

Author(s): Moerman, Joshua; Rot, Jurriaan
Published in: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Issue 152, 2020, Page(s) 31:1--31:17
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2020.31

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available