Jiří Šimáček

Available identifiers

zbMath Open simacek.jiriMaRDI QIDQ2441714

List of research outcomes

Publication	Date of Publication	Type
Optimizing an LTS-simulation algorithm	2017-03-29	Paper
Forest automata for verification of heap manipulation	2014-03-28	Paper
The tree width of separation logic with recursive definitions	2013-06-14	Paper
VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata	2012-06-29	Paper
Efficient inclusion checking on explicit and semi-symbolic tree automata	2011-10-07	Paper
Two power-decreasing derivation restrictions in generalized scattered context grammars	2009-03-19	Paper

Research outcomes over time

This page was built for person: Jiří Šimáček