摘要
摘要
ABI+01 Alur R、Belta C、Ivancic F、Kumar V、Mintz M、Pappas GJ、Rubin H、Schug J(2001)《生物分子网络的混合建模与模拟》。 In:《混合系统学报:计算与控制》,LNCS 2034。 海德堡施普林格,第19-32页 谷歌学者 放大器+04 通过相互模拟和崩溃来控制生化模型的复杂性:理论与实践 计算机科学理论 2004 325 46 67 2016年10月10日/j.tcs.2004.03.064 谷歌学者 数字图书馆 BMM+06a 微生物系统建模的循环序列演算 Fundam信息 2006 72 1 15 2265152 谷歌学者 BMM+06亿 Barbuti R,Maggiolo-Schettini A,Milazzo P,Troina A(2006),循环序列演算中的互模拟同余。 摘自:理论计算机科学国际学术讨论会(ICTAC’06),LNCS 4281。 海德堡施普林格,第93–107页 谷歌学者 总线06 Busi N(2006)《Brane Calculi中的决定行为特性》。 摘自:《系统生物学计算方法学报》(CMSB'06),LNBI 4210。 海德堡施普林格,第17-31页 谷歌学者 总线07 Busi N(2007)《走向Brane Calculi的因果语义》。 摘自:第五届膜计算头脑风暴周会议记录,第97–111页 谷歌学者 汽车05 Cardelli L(2005)《Brane Calculi》。 生物膜的相互作用。 摘自:《系统生物学计算方法学报》(CMSB'04),LNCS 3082。 海德堡施普林格,第257-280页 谷歌学者 CCD04公司 生物分子相互作用网络的建模与查询 Theor计算机科学 2004 325 25 44 1071.68098 2016年10月10日/j.tcs.2004.03.063 2085103 谷歌学者 数字图书馆 CDP+04 通过增强pi-calculus模拟生化途径 计算机科学理论 2004 325 111 140 1071.68074 2016年10月10日/j.tcs.2004.03.066 2085106 谷歌学者 数字图书馆 DaL04型 形式分子生物学 Theor计算机科学 2004 325 69 110 1071.68041 2016年10月10日/j.tcs.2004.03.065 2085105 谷歌学者 数字图书馆 DeH84型 测试过程的等效性 Theor计算机科学 1984 34 83 133 985.68518 10.1016/0304-3975(84)90113-0 774041 谷歌学者 交叉引用 拉克T06 Laneve C,Tarissan F(2006)蛋白质和细胞的简单演算。 In:膜计算和生物启发过程结石论文集(MeCBIC'06) 谷歌学者 列姆00 Leifer J,Milner R(2000),《推导反应系统的互模拟同余》。 收录于:并发理论学报(CONCUR'00),LNCS 1877。 海德堡施普林格,第243-258页 谷歌学者 MDN+00号 Matsuno H,Doi A,Nagasaki M,Miyano S(2000)基因调控网络的混合petri网表示。摘自:生物计算太平洋研讨会论文集。 世界科学出版社,第341-352页 谷歌学者 MiB06公司 Miculan M,Bacci G(2006),膜微积分的模态逻辑。 摘自:《系统生物学计算方法学报》(CMSB'06),LNBI 4210。 施普林格,海德堡,第1-16页 谷歌学者 2007年10月 Milazzo P(2007)《生物系统的定性和定量形式化建模》,比萨大学博士论文 谷歌学者 89百万 通信和并发 1989 恩格尔伍德克利夫斯 Prentice-Hall公司 683.68008 谷歌学者 数字图书馆 99百万 通信和移动系统:π演算 1999 剑桥 剑桥大学出版社 谷歌学者 数字图书馆 MiS92系列 Milner R,Sangiorgi D(1992),刺状互模拟。 摘自:《国际自动机、语言和编程学术研讨会论文集》(ICALP’92),LNCS 623,第685-695页 谷歌学者 PFM+07型 乳糖操纵子调控的建模、性质验证和行为等效性 计算机生物医学 2007 37 134 148 2016年10月10日/j.compbiomed.2006.01.06 谷歌学者 数字图书馆 项目Q05 Priami C,Quaglia P(2005),生物相互作用的β结合物。 摘自:《系统生物学计算方法学报》(CMSB'04),LNCS 3082。 海德堡施普林格,第20-33页 谷歌学者 RPS+04 生物环境:生物隔间的抽象 Theor计算机科学 2004 325 141 167 1069.68569 2016年10月10日/j.tcs.2004.03.061 2085107 谷歌学者 数字图书馆 RSS01型 Regev A,Silverman W,Shapiro EY(2001)使用pi演算过程代数的生物化学过程的表示和模拟。 摘自:太平洋生物计算研讨会论文集。 世界科学出版社,第459–470页 谷歌学者 桑96 高阶过程结石的共刺激 Inf计算 1996 131 141 178 876.68042 2006年10月10日/inco.1996.0096 1428592 谷歌学者 数字图书馆 污水02 从重写规则到互模拟同余 Theor计算机科学 2002 274 183 230 992.68122 10.1016/S0304-3975(00)00309-1 1887150 谷歌学者 数字图书馆 沪建+93 人乳头瘤病毒16型E5癌蛋白转化成纤维细胞并影响角质形成细胞中表皮生长因子受体的下调 J维罗尔 1993 67 4521 4532 谷歌学者 Yar01公司 人类癌症中的EGFR家族及其配体:信号传导机制和治疗机会 欧洲癌症杂志 2001 37 第3章 第8节 10.1016/S0959-8049(01)00230-1 谷歌学者 交叉引用 YS01型 解开ErbB信令网络 Nat Rev Mol细胞生物学 2001 2 127 137 10.1038/35052073 谷歌学者 交叉引用 vG190版 van Glabbeek RJ(1990)线性时间分支时间谱。 In:并发理论国际会议论文集(CONCUR’90),LNCS 458,pp 278–297 谷歌学者
建议
用于高阶命令式程序推理的小互模拟 2006年POPL会议记录 我们引入了一个新的互模拟概念,用于显示具有显式存储的非类型lambda演算中表达式的上下文等价性,其中所有表达的值,包括高阶值,都是可存储的。 我们的相互模拟概念。。。 用于高阶命令式程序推理的小互模拟 POPL'06:第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 我们引入了一个新的互模拟概念,用于显示具有显式存储的非类型化lambda-calculus中表达式的上下文等价性,其中所有表示的值,包括高阶值,都是可存储的。 我们的相互模拟概念。。。