Ondrej Kuncar
发表
Ondrej Kuncar,
2015,
CPP.
Andrei Popescu,
Ondrej Kuncar,
Ondrej Kuncar,
2017,
Proc. ACM Program. Lang..
Ondrej Kuncar,
2016
.
Brian Huffman,
Ondrej Kuncar,
Ondrej Kuncar,
2013,
CPP.
Andrei Popescu,
Ondrej Kuncar,
Ondrej Kuncar,
2015,
Journal of Automated Reasoning.
Andrei Popescu,
Ondrej Kuncar,
2016,
ITP.
Andrei Popescu,
Ondrej Kuncar,
Ondrej Kuncar,
2017,
ESOP.
Andrei Popescu,
Ondrej Kuncar,
2018,
Journal of Automated Reasoning.
Tobias Nipkow,
Ondrej Kuncar,
Alexander Krauss,
2013,
ITP.
Ondrej Kuncar,
Ondrej Kuncar,
2011,
ITP.
Andrei Popescu,
Ondrej Kuncar,
2015,
ITP.
Jose Divasón,
René Thiemann,
Ondrej Kuncar,
2016,
Arch. Formal Proofs.
Jose Divasón,
Sebastiaan J. C. Joosten,
René Thiemann,
2018,
CPP.
Andrei Popescu,
Johannes Hölzl,
René Thiemann,
2017,
FroCoS.