Thomas Dillig
发表
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2011,
POPL '11.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2009,
Formal Methods Syst. Des..
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2011,
PLDI '11.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2011,
CAV.
A. Aiken,
Isil Dillig,
Thomas Dillig,
2009
.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2012,
CAV.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2010,
SAS.
Isil Dillig,
Thomas Dillig,
2009
.
Thomas Dillig,
2011
.
NAVID YAGHMAZADEH,
YUEPENG WANG,
ISIL DILLIG,
2017,
Proc. ACM Program. Lang..
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2012,
PLDI.
Isil Dillig,
Thomas Dillig,
Yuepeng Wang,
2017,
ArXiv.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2008,
PLDI '08.
Isil Dillig,
Christos Gkantsidis,
Thomas Dillig,
2014,
PLDI.
Isil Dillig,
Swarat Chaudhuri,
Thomas Dillig,
2014,
CAV.
Isil Dillig,
Thomas Dillig,
Boyang Li,
2013,
OOPSLA.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2010,
ESOP.
Isil Dillig,
Thomas Dillig,
Alexander Aiken,
2007,
PASTE '07.
Isil Dillig,
Thomas Dillig,
Haiyan Zhu,
2013,
APLAS.
Isil Dillig,
Thomas Dillig,
Thomas Dillig,
2013,
CAV.
Isil Dillig,
Thomas Dillig,
Boyang Li,
2013,
International Journal on Software Tools for Technology Transfer.