伊雷克·乌利多夫斯基
人员信息
附属: 英国莱斯特大学
优化列表
2020年–今天
2024 [公元22年] 伊万·拉内斯 , 伊恩·C·C·菲利普斯 , 伊雷克·乌利多夫斯基 :
可逆计算的公理理论。 ACM事务处理。 计算。 日志。 25 ( 2 ) : 11:1-11:40 ( 2024 ) 2023 [公元21年] 朱恒德 , 王伟(音译) , 伊雷克·乌利多夫斯基 , 周庆华 , 王水华 , 陈华峰 , 张玉东 :
MEEDNets:通过集成生物灵感进化密集网进行医学图像分类。 知识。 基于系统。 280 : 111035 ( 2023 ) [公元38年] 罗伯特·格莱克 , 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 雅罗斯瓦夫·亚当·米斯克 , 伊恩·C·C·菲利普斯 , 伊雷克·乌利多夫斯基 , 格尔曼·维达尔 :
可逆计算方法的分类。 钢筋混凝土 2023 : 24-39 [公元37年] 伊雷克·乌利多夫斯基 :
通过重新计算在深度神经网络中节省内存空间:一项调查。 钢筋混凝土 2023 : 89-105 [i4] 伊万·拉内斯 , 伊恩·C·C·菲利普斯 , 伊雷克·乌利多夫斯基 :
可逆计算的公理化理论。 CoRR公司 abs/2307.13360 ( 2023 ) 2022 [公元20年] 伊万·拉内斯 , 乌尔里克·帕赫·舒尔茨 , 伊雷克·乌利多夫斯基 :
Erlang程序调试中的可逆计算。 IT教授。 24 ( 1 ) : 74-80 ( 2022 ) [公元19年] 詹姆斯·霍伊 , 伊雷克·乌利多夫斯基 :
反转命令式并发编程语言。 科学。 计算。 程序。 223 : 102873 ( 2022 ) [公元18年] 斯特凡·库恩 , 伊雷克·乌利多夫斯基 :
用可逆过程演算模拟DNA错配修复。 西奥。 计算。 科学。 925 : 68-86 ( 2022 ) [公元36年] 詹姆斯·霍伊 , 伊雷克·乌利多夫斯基 :
强制并发程序的因果一致可逆性。 钢筋混凝土 2022 : 213-223 [i3] 詹姆斯·霍伊 , 伊雷克·乌利多夫斯基 :
反转一种强制并发编程语言。 CoRR公司 abs/2205.01171 ( 2022 ) 2021 [公元17年] 伊万·拉内斯 , 乌尔里克·帕赫·舒尔茨 , 伊雷克·乌利多夫斯基 :
实现AI和工业机器人鲁棒性的可逆执行。 IT教授。 23 ( 三 ) : 12-17 ( 2021 ) 2020 [公元16年] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊雷克·乌利多夫斯基 :
反向放置过渡网。 日志。 方法计算。 科学。 16 ( 4 ) ( 2020 ) [公元35年] 伊万·拉内斯 , 伊恩·C·C·菲利普斯 , 伊雷克·乌利多夫斯基 :
可逆计算的公理方法。 FoSSaCS公司 2020 : 442-461 [公元34年] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊恩·菲利普斯 , G.米歇尔·平纳 , 伊雷克·乌利多夫斯基 :
可逆发生网和因果可逆素事件结构。 钢筋混凝土 2020 : 35-53 [第4页] 博格丹·阿曼 , 加布里埃尔·乔巴努 , 罗伯特·格莱克 , 罗宾·卡斯加德 , 贾科·卡里 , 马丁·库特里布 , 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 卢卡斯·米库斯基 , 拉贾戈帕尔·纳加拉扬 , 伊恩·C·C·菲利普斯 , G.米歇尔·平纳 , 卢卡·普里吉奥尼埃罗 , 伊雷克·乌利多夫斯基 , 格尔曼·维达尔 :
可逆计算基础。 成本行动IC1405的选定结果 2020 : 1-40 [第3页] 克劳迪奥·安塔雷斯·梅齐纳 , 鲁道夫·施拉特 , 罗伯特·格莱克 , 周二Haulund , 詹姆斯·霍伊 , 马丁·霍尔姆·塞文卡 , 伊万·拉内斯 , 托本。 莫根森 , 哈伦·西尔贾克 , 乌尔里克·帕赫·舒尔茨 , 伊雷克·乌利多夫斯基 :
软件和可逆系统:近期活动综述。 成本行动IC1405的选定结果 2020 : 41-59 [第2页] 詹姆斯·霍伊 , 伊万·拉内斯 , 西田直树 , 伊雷克·乌利多夫斯基 , 格尔曼·维达尔 :
可逆计算案例研究:并发程序的可逆调试。 成本行动IC1405的选定结果 2020 : 108-127 [第1页] 斯特凡·库恩 , 博格丹·阿曼 , 加布里埃尔·乔巴努 , 安娜·菲利普 , Kyriaki Psara公司 , 伊雷克·乌利多夫斯基 :
化学反应的可逆性。 成本行动IC1405的选定结果 2020 : 151-176 [电子8] 伊雷克·乌利多夫斯基 , 伊万·拉内斯 , 乌尔里克·帕赫·舒尔茨 , 卡拉·费雷拉 :
可逆计算:扩展计算范围-成本行动IC1405的选定结果。 计算机科学课堂讲稿 12070, 施普林格 2020 ,国际标准图书编号 978-3-030-47360-0 [目录]
2010 – 2019
2019 [c33] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊雷克·乌利多夫斯基 :
反向P/T网络。 协调 2019 : 19-36 [公元32年] 詹姆斯·霍伊 , 伊雷克·乌利多夫斯基 :
可逆命令式并行程序和调试。 钢筋混凝土 2019 : 108-127 [i2] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊雷克·乌利多夫斯基 :
反向放置过渡网。 CoRR公司 abs/1910.04266 ( 2019 ) [i1] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊恩·C·C·菲利普斯 , G.米歇尔·平纳 , 伊雷克·乌利多夫斯基 :
可逆因果网和可逆事件结构。 CoRR公司 abs/1910.10987 ( 2019 ) 2018 [公元15年] 伊雷克·乌利多夫斯基 , 伊恩·菲利普斯 , 袁绍基(Shoji Yuen) :
反转事件结构。 新一代。 计算。 36 ( 三 ) : 281-306 ( 2018 ) [公元14年] 斯特凡·库恩 , 伊雷克·乌利多夫斯基 :
共价键演算中的局部可逆性。 科学。 计算。 程序。 151 : 18-47 ( 2018 ) [公元31年] 詹姆斯·霍伊 , 伊雷克·乌利多夫斯基 , 袁绍基(Shoji Yuen) :
用块和过程反转并行程序。 快递/SOS 2018 : 69-86 [电子7] 贾科·卡里 , 伊雷克·乌利多夫斯基 :
可逆计算——第十届国际会议,2018年9月12日至14日,英国莱斯特,RC 2018,会议记录。 计算机科学课堂讲稿 11106, 施普林格 2018 ,国际标准图书编号 978-3-319-99497-0 [目录] 2017 [公元30年] 詹姆斯·霍伊 , 伊雷克·乌利多夫斯基 , 元昭治 :
反转强制并行程序。 快递/SOS 2017 : 51-66 2016 [j13] 丹尼尔·莫里森 , 伊雷克·乌利多夫斯基 :
延迟敏感电路的方向可逆自时元胞自动机。 J.细胞。 自动。 12 ( 1-2 ) : 101-120 ( 2016 ) [公元29年] 斯特凡·库恩 , 伊雷克·乌利多夫斯基 :
局部可逆性微积分。 钢筋混凝土 2016 : 20-35 2015 [公元12年] 伊恩·菲利普斯 , 伊雷克·乌利多夫斯基 :
事件结构中的可逆性和不对称冲突。 J.日志。 代数方法课程。 84 ( 6 ) : 781-805 ( 2015 ) [公元28年] 斯特凡·库恩 , 伊雷克·乌利多夫斯基 :
面向局部可逆性建模。 钢筋混凝土 2015 : 279-284 2014 [公元11年] 伊恩·菲利普斯 , 伊雷克·乌利多夫斯基 :
事件标识符逻辑。 数学。 结构。 计算。 科学。 24 ( 2 ) ( 2014 ) [公元27年] 丹尼尔·莫里森 , 伊雷克·乌利多夫斯基 :
延迟敏感电路的方向可逆自时元胞自动机。 ACRI公司 2014 : 367-377 [公元26年] 伊雷克·乌利多夫斯基 , 伊恩·菲利普斯 , 袁绍基(Shoji Yuen) :
并发性和可逆性。 钢筋混凝土 2014 : 1-14 [公元25年] 丹尼尔·莫里森 , 伊雷克·乌利多夫斯基 :
并行延迟不敏感模块的仲裁和可逆性。 钢筋混凝土 2014 : 67-81 2013 [公元24年] 伊恩·菲利普斯 , 伊雷克·乌利多夫斯基 :
事件结构中的可逆性和非对称冲突。 CONCUR公司 2013 : 303-318 【c23】 丹尼尔·莫里森 , 伊雷克·乌利多夫斯基 :
可逆延迟不敏感分布式内存模块。 钢筋混凝土 2013 : 11-24 [公元22年] 伊恩·菲利普斯 , 伊雷克·乌利多夫斯基 , 袁绍基(Shoji Yuen) :
与流程和事件结合的建模。 钢筋混凝土 2013 : 141-154 2012 [公元10年] 伊恩·菲利普斯 , 伊雷克·乌利多夫斯基 :
稳定配置结构上的反向互模拟层次。 数学。 结构。 计算。 科学。 22 ( 2 ) : 333-372 ( 2012 ) [公元9年] 罗尔夫·德雷克斯勒 , 伊雷克·乌利多夫斯基 , 罗伯特·威利 :
前言:可逆计算专刊。 J.多值测井。 软计算。 18 ( 1 ) : 1-3 ( 2012 ) 【c21】 伊恩·菲利普斯 , 伊雷克·乌利多夫斯基 , 袁绍基(Shoji Yuen) :
可逆过程演算和ERK信号通路的建模。 钢筋混凝土 2012 : 218-232 [电子6] 库特尼 , 伊雷克·乌利多夫斯基 :
CONCUR 2012——并发理论——第23届国际会议,CONCUR,2012年,英国泰恩河畔纽卡斯尔,2012年9月4日至7日。 诉讼程序。 计算机科学课堂讲稿 7454, 施普林格 2012 ,国际标准图书编号 978-3-642-32939-5 [目录] 2011 [公元20年] 伊恩·菲利普斯 , 伊雷克·乌利多夫斯基 :
历史-保护双向模拟的反向模式逻辑。 EXPRESS(快递) 2011 : 104-118 2010 [j8] 尼古拉·卡纳塔 , 埃马努埃拉·梅雷利 , 伊雷克·乌利多夫斯基 :
前言:生物系统中的混合自动机和振荡行为。 西奥。 计算。 科学。 411 ( 20 ) : 1997-1998 ( 2010 )
2000 – 2009
2009 [j7] 穆罕默德·雷扎·穆萨维 , 伊恩·菲利普斯 , 米歇尔·A·雷尼尔 , 伊雷克·乌利多夫斯基 :
有序SOS的语义和表达。 Inf.计算。 207 ( 2 ) : 85-119 ( 2009 ) [j6] 伊雷克·乌利多夫斯基 , 袁绍基(Shoji Yuen) :
为OSOS过程语言生成优先级重写系统。 Inf.计算。 207 ( 2 ) : 120-145 ( 2009 ) [第19条] 伊恩·C·C·菲利普斯 , 伊雷克·乌利多夫斯基 :
稳定构型结构上的反向互模拟。 紧急求救信号 2009 : 62-76 [c18] 伊雷克·乌利多夫斯基 :
前言。 钢筋混凝土@ETAPS 2009 : 1-2 [电子5] 尼古拉·卡纳塔 , 伊曼纽拉·梅雷利 , 伊雷克·乌利多夫斯基 :
第二次研讨会会议记录——从生物学到并行性再到并行性, 联邦贸易委员会 2008年7月12日,冰岛雷克雅未克。 理论计算机科学电子笔记 229(1), 爱思维尔 2009 [目录] [电子4] 伊雷克·乌利多夫斯基 :
可逆计算研讨会论文集, 钢筋混凝土@ETAPS 2009年3月22日,英国约克。 理论计算机科学电子笔记 253(6), 爱思维尔 2009 [目录] 2008 [c17] 尼古拉·卡纳塔 , 伊曼纽拉·梅雷利 , 伊雷克·乌利多夫斯基 :
前言。 ICALP的FBTC 2008 : 1-2 2007 [j5] 伊恩·C·C·菲利普斯 , 伊雷克·乌利多夫斯基 :
反转代数过程计算。 J.日志。 代数方法课程。 73 ( 1-2 ) : 70-96 ( 2007 ) 【j4】 彼得·D·摩斯斯 , 伊雷克·乌利多夫斯基 :
前言。 西奥。 计算。 科学。 373 ( 三 ) : 161-162 ( 2007 ) [第16条] 伊恩·菲利普斯 , 伊雷克·乌利多夫斯基 :
可逆性和并发模型。 SOS@LICS系统 /ICALP公司 2007 : 93-108 2006 [第15条] 伊恩·C·菲利普斯 , 伊雷克·乌利多夫斯基 :
逆代数过程微积分。 FoSSaCS公司 2006 : 246-260 [第14条] 穆罕默德·雷扎·穆萨维 , 伊恩·C·C·菲利普斯 , 米歇尔·雷尼尔斯 , 伊雷克·乌利多夫斯基 :
有序SOS的含义。 FSTTCS公司 2006 : 333-344 [电子3] 彼得·D·摩斯斯 , 伊雷克·乌利多夫斯基 :
第二届结构操作语义学研讨会论文集, SOS@ICALP公司 2005年7月10日,葡萄牙里斯本。 理论计算机科学电子笔记 156(1), 爱思维尔 2006 [目录] 2005 [第13条] 彼得·D·摩斯斯 , 伊雷克·乌利多夫斯基 :
前言。 SOS@ICALP公司 2005 : 1-2 [c12] 伊恩·C·C·菲利普斯 , 伊雷克·乌利多夫斯基 :
过程代数中可逆性的操作语义。 APC 25 2005 : 281-286 [电子2] 伊雷克·乌利多夫斯基 :
第六届AMAST实时系统研讨会论文集,ARTS 2004,英国斯特林,2004年7月12日。 理论计算机科学电子笔记 139(1), 爱思维尔 2005 [目录] [e1] 卢卡·埃特罗 , 万·J·福克金 , 伊雷克·乌利多夫斯基 :
结构操作语义学研讨会论文集,SOS 2004,英国伦敦,2004年8月30日。 理论计算机科学电子笔记 128(1), 爱思维尔 2005 [目录] 2004 [j3] 伊雷克·乌利多夫斯基 , 袁绍基(Shoji Yuen) :
基于有序SOS格式和根急切互模拟的具有离散相对时间的过程语言。 J.日志。 代数方法课程。 60-61 : 401-460 ( 2004 ) [第11条] 卢卡·埃特罗 , 万·J·福克金 , 伊雷克·乌利多夫斯基 :
前言。 CONCUR的SOS 2004 : 1 [第10条] 伊雷克·乌利多夫斯基 :
前言。 艺术 2004 : 1-2 2003 【c9】 伊雷克·乌利多夫斯基 :
OSOS过程语言的优先级重写系统。 CONCUR公司 2003 : 87-101 2002 [注2] 伊雷克·乌利多夫斯基 , 伊恩·C·菲利普斯 :
用于分支和紧急互模拟的有序SOS过程语言。 Inf.计算。 178 ( 1 ) : 180-213 ( 2002 ) 【c8】 伊雷克·乌利多夫斯基 :
拒绝模拟和互动游戏。 AMAST公司 2002 : 208-222 2000 [j1] 伊雷克·乌利多夫斯基 :
用于测试预订单和De Simone过程语言的有限公理系统。 西奥。 计算。 科学。 239 ( 1 ) : 97-139 ( 2000 ) 【c7】 伊雷克·乌利多夫斯基 , 袁绍基(Shoji Yuen) :
根式急切互模拟的过程语言。 CONCUR公司 2000 : 275-289
1990 – 1999
1997 【c6】 伊雷克·乌利多夫斯基 , 袁绍基(Shoji Yuen) :
随时间扩展过程语言。 AMAST公司 1997 : 524-538 【c5】 伊雷克·乌利多夫斯基 , 伊恩·C·菲利普斯 :
带静默操作的有序SOS规则的格式。 TAPSOFT公司 1997 : 297-308 1996 【c4】 伊雷克·乌利多夫斯基 :
用于测试预序和De Simone过程语言的有限公理系统。 AMAST公司 1996 : 210-224 1995 【c3】 伊雷克·乌利多夫斯基 :
德西蒙语言弱等价的公理化。 CONCUR公司 1995 : 219-233 1993 【c2】 伊雷克·乌利多夫斯基 :
祝贺 陶 -尊重规则的格式。 理论与形式方法 1993 : 314-325 1992 【c1】 伊雷克·乌利多夫斯基 :
可观测过程的等价性。 低收入国家 1992 : 148-159