List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| DyNetKAT: an algebra of dynamic networks Lecture Notes in Computer Science | 2024-01-23 | Paper |
| Explaining safety failures in NetKAT Journal of Logical and Algebraic Methods in Programming | 2021-08-03 | Paper |
| scientific article; zbMATH DE number 7318985 (Why is no real title available?) | 2021-03-10 | Paper |
| scientific article; zbMATH DE number 7318985 (Why is no real title available?) (available as arXiv preprint) | 2021-03-10 | Paper |
| A coalgebraic view on decorated traces Mathematical Structures in Computer Science | 2017-04-03 | Paper |
| Final semantics for decorated traces Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
| Expression-Based Aliasing for OO–languages Communications in Computer and Information Science | 2016-01-06 | Paper |
| Patterns for Maude metalanguage applications Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
| Brzozowski's and up-to algorithms for must testing Programming Languages and Systems | 2015-01-12 | Paper |
| CIRC: A Behavioral Verification Tool Based on Circular Coinduction Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
| PREG axiomatizer -- a ground bisimilarity checker for GSOS with predicates Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
| A Decision Procedure for Bisimilarity of Generalized Regular Expressions Lecture Notes in Computer Science | 2011-05-12 | Paper |
Research outcomes over time
This page was built for person: Georgiana Caltais
