Name Card

Full name Familienname, Vorname
Vojnar, Tomáš
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Holik-2022-Low-Level Bi-Abduction-vor.pdf.jpgHolík, Lukáš ; Peringer, Petr ; Rogalewicz, Adam ; Šoková, Veronika ; Vojnar, Tomáš ; Zuleger, Florian Low-Level Bi-AbductionInproceedings Konferenzbeitrag 23-Jun-2022
2Fiedor Tomas - 2018 - From Shapes to Amortized Complexity.pdf.jpgFiedor, Tomáš ; Holík, Lukáš ; Rogalewicz, Adam ; Sinn, Moritz ; Vojnar, Tomáš ; Zuleger, Florian From Shapes to Amortized ComplexityInproceedings Konferenzbeitrag 2018