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	Author of From Shapes to Amortized Complexity within the VMCAI 2018-track
POPL 2018	Author of String Constraints with Concatenation and Transducers Solved Efficiently within the Research Papers-track Author of String Constraints with Concatenation and Transducers Solved Efficiently within the Artifact Evaluation-track
Show activities from other conferences