POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Tomáš Vojnar
Tomáš Vojnar

Registered user since Mon 2 Nov 2015

Name:Tomáš Vojnar
Affiliation:Brno University of Technology
Personal website:www.fit.vutbr.cz/~vojnar

Contributions

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

POPL 2018-profile
View general profile