简·雷克
研究兴趣
出版物
线性循环的排名模板 ,英寸 TACAS 2014年 和马蒂亚斯·海兹曼一起。 多项式Lasso程序的综合 ,英寸 2014年VMCAI 和Ashish Tiwari一起。 实验的源代码 线性拉索规划的线性排序 ,英寸 ATVA 2013年 与马蒂亚斯·海兹曼(Matthias Heizmann)、乔森·霍尼克(Jochen Hoenicke)和安德烈亚斯·波德尔斯基(Andreas Podelski)合作。
论文
线性Lasso程序的秩函数综合 硕士论文。 弗赖堡大学,2013年。 VPL交叉口空 。学士学位论文。 弗莱堡大学,2010年。
工具
拉索排名 和马蒂亚斯·海兹曼一起。