Tobias Kappé

From MaRDI portal
Person:1734518

Available identifiers

zbMath Open kappe.tobiasMaRDI QIDQ1734518

List of research outcomes





PublicationDate of PublicationType
Probabilistic guarded KAT Modulo bisimilarity: completeness and complexity2024-11-14Paper
A complete inference system for skip-free guarded Kleene algebra with tests2023-11-24Paper
Completeness and the finite model property for Kleene algebra, reconsidered2023-08-17Paper
Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks2023-08-03Paper
https://portal.mardi4nfdi.de/entity/Q58753462023-02-03Paper
https://portal.mardi4nfdi.de/entity/Q58754032023-02-03Paper
A categorical framework for learning generalised tree automata2022-12-07Paper
https://portal.mardi4nfdi.de/entity/Q50892852022-07-18Paper
Learning pomset automata2021-10-18Paper
https://portal.mardi4nfdi.de/entity/Q51556812021-10-08Paper
Learning to coordinate2021-06-03Paper
Concurrent Kleene algebra with observations: from hypotheses to completeness2020-09-23Paper
https://portal.mardi4nfdi.de/entity/Q51116392020-05-27Paper
Completeness and incompleteness of synchronous Kleene algebra2020-05-05Paper
Concurrent Kleene algebra: free model and completeness2019-09-13Paper
On series-parallel pomset languages: rationality, context-freeness and automata2019-03-27Paper

Research outcomes over time

This page was built for person: Tobias Kappé

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1734518&oldid=6352039"
Powered by MediaWiki