Ramana Kumar
发表
Thibault Gauthier,
Cezary Kaliszyk,
Josef Urban,
2018,
Journal of Automated Reasoning.
Ramana Kumar,
Shane Legg,
Tom Everitt,
2020,
ArXiv.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2020,
Journal of Automated Reasoning.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2017,
Proc. ACM Program. Lang..
Ramana Kumar,
Shane Legg,
Tom Everitt,
2020,
ArXiv.
Ramana Kumar,
Magnus O. Myreen,
Scott Owens,
2016,
J. Autom. Reason..
Ramana Kumar,
Shane Legg,
Tom Everitt,
2019,
AISafety@IJCAI.
Ramana Kumar,
Magnus O. Myreen,
Thomas Tuerk,
2015,
ITP.
Ramana Kumar,
Magnus O. Myreen,
2018,
ArXiv.
Toby Murray,
Ramana Kumar,
Gerwin Klein,
2016
.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2016,
ICFP.
Ramana Kumar,
Magnus O. Myreen,
Hugo Férée,
2018,
VSTTE.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2019,
PLDI.
Ramana Kumar,
Magnus O. Myreen,
Yong Kiam Tan,
2017,
CPP.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2014,
POPL.
Ramana Kumar,
Tjark Weber,
Ramana Kumar,
2011,
ITP.
Ramana Kumar,
Benja Fallenstein,
2015,
ITP.
Thibault Gauthier,
Cezary Kaliszyk,
Josef Urban,
2018,
ArXiv.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2019,
Journal of Functional Programming.
Ramana Kumar,
2012
.
Ramana Kumar,
Magnus O. Myreen,
Scott Owens,
2014,
ITP.
Ramana Kumar,
Scott Owens,
Yong Kiam Tan,
2015,
IFL '15.
Ramana Kumar,
Magnus O. Myreen,
Scott Owens,
2013,
ITP.
Ramana Kumar,
Ramana Kumar,
2016
.
Ramana Kumar,
Po-Sen Huang,
Pushmeet Kohli,
2019
.
Ramana Kumar,
Magnus O. Myreen,
Scott Owens,
2016,
ESOP.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2018,
IJCAR.
Ramana Kumar,
2013,
PxTP@CADE.
Ramana Kumar,
Michael Norrish,
Dirk Pattinson,
2018,
VSTTE.
Ramana Kumar,
Joe Hurd,
2012,
ITP.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2017,
ESOP.
Ramana Kumar,
Michael Norrish,
2010,
ITP.
Christos Zamantzas,
Bernd Dehning,
Ramana Kumar,
2011,
FMICS.
Ramana Kumar,
Yutaka Nagashima,
Yutaka Nagashima,
2016,
CADE.
Ramana Kumar,
Magnus O. Myreen,
Zachary Tatlock,
2018,
ITP.