Tomáš Vojnar - POPL 2018

Registered user since Mon 2 Nov 2015

Name: Tomáš Vojnar

Affiliation: Brno University of Technology

Personal website: www.fit.vutbr.cz/~vojnar

Contributions

VMCAI 2018	From Shapes to Amortized Complexity
POPL 2018	String Constraints with Concatenation and Transducers Solved Efficiently String Constraints with Concatenation and Transducers Solved Efficiently
Show activities from other conferences