Tomasz Brengos

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
scientific article; zbMATH DE number 7471684 (Why is no real title available?)	2022-02-09	Paper
A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves	2021-08-04	Paper
Behavioural equivalences for timed systems	2019-03-18	Paper
A uniform framework for timed automata	2018-03-21	Paper
Behavioural equivalences for coalgebras with unobservable moves Journal of Logical and Algebraic Methods in Programming	2015-11-10	Paper
On coalgebras with internal moves Advanced Information Systems Engineering	2015-09-11	Paper
Weak bisimulation for coalgebras over order enriched monads Logical Methods in Computer Science	2015-08-25	Paper
Weak bisimulations for coalgebras over ordered functors Lecture Notes in Computer Science	2012-09-21	Paper
Rigidity of unary algebras and its application to the \({\mathcal {HS} = \mathcal {SH}}\) problem Algebra Universalis	2011-05-11	Paper
The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras Algebra Universalis	2010-11-22	Paper
On covariety lattices Discussiones Mathematicae - General Algebra and Applications	2010-06-17	Paper

Research outcomes over time

This page was built for person: Tomasz Brengos