Tomasz Brengos

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 7

Top Topics

Visual Recognition

Internal And External

Relational Algebra

Top Venues

Log. Methods Comput. Sci.

J. Log. Algebraic Methods Program.

Publications

Tomasz Brengos
A coalgebraic take on regular and ω-regular behaviours. Log. Methods Comput. Sci. 17 (4) (2021)
Tomasz Brengos, Marco Peressotti
Behavioural equivalences for timed systems. Log. Methods Comput. Sci. 15 (1) (2019)
Tomasz Brengos, Marco Peressotti
Two modes of recognition: algebra, coalgebra, and languages. CoRR (2019)
Tomasz Brengos
A coalgebraic take on regular and $ω$-regular behaviours. CoRR (2019)
Tomasz Brengos
A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves. CONCUR (2018)
Tomasz Brengos, Marco Peressotti
A Uniform Framework for Timed Automata and Beyond. CoRR (2017)
Tomasz Brengos, Marco Peressotti
A Uniform Framework for Timed Automata. CONCUR (2016)
Tomasz Brengos
Weak bisimulation for coalgebras over order enriched monads. Log. Methods Comput. Sci. 11 (2) (2015)
Tomasz Brengos, Marino Miculan, Marco Peressotti
Behavioural equivalences for coalgebras with unobservable moves. J. Log. Algebraic Methods Program. 84 (6) (2015)
Tomasz Brengos
On Coalgebras with Internal Moves. CMCS (2014)
Tomasz Brengos
On coalgebras with internal moves. CoRR (2014)
Tomasz Brengos
Lax Kleisli-valued presheaves and coalgebraic weak bisimulation. CoRR (2014)
Tomasz Brengos, Marino Miculan, Marco Peressotti
Behavioural equivalences for coalgebras with unobservable moves. CoRR (2014)
Tomasz Brengos
Weak Bisimulations for Coalgebras over Ordered Functors. IFIP TCS (2012)