Tomasz Brengos

14 papers B 2Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2021 J jnl
A coalgebraic take on regular and ω-regular behaviours.
Log. Methods Comput. Sci.
Tomasz Brengos
2019 J jnl
A coalgebraic take on regular and $ω$-regular behaviours.
CoRR
Tomasz Brengos
2019 J jnl
Behavioural equivalences for timed systems.
Log. Methods Comput. Sci.
Tomasz Brengos, Marco Peressotti
2019 J jnl
Two modes of recognition: algebra, coalgebra, and languages.
CoRR
Tomasz Brengos, Marco Peressotti
2018 B conf
A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves.
CONCUR
Tomasz Brengos
2017 J jnl
A Uniform Framework for Timed Automata and Beyond.
CoRR
Tomasz Brengos, Marco Peressotti
2016 B conf
A Uniform Framework for Timed Automata.
CONCUR
Tomasz Brengos, Marco Peressotti
2015 J jnl
Behavioural equivalences for coalgebras with unobservable moves.
J. Log. Algebraic Methods Program.
Tomasz Brengos, Marino Miculan, Marco Peressotti
2015 J jnl
Weak bisimulation for coalgebras over order enriched monads.
Log. Methods Comput. Sci.
Tomasz Brengos
2014 J jnl
Behavioural equivalences for coalgebras with unobservable moves.
CoRR
Tomasz Brengos, Marino Miculan, Marco Peressotti
2014 J jnl
Lax Kleisli-valued presheaves and coalgebraic weak bisimulation.
CoRR
Tomasz Brengos
2014 — conf
On Coalgebras with Internal Moves.
CMCS
Tomasz Brengos
2014 J jnl
On coalgebras with internal moves.
CoRR
Tomasz Brengos
2012 — conf
Weak Bisimulations for Coalgebras over Ordered Functors.
IFIP TCS
Tomasz Brengos