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

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

POPL 2018-profile
View general profile