Login / Signup
Ivan Kovác
Publication Activity (10 Years)
Years Active: 2014-2018
Publications (10 Years): 1
Top Topics
Small Size
Maximum Number
Standard Deviation
Finite State Machines
Top Venues
Int. J. Found. Comput. Sci.
DLT
MFCS (2)
</>
Publications
</>
Maria Paola Bianchi
,
Juraj Hromkovic
,
Ivan Kovác
On the Size of Two-Way Reasonable Automata for the Liveness Problem.
Int. J. Found. Comput. Sci.
29 (2) (2018)
Maria Paola Bianchi
,
Juraj Hromkovic
,
Ivan Kovác
On the Size of Two-Way Reasonable Automata for the Liveness Problem.
DLT
(2015)
Ivan Kovác
,
Ivana Selecéniová
,
Monika Steinová
On the Clique Editing Problem.
MFCS (2)
(2014)