克里斯蒂安·克林格尔
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2010 – 2019
2019 【c3】 克里斯蒂安·克林格尔 , 玛丽亚·克里斯塔基斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
对程序分析器的可靠性和精度进行不同的测试。 ISSTA公司 2019 : 239-250 2018 [i1] 克里斯蒂安·克林格尔 , 玛丽亚·克里斯塔基斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
程序分析器的稳健性和精度差异测试。 CoRR公司 abs/1812.05033 ( 2018 ) 2016 【c2】 纳维德·雅格马扎德 , 克里斯蒂安·克林格尔 , 伊西尔·迪利格 , 斯瓦拉特·乔杜里 :
在层次结构数据上合成转换。 PLDI公司 2016 : 508-521
2000 – 2009
2000 【c1】 石原藤雄 , 克里斯蒂安·克林格尔 , 阿加瓦(Ken-ichi Agawa) :
300MHz 128位2路超标量微处理器的时钟设计。 ASP-DAC公司 2000 : 647-652
![](https://dblp.org/img/cog.dark.24x24.png)