德jvuth Suwimonterabuth
人员信息
优化列表
2010 – 2019
2010 【c7】 德jvuth Suwimonterabuth :
在SPKI/SDI中计算最小高度证书树。 IICS公司 2010 : 340-349
2000 – 2009
2009 【b1】 德jvuth Suwimonterabuth :
下推系统中的可达性:算法和应用。 德国慕尼黑技术大学, 2009 ,第1-167页 2008 【c6】 德jvuth Suwimonterabuth , 哈维尔·埃斯帕尔扎 , 斯特凡·施温 :
多线程Java程序的符号上下文分析。 自旋蛋白 2008 : 270-287 [c5] 艾哈迈德·布阿贾尼 , 哈维尔·埃斯帕尔扎 , 斯特凡·施温 , Dejvuth苏维蒙特拉巴斯 :
SDSIrep:基于SDSI的声誉系统。 TACAS公司 2008 : 501-516 2007 【c4】 德jvuth Suwimonterabuth , 费利克斯·伯杰 , 斯特凡·施温 , 哈维尔·埃斯帕尔扎 :
jMoped:Java程序的测试环境。 腔静脉 2007 : 164-167 2006 【c3】 Dejvuth苏维蒙特拉巴斯 , 斯特凡·施温 , 哈维尔·埃斯帕尔扎 :
交替下推系统的有效算法及其在证书链计算中的应用。 ATVA公司 2006 : 141-153 2005 【c2】 德jvuth Suwimonterabuth , 斯特凡·施温 , 哈维尔·埃斯帕尔扎 :
jMoped:基于Moped的Java字节码检查器。 TACAS公司 2005 : 541-545 2002 【c1】 德jvuth Suwimonterabuth , Prabhas Chongstitvatana公司 :
在线机器人通过奖励和惩罚学习移动机器人。 IROS公司 2002 : 921-926