Maksym Labzhaniia

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 4

Top Topics

Linear Constraints

Distributed Object

Constraint Solving

Global Knowledge

Top Venues

ICTERI (Revised Selected Papers)

ICTERI Workshops

Publications

Grygoriy Zholtkevych, Maksym Labzhaniia
Understanding Clock Constraints Coalgebraically. ICTERI Workshops (2020)
Grygoriy Zholtkevych, Maksym Labzhaniia
Coalgebraic Approach to Studying Discrete Systems with Output - The General and Distributed Cases. ICTERI (Revised Selected Papers) (2020)
Grygoriy Zholtkevych, Maksym Labzhaniia
Understanding Safety Constraints Coalgebraically. CoRR (2020)
Grygoriy Zholtkevych, Maksym Labzhaniia
Understanding Safety Constraints Coalgebraically. COLINS (2020)