EasyChair Smart SlideDocs/Log in
Author: Tomas Vojnar

This page shows all presentations of this author published in EasyChair Smart Slide.

Automata Terms in a Lazy WSkS Decision Procedure

Automata Terms in a Lazy WSkS Decision Procedure

Vojtěch Havlena, Lukas Holik, Ondrej Lengal and Tomas Vojnar

Template-Based Verification of Heap-Manipulating Programs

Template-Based Verification of Heap-Manipulating Programs

Viktor Malík, Martin Hruska, Peter Schrammel and Tomas Vojnar

Lazy Automata Techniques for WS1S

Lazy Automata Techniques for WS1S

Tomas Fiedor, Lukas Holik, Petr Janků, Ondrej Lengal and Tomas Vojnar

ADAC: Automated Design of Approximate Circuits

ADAC: Automated Design of Approximate Circuits

Milan Ceska, Jiri Matyas, Vojtech Mrazek, Lukas Sekanina, Zdenek Vasicek and Tomas Vojnar

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair