Weak Bisimulations for Coalgebras over Ordered Functors. - Tomasz Brengos (IFIP TCS, 2012)

On Coalgebras with Internal Moves. - Tomasz Brengos (CMCS, 2014)

Lax Kleisli-valued presheaves and coalgebraic weak bisimulation. - Tomasz Brengos (CoRR, 2014)

Weak bisimulation for coalgebras over order enriched monads. - Tomasz Brengos (Log. Methods Comput. Sci., 2015)

Behavioural equivalences for coalgebras with unobservable moves. - Tomasz Brengos; Marino Miculan; Marco Peressotti (J. Log. Algebraic Methods Program., 2015)

A Uniform Framework for Timed Automata. - Tomasz Brengos; Marco Peressotti (CONCUR, 2016)

A Uniform Framework for Timed Automata and Beyond. - Tomasz Brengos; Marco Peressotti (CoRR, 2017)

A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves. - Tomasz Brengos (CONCUR, 2018)

Two modes of recognition: algebra, coalgebra, and languages. - Tomasz Brengos; Marco Peressotti (CoRR, 2019)

Behavioural equivalences for timed systems. - Tomasz Brengos; Marco Peressotti (Log. Methods Comput. Sci., 2019)

A coalgebraic take on regular and ω-regular behaviours. - Tomasz Brengos (Log. Methods Comput. Sci., 2021)