詹姆斯·拉思罗普
人员信息
附属: 爱荷华州立大学计算机科学系,爱荷华州艾姆斯,美国
优化列表
2020年-今天
2023 [公元28年] 詹姆斯·拉思罗普 , 彼得·迈克尔·奥塞拉 , 艾迪生·W·施密特 , 杰西·斯莱特 :
用伊莎贝尔定理证明器验证化学反应网络。 阿勒顿 2023 : 1-8 2022 [公元27年] 迈克尔·C·戈登 , 亚历克西斯·L·马什 , 詹姆斯·拉思罗普 , 迈拉·B·科恩 , 安德鲁·米纳 , Titus H.Klinge公司 :
在化学反应网络中使用程序不变量进行推理和测试生成。 ICSE公司 2022 : 1193-1205 [公元26年] 詹姆斯·拉思罗普 , 罗宾·R·卢茨 , 卡梅隆·布雷库特 , 休·D·波特 , 凯瑟琳·罗尔芬 , 杰西·斯莱特 , 约书亚·沃林 :
SafeWalk:用于探索安全关键产品线中的软件需求的模拟工具包。 重新 2022 : 268-269 2021 [公元25年] Titus H.Klinge公司 , 詹姆斯·拉思罗普 , 彼得·迈克尔·奥塞拉 , 艾利森·罗杰斯 :
Reactamole:功能性反应分子程序设计。 DNA 2021 : 10:1-10:20 [公元24年] 易卜拉欣·梅塞坎 , 迈克尔·C·戈登 , 詹姆斯·拉思罗普 , 迈拉·B·科恩 , 托马斯·哈达德·卡尔达斯 :
CRNRepair:化学反应网络的自动程序修复。 GI@ICSE 2021 : 23-30 【c23】 威廉·弗莱彻 , Titus H.Klinge公司 , 詹姆斯·拉思罗普 , 道恩·A·奈 , 马修·雷曼 :
使用化学反应网络进行鲁棒实时计算。 加州大学北卡罗来纳州 2021 : 35-50 [i11] 威廉·弗莱彻 , Titus H.Klinge公司 , 詹姆斯·拉思罗普 , 道恩·A·奈 , 马修·雷曼 :
利用化学反应网络进行鲁棒实时计算。 CoRR公司 abs/2109.02896 ( 2021 ) 2020 [公元9年] Titus H.Klinge公司 , 詹姆斯·拉思罗普 , 杰克·卢茨 :
鲁棒的生物分子有限自动机。 西奥。 计算。 科学。 816 : 114-143 ( 2020 ) [公元22年] 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 罗宾·R·卢茨 , 休·D·波特 , 马修·莱利 :
布居诱导相变和化学反应网络的验证。 DNA 2020 : 5:1-5:17 【c21】 Titus H.Klinge公司 , 詹姆斯·拉思罗普 , 索尼亚·莫雷诺 , 休·D·波特 , 纳伦·K·拉曼 , 马修·莱利 :
ALCH:一种用于化学反应网络控制瓷砖组装的必备语言。 DNA 2020 : 6:1-6:22 [公元20年] 迈克尔·C·戈登 , 詹姆斯·拉思罗普 , 迈拉·B·科恩 , 提图斯·H·克林格 :
ChemTest:新兴范式的自动化软件测试框架。 ASE公司 2020 : 548-560 [第19条] 罗宾·R·卢茨 , 詹姆斯·拉思罗普 , 卡梅隆·布雷库特 , 肯达尔·加斯特 , 凯瑟琳·罗尔芬 , 约书亚·沃林 :
使用宇航员Jetpack项目教授人类CPS需求工程。 REET@RE(重新设置) 2020 : 9-10 [i10] Titus H.Klinge公司 , 詹姆斯·拉思罗普 :
化学反应网络中的调制信号。 CoRR公司 abs/2009.06703 ( 2020 )
2010 – 2019
2019 [j8] 塞缪尔·埃利斯 , 提图斯·H·克林格 , 詹姆斯·拉思罗普 :
坚固的化学电路。 生物晶体。 186 ( 2019 ) [j7] 黄翔(音) , Titus H.Klinge公司 , 詹姆斯·拉思罗普 , 李晓媛 , 杰克·H·卢茨 :
通过化学反应网络实时计算实数。 自然计算。 18 ( 1 ) : 63-73 ( 2019 ) [j6] 塞缪尔·埃利斯 , Titus H.Klinge公司 , 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 罗宾·R·卢茨 , 安德鲁·米纳 , 休·D·波特 :
程序化分子系统中的运行时故障检测。 ACM事务处理。 柔和。 工程方法。 28 ( 2 ) : 6:1-6:20 ( 2019 ) [第18条] 黄翔(音) , Titus H.Klinge公司 , 詹姆斯·拉思罗普 :
化学反应网络和模拟计算机的实时等效性。 DNA 2019 : 37-53 [第九章] 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 罗宾·R·卢茨 , 休·D·波特 , 马修·莱利 :
化学反应网络中的群体感应和验证。 CoRR公司 abs/1909.05390 ( 2019 ) 2018 [i8] 黄翔(音) , Titus H.Klinge公司 , 詹姆斯·拉思罗普 , 李晓媛 , 杰克·H·卢茨 :
化学反应网络的实数的实时可计算性。 CoRR公司 abs/1803.10267 ( 2018 ) [i7] 塞缪尔·埃利斯 , Titus H.Klinge公司 , 詹姆斯·拉思罗普 :
坚固的化学电路。 CoRR公司 abs/1808.06969 ( 2018 ) 2017 [第17条] 塞缪尔·埃利斯 , 詹姆斯·拉思罗普 , 罗宾·R·卢茨 :
化学反应网络中的状态记录。 NANOCOM公司 2017 : 23:1-23:6 [第16条] 塞缪尔·埃利斯 , Titus H.Klinge公司 , 詹姆斯·拉思罗普 :
化学反应网络中的鲁棒组合电路。 TPNC公司 2017 : 178-189 [第15条] 黄翔(音) , Titus H.Klinge公司 , 詹姆斯·拉思罗普 , 李晓媛 , 杰克·H·卢茨 :
通过化学反应网络实时计算实数。 加州大学北卡罗来纳州 2017 : 29-40 [i6] 塞缪尔·埃利斯 , Titus H.Klinge公司 , 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 罗宾·R·卢茨 , 安德鲁·米纳 :
程序化分子系统中的运行时故障检测。 CoRR公司 abs/1710.09494 ( 2017 ) 2015 [i5] Titus H.Klinge公司 , 詹姆斯·拉思罗普 , 杰克·H·卢茨 :
稳健的生物分子有限自动机。 CoRR公司 abs/1505.03931 ( 2015 ) 2014 [第14条] 塞缪尔·埃利斯 , 埃里克·亨德森 , Titus H.Klinge公司 , 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 罗宾·R·卢茨 , Divita Mathur公司 , 安德鲁·米纳 :
分子看门狗定时器的自动化需求分析。 ASE公司 2014 : 767-778 2012 [第13条] 罗宾·R·卢茨 , 杰克·H·卢茨 , 詹姆斯·拉思罗普 , Titus H.Klinge公司 , 埃里克·亨德森 , Divita Mathur公司 , Dalia Abo Sheasha公司 :
可编程自组装纳米机器的工程和验证要求。 ICSE公司 2012 : 1361-1364 [第12条] 罗宾·R·卢茨 , 杰克·H·卢茨 , 詹姆斯·拉思罗普 , Titus H.Klinge公司 , Divita Mathur公司 , 唐纳德·斯图尔 , 泰勒·伯奎斯特 , 埃里克·亨德森 :
DNA纳米器件产品系列的需求分析。 重新 2012 : 211-220 2011 [j5] 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 马修·帕蒂茨 , 斯科特·萨默斯 :
自组装中的可计算性和复杂性。 理论计算。 系统。 48 ( 三 ) : 617-647 ( 2011 ) [第11条] 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 布莱恩·帕特森 :
用于实际计算的多分辨率元胞自动机。 CiE公司 2011 : 181-190
2000 – 2009
2009 【j4】 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 斯科特·萨默斯 :
离散Sierpinski三角形的严格自组装。 西奥。 计算。 科学。 410 ( 4-5 ) : 384-405 ( 2009 ) [第10条] 史蒂文·考茨 , 詹姆斯·拉思罗普 :
离散Sierpinski地毯的自组装和相关分形。 DNA 2009 : 78-87 [i4] 史蒂文·考茨 , 詹姆斯·拉思罗普 :
离散Sierpinski地毯和相关分形的自组装。 CoRR公司 abs/0901.3189 ( 2009 ) [i3] 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 斯科特·萨默斯 :
离散Sierpinski三角形的严格自组装。 CoRR公司 abs/0903.1818 ( 2009 ) 2008 【c9】 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 马修·帕蒂兹 , 斯科特·萨默斯 :
自组装中的可计算性和复杂性。 CiE公司 2008 : 349-358 【c8】 内拉杰·库尔 , 吉姆·拉思罗普 , 杰克·卢茨 , 瓦桑特·霍纳瓦尔 :
在线自组装的复杂性。 企业所得税 2008 : 448-452 [i2] 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 马修·帕蒂兹 , 斯科特·萨默斯 :
自组装中的可计算性和复杂性。 电子。 计算机学术讨论会。 复杂。 2008年 ( 2008 ) [i1] 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 斯科特·萨默斯 :
离散Sierpinski三角形的严格自组装。 电子。 计算机学术讨论会。 复杂。 2008年 ( 2008 ) 2007 【c7】 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 斯科特·M·萨默斯 :
离散Sierpinski三角形的严格自组装。 CiE公司 2007 : 455-464 2004 [j3] 杰克·杰戴 , 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 埃尔维拉·马约多莫 :
有限状态尺寸。 西奥。 计算。 科学。 310 ( 1-3 ) : 1-33 ( 2004 ) 【c6】 丹·阿什洛克 , 詹姆斯·拉思罗普 :
项目简介:建造一堵墙。 IEEE进化计算大会 2004 : 1844-1850 2001 【c5】 戴杰杰 , 詹姆斯·拉思罗普 , 杰克·H·卢茨 , 埃尔维拉·马约多莫 :
有限状态尺寸。 ICALP公司 2001 : 1028-1039
1990 – 1999
1999 [注2] 詹姆斯·拉思罗普 , 杰克·H·卢茨 :
递归计算深度。 Inf.计算。 153 ( 1 ) : 139-172 ( 1999 ) 1998 【c4】 丹·阿什洛克 , 詹姆斯·拉思罗普 :
一个完全特征化的遗传编程测试套件。 进化编程 1998 : 537-546 1997 【c3】 詹姆斯·拉思罗普 , 杰克·H·卢茨 :
递归计算深度。 ICALP公司 1997 : 132-142 【c2】 詹姆斯·拉思罗普 , 马丁·施特劳斯 :
Lempel-Ziv算法对恶意构造数据性能的通用上限。 序列 1997 : 123-135 1994 [j1] 大卫·尤德斯 , 詹姆斯·拉思罗普 , 杰克·H·卢茨 :
计算深度和可简化性。 西奥。 计算。 科学。 132 ( 2 ) : 37-70 ( 1994 ) 1993 【c1】 大卫·尤德斯 , 詹姆斯·拉思罗普 , 杰克·H·卢茨 :
计算深度和可简化性(扩展抽象)。 ICALP公司 1993 : 277-288