A. Heinle
发表
I. Kotsireas,
K. Czarnecki,
Vijay Ganesh,
2018
.
A. Heinle,
2016
.
I. Kotsireas,
Vijay Ganesh,
Curtis Bright,
2017
.
A. Heinle,
V. Levandovskyy,
2016,
J. Symb. Comput..
Viktor Levandovskyy,
Albert Heinle,
A. Heinle,
2016,
ISSAC.
Krzysztof Czarnecki,
Ilias S. Kotsireas,
Curtis Bright,
2016,
Journal of Automated Reasoning.
Reinhold Burger,
Albert Heinle,
A. Heinle,
2014,
ArXiv.
J. Bell,
A. Heinle,
V. Levandovskyy,
2014,
1410.6178.
Viktor Levandovskyy,
Albert Heinle,
A. Heinle,
2013,
ArXiv.
Mark Giesbrecht,
Viktor Levandovskyy,
Albert Heinle,
2016,
J. Symb. Comput..
Mark Giesbrecht,
Viktor Levandovskyy,
Albert Heinle,
2014,
ISSAC.
Curtis Bright,
Vijay Ganesh,
Ilias Kotsireas,
2019,
J. Symb. Comput..
Ilias S. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2018,
ISSAC.
Krzysztof Czarnecki,
Ilias S. Kotsireas,
Curtis Bright,
2016,
SC²@SYNASC.