约钦·艾辛格
人员信息
优化列表
2010 – 2019
2018 [j4] 乌兰·德根巴耶夫 , 约钦·艾辛格 , 肯塔罗·哈拉 , 马塞尔·赫洛普科 , 迈克尔·利普茨(Michael Lippautz) , 汉内斯·佩耶 :
跨组件垃圾收集。 程序。 ACM计划。 语言。 2 ( OOPSLA公司 ) : 151:1-151:24 ( 2018 ) 2016 [j3] 乌兰·德根巴耶夫 , 约钦·艾辛格 , 曼弗雷德·恩斯特 , 罗斯·麦克罗伊 , 汉内斯·佩耶 :
空闲时间垃圾收集计划。 公社。 ACM公司 59 ( 10 ) : 34-39 ( 2016 ) [注2] 乌兰·德根巴耶夫 , 约钦·艾辛格 , 曼弗雷德·恩斯特 , 罗斯·麦克罗伊 , 汉内斯·佩耶 :
空闲时间垃圾收集计划。 ACM队列 14 ( 三 ) : 70 ( 2016 ) [第10条] 乌兰·德根巴耶夫 , 约钦·艾辛格 , 曼弗雷德·恩斯特 , 罗斯·麦克罗伊 , 汉内斯·佩耶 :
空闲时间垃圾收集计划。 PLDI公司 2016 : 570-583 2014 【c9】 约钦·艾辛格 :
Die Menge aller gültigen Festschriften:Ein automatenbasierter Ansatz。 技术信息方面 2014 : 3-4 2010 【c8】 赵岩 , 马克·格林斯特雷特 , 约钦·艾辛格 :
仲裁电路的形式验证。 ASYNC公司 2010 : 165-175
2000 – 2009
2009 【b1】 约钦·艾辛格 :
Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition公司。 弗莱堡大学, 2009 2008 [j1] 约钦·艾辛格 , 费利克斯·克莱特克 :
不要把应用程序中的单词放在基于自动机的方法中进行真正的加法。 形式方法系统。 设计。 33 ( 1-3 ) : 85-115 ( 2008 ) 【c7】 约钦·艾辛格 :
整数、混合实数和整数线性算法的自动机大小上限(扩展抽象)。 CSL公司 2008 : 431-445 2007 【c6】 克里斯蒂安·达克斯 , 约钦·艾辛格 , 费利克斯·克莱特克 :
限制类别的发电机组施工机械化 欧米茄 -自动化。 ATVA公司 2007 : 223-236 【c5】 伯恩德·贝克尔 , 克里斯蒂安·达克斯 , 约钦·艾辛格 , 费利克斯·克莱特克 :
LIRA:处理线性算术对整数和实数的约束。 CAV汽车 2007 : 307-310 2006 【c4】 约钦·艾辛格 , 费利克斯·克莱特克 :
将单词应用于基于自动机的实加法时,不要在意单词。 CAV汽车 2006 : 67-80 【c3】 约钦·艾辛格 , 伊利亚·波利安 , 伯恩德·贝克尔 , 亚历山大·梅茨纳 , 斯蒂芬·塞辛 , 莱因哈德·威廉姆 :
周期准确最坏情况执行时间分析中定时异常的自动识别。 DDECS公司 2006 : 15-20 [c2] Jan Reineke公司 , 比约恩·瓦赫特 , 斯蒂芬·塞辛 , 莱因哈德·威廉姆 , 伊利亚·波利安 , 约钦·艾辛格 , 伯恩德·贝克尔 :
定时异常的定义和分类。 WCET公司 2006 2005 【c1】 约钦·艾辛格 , 彼得·温特勒 , 伯恩德·贝克尔 :
在大学环境中保护无线网络。 PerCom研讨会 2005 : 312-316