克莱门特·奥伯特
人员信息
附属: 美国奥古斯塔大学计算机与网络科学学院 隶属关系(以前): 美国阿巴拉契亚州立大学计算机科学系
SPARQL查询
优化列表
2020年–今天
2024 [j6] 克莱门特·奥伯特 :
(可逆)并发计算中并发的正确性。 J.日志。 代数方法课程。 136 : 100924 ( 2024 ) 2023 [第17条] 克莱门特·奥伯特 , 托马斯·鲁比亚诺 , Neea Rusch公司 , 托马斯·塞勒 :
pymwp:确定多项式增长界限的静态分析器。 ATVA公司 2023 : 263-275 [第16条] 克莱门特·奥伯特 :
可逆并行演算中的复制。 钢筋混凝土 2023 : 15-23 [第15条] 克莱门特·奥伯特 , 彼得·布朗宁 :
可逆分布式微积分的实现。 钢筋混凝土 2023 : 210-217 [第14条] 克莱门特·奥伯特 , 托马斯·卢比亚诺 , Neea Rusch公司 , 托马斯·塞勒 :
非标准回路的分配和并联。 VMCAI公司 2023 : 1-24 [电子2] 克莱门特·奥伯特 , 辛齐亚·迪·朱斯托 , 西蒙·福勒 , 拉里萨·萨芬娜 :
《第16届交互与并发体验会议录》,ICE 2023,葡萄牙里斯本,2023年6月19日。 EPTCS系统 383, 2023 [目录] 2022 [j5] 克莱门特·奥伯特 , 丹尼尔·瓦拉卡 :
针对测试的过程:定义上下文等效性。 J.日志。 代数方法课程。 129 : 100799 ( 2022 ) [第13条] 克莱门特·奥伯特 , 罗斯·霍恩 , 克里斯蒂安·约翰森 :
安全钻石:应用Pi-Calculus的非交互操作语义。 CONCUR公司 2022 : 30:1-30:26 [第12条] 克莱门特·奥伯特 , E.安德鲁·巴拉斯 , 蒂芬妮·汤森 , 诺亚睡眠者 , C.J.Tran公司 :
生物医学研究杰出生产力研究的数据集成。 CRIS公司 2022 : 196-200 [第11条] 克莱门特·奥伯特 , 托马斯·鲁比亚诺 , Neea Rusch公司 , 托马斯·塞勒 :
mwp-分析改进与实现:实现隐式计算复杂性。 金融稳定与发展部 2022 : 26:1-26:23 [第10条] 克莱门特·奥伯特 :
可逆并发计算中的并发。 钢筋混凝土 2022 : 146-163 【c9】 克莱门特·奥伯特 , 罗斯·霍恩 , 克里斯蒂安·约翰森 :
关于不相交应用π-演算的持续时间和因果关系的互模拟。 快递/SOS 2022 : 3-22 [电子1] 克莱门特·奥伯特 , 辛齐亚·迪·朱斯托 , 拉里萨·萨芬娜 , 阿尔切斯特·斯卡拉斯 :
《第15届交互与并发体验会议录》,ICE 2022,意大利卢卡,2022年6月17日。 EPTCS系统 365, 2022 [目录] [i19] 克莱门特·奥伯特 , 托马斯·鲁比亚诺 , Neea Rusch公司 , 托马斯·塞勒 :
mwp-分析改进与实现:实现隐式计算复杂性。 CoRR公司 abs/2203.03943 ( 2022 ) [i18] 克莱门特·奥伯特 , 托马斯·鲁比亚诺 , Neea Rusch公司 , 托马斯·塞勒 :
实现隐式计算复杂性。 CoRR公司 abs/2203.05221 ( 2022 ) [i17] 克莱门特·奥伯特 , 托马斯·鲁比亚诺 , Neea Rusch公司 , 托马斯·塞勒 :
受隐式计算复杂性启发的一种新的环路裂变技术。 CoRR公司 abs/2206.08760 ( 2022 ) 2021 【c8】 克莱门特·奥伯特 , Doriana Medic公司 :
可逆并行微积分中的显式标识符和上下文。 钢筋混凝土 2021 : 144-162 【c7】 克莱门特·奥伯特 , 丹尼尔·瓦拉卡 :
过程、系统和测试:并行计算的三个层次。 内燃机 2021 : 1-21 [i16] 克莱门特·奥伯特 , Doriana Medic公司 :
在可逆并行微积分中启用复制和上下文。 CoRR公司 abs/2103.15623 ( 2021 ) 【i15】 克莱门特·奥伯特 , 托马斯·鲁比亚诺 , Neea Rusch公司 , 托马斯·塞勒 :
扩展且更实用的mwp流量分析。 CoRR公司 腹肌/2107.00086 ( 2021 ) [第14条] 克莱门特·奥伯特 , 托马斯·鲁比亚诺 , Neea Rusch公司 , 托马斯·塞勒 :
用于复杂性分析的流演算的实现(工具文件)。 CoRR公司 资产负债表/2107.00097 ( 2021 ) [i13] 克莱门特·奥伯特 :
可逆并发演算中的因果一致复制。 CoRR公司 abs/2110.12697 ( 2021 ) 2020 【c6】 克莱门特·奥伯特 , Ioana Cristescu公司 :
可逆性如何解决传统问题:遗传历史-保留相互模拟的例子。 CONCUR公司 2020 : 7:1-7:23 [i12] 克莱门特·奥伯特 , Ioana Cristescu公司 :
可逆性如何解决传统问题:遗传历史-保留相互模拟的例子。 CoRR公司 abs/2005.06814 ( 2020 ) [i11] 克莱门特·奥伯特 , Ioana Cristescu公司 :
通信系统可逆微积分的结构等价性(口语通信)。 CoRR公司 abs/2005.06818 ( 2020 )
2010 – 2019
2019 [i10] 克莱门特·奥伯特 :
我和你的分类? CoRR公司 腹肌/1910.05172 ( 2019 ) 2018 【j4】 克莱门特·奥伯特 , 马克·巴格诺尔 :
统一与对数空间。 日志。 方法计算。 科学。 14 ( 三 ) ( 2018 ) [第九章] 克莱门特·奥伯特 , Ioana Cristescu公司 :
通信系统可逆演算的历史-保留互模拟。 CoRR公司 abs/1804.10355 ( 2018 ) [i8] 克莱门特·奥伯特 , 马克·巴格诺尔 :
统一与对数空间。 CoRR公司 abs/1805.11988 ( 2018 ) 2017 [j3] 克莱门特·奥伯特 , Ioana Cristescu公司 :
配置结构和可逆性中的上下文等效性。 J.日志。 代数方法课程。 86 ( 1 ) : 77-106 ( 2017 ) 2016 [注2] 克莱门特·奥伯特 , 托马斯·塞勒 :
对数空间和排列。 Inf.计算。 248 : 2-21 ( 2016 ) [j1] 克莱门特·奥伯特 , 托马斯·塞勒 :
通过群体行动表征co-NL。 数学。 结构。 计算。 科学。 26 ( 4 ) : 606-638 ( 2016 ) [c5] 克莱门特·奥伯特 , 马克·巴格诺尔 , 托马斯·塞勒 :
一元分辨率:表征Ptime。 FoSSaCS公司 2016 : 373-389 2015 【c4】 克莱门特·奥伯特 , Ioana Cristescu公司 :
构型结构上的可逆倒钩同余。 内燃机 2015 : 68-85 [i7] 克莱门特·奥伯特 , 马克·巴格诺尔 , 托马斯·塞勒 :
一元逻辑编程记忆:PTIME特征。 CoRR公司 abs/1501.05104 ( 2015 ) [i6] 克莱门特·奥伯特 :
介于“隐式”和“显式”之间的复杂性:自动机。 CoRR公司 abs/1502.00145 ( 2015 ) [i5] 克莱门特·奥伯特 , Ioana Cristescu公司 :
构型结构和可逆性中的上下文等价性。 CoRR公司 abs/1511.05750 ( 2015 ) 2014 【c3】 克莱门特·奥伯特 , 马克·巴格诺尔 , 保罗·皮斯托内 , 托马斯·塞勒 :
逻辑程序设计与对数空间。 阿普拉斯 2014 : 39-57 【c2】 克莱门特·奥伯特 , 马克·巴格诺尔 :
统一与对数空间。 RTA-薄层色谱分析 2014 : 77-92 [i4] 克莱门特·奥伯特 , 马克·巴格诺尔 :
统一与对数空间。 CoRR公司 abs/1402.4327 ( 2014 ) [i3] 克莱门特·奥伯特 , 马克·巴格诺尔 , 保罗·皮斯通 , 托马斯·塞勒 :
逻辑程序设计与对数空间。 CoRR公司 腹肌/1406.2110 ( 2014 ) 2013 【b1】 克莱门特·奥伯特 :
线性逻辑和复杂性的次多项式类。 (Logique linéaire et classes de complexitésous-多项式)。 巴黎13大学,Villetaneuse,Saint-Denis,Bobigny,France, 2013 [i2] 托马斯·塞勒 , 克莱门特·奥伯特 :
对数空间和排列。 CoRR公司 abs/1301.3189 ( 2013 ) 2012 [i1] 克莱门特·奥伯特 , 托马斯·塞勒 :
通过群体行动表征co-NL。 CoRR公司 abs/1209.3422 ( 2012 ) 2011 【c1】 克莱门特·奥伯特 :
亚对数统一布尔证明网。 DICE标准 2011 : 15-27