Martin Hruska

Run Forester, Run Backwards! - (Competition Contribution)

Lukás Holík, Tomás Vojnar, Ondrej Lengál, 2016, TACAS.

Counterexample Validation and Interpolation-Based Refinement for Forest Automata

Lukás Holík, Tomás Vojnar, Ondrej Lengál, 2017, VMCAI.

Theory versus practice at implementation of inquiry-based approaches into physics education

Miriam Spodniaková Pfefferová, Martin Hruska, Stanislav Holec, 2017 .

Forester: Shape Analysis Using Tree Automata - (Competition Contribution)

Lukás Holík, Tomás Vojnar, Ondrej Lengál, 2015, TACAS.

2LS: Heap Analysis and Memory Safety

Peter Schrammel, Tomás Vojnar, Viktor Malík, 2020, TACAS.

Forester: From Heap Shapes to Automata Predicates - (Competition Contribution)

Lukás Holík, Tomás Vojnar, Ondrej Lengál, 2017, TACAS.

Integrated Science through Computer-aided Experiments

Martin Hruska, Stanislav Holec, Jana Raganová, 2004, Informatics Educ..

Template-Based Verification of Heap-Manipulating Programs

Peter Schrammel, Tomás Vojnar, Viktor Malík, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).

Synaptic nanomodules underlie the organization and plasticity of spine synapses

Martin Hruska, M. Dalva, Haani Jafri, 2018, Nature Neuroscience.