克劳斯·特埃利格

（照片）

我目前正在处理公正构建.我在工作巴泽尔和上的甘尼特语.2011年之前，我在工作在学术界(从属关系,个人简历). 我愿意接受新的机会。该页面主要包含演讲和学术出版物。要联系我，请使用我的私人电子邮件地址aehlig@linta.de.（gpg键：DD3EF963991F1EC2）

最新出版物

资源感知ML.具有扬·霍夫曼和马丁·霍夫曼.CAV 12的工具文件。围兜(代码)
通过Worldline的Casimir部队数字与Helge Dietert、Thomas Fischbacher和Jochen Gerhard合作。arXiv:1110.5936
多元摊销资源分析具有扬·霍夫曼和马丁·霍夫曼.2011年波普尔.(代码, 更新版本：2011,2012,在线演示,围兜)
A类杂志版本出现在ACM TOPLAS中。
并行时间和证明复杂性(pdf格式)生活习惯chrift在里面信息学(理论小组);提交的文件,证明书.委员会是马丁·霍夫曼,威尔弗里德·巴赫霍尔茨,斯蒂芬·库克.
…更多出版物,出版物清单,DBLP公司

教学

目前没有
…以前的教学,课程和其他注意事项

其他

各种节目.
随机技术注释.
一些随机事实关于我自己。
我的旅行计划.
乳臭虫
有照片在网上谈论我自己。