查尔斯·拉科斯
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2016 [公元28年] 卡米尔·科蒂 , 查尔斯·拉科斯 , 劳雷·佩特鲁奇 :
形式化证明和增强一种自稳定分布式算法。 PNSE@Petri网 2016 : 255-274 [i1] 卡米尔·科蒂 , 查尔斯·拉科斯 , 劳雷·佩特鲁奇 :
形式化证明和增强一种自稳定分布式算法。 CoRR公司 abs/1601.03767 ( 2016 ) 2012 [j7] 洛姆·梅桑·希拉 , Fabrice Kordon公司 , 查尔斯·拉科斯 , 劳雷·佩特鲁奇 :
扩展pnml范围:组合Petri网类型的框架。 事务处理。 Petri网其他模型。 同意。 6 : 46-70 ( 2012 ) 2011 [公元27年] 洛姆·梅桑·希拉 , Fabrice Kordon公司 , 查尔斯·拉科斯 , 劳雷·佩特鲁奇 :
扩展PNML范围:优先Petri网经验。 PNSE公司 2011 : 92-106 2010 [公元26年] 查尔斯·拉科斯 , 劳雷·佩特鲁奇 :
优先Petri网的模状态空间。 蒙特雷研讨会 2010 : 136-156
2000 – 2009
2009 [j6] 查尔斯·拉科斯 :
用移动Petri网建模移动IP。 事务处理。 Petri网其他模型。 同意。 三 : 127-158 ( 2009 ) 2008 [公元25年] Woei Shyang Siaw先生 , 查尔斯·拉科斯 , 兹比格尼乌·米切莱维奇(Zbigniew Michalewicz) , 斯文·谢伦伯格 :
将进化算法应用于软件验证的实验。 IEEE进化计算大会 2008 : 3531-3536 2007 [j5] 查尔斯·拉科斯 , 劳雷·佩特鲁奇 :
定时petri网的模块化状态空间探索。 国际期刊软件。 技术工具。 Transf公司。 9 ( 3-4 ) : 393-411 ( 2007 ) 2005 [公元24年] 查尔斯·拉科斯 :
移动性的Petri网视图。 复地 2005 : 174-188 【c23】 约瑟夫·奎恩 , 查尔斯·拉科斯 , 罗伯特·埃瑟 :
相对时间Petri网的建议。 SEFM公司 2005 : 240-249 [公元22年] 凯瑟琳·梅农 , 约翰逊 , 查尔斯·拉科斯 :
不一致管理和查看更新。 FESCA@ETAPS 2005 : 27-51 2004 【j4】 严进 , 查尔斯·拉科斯 , 罗伯特·埃瑟 :
基于组件设计的模块一致性分析。 《研究实践杂志》。 技术信息。 36 ( 三 ) : 187-208 ( 2004 ) 【c21】 凯瑟琳·梅农 , 查尔斯·拉科斯 :
走向罗塞塔的语义基础。 ACSC公司 2004 : 175-184 [公元20年] 查尔斯·拉科斯 , 劳雷·佩特鲁奇 :
由半自治子系统组成的系统的模块化分析。 ACSD系统 2004 : 185-196 2003 [第19条] 严进 , 罗伯特·埃瑟 , 查尔斯·拉科斯 :
数据流过程网络的轻量级一致性分析。 ACSC公司 2003 : 291-300 [第18条] 严进 , 罗伯特·埃瑟 , 查尔斯·拉科斯 , Jörn W.Janneck先生 :
数据流处理网络的模块化分析。 FASE公司 2003 : 184-199 [第17条] 严进 , 查尔斯·拉科斯 , 罗伯特·埃瑟 :
基于组件的设计与分析:案例研究。 SEFM公司 2003 : 126- 2002 [第16条] 查尔斯·拉科斯 :
面向对象对并发系统分析的挑战。 ICATPN公司 2002 : 59-67 [电子1] 哈维尔·埃斯帕尔扎 , 查尔斯·拉科斯 :
2002年Petri网的应用和理论,第23届国际会议,ICATPN 2002,澳大利亚阿德莱德,2002年6月24日至30日,会议记录。 计算机科学课堂讲稿 2360, 施普林格 2002 ,国际标准图书编号 3-540-43787-8 [目录] 2001 [第15条] 格兰·勒维斯 , 查尔斯·拉科斯 :
有色Petri网的增量状态空间构造。 ICATPN公司 2001 : 263-282 [第14条] 查尔斯·拉科斯 :
用对象Petri网进行面向对象建模。 并发面向对象编程与Petri网 2001 : 1-37 [第13条] 雷米·巴斯蒂德 , 查尔斯·拉科斯 , 菲利普·帕兰克 :
协同Petri网编辑器。 并发面向对象编程与Petri网 2001 : 534-535 2000 [第12条] 查尔斯·拉科斯 :
彩色Petri网的合成抽象。 ICATPN公司 2000 : 323-345 [第11条] 查尔斯·拉科斯 , 格兰·勒维斯 :
增量规范的实用方法。 FMOODS公司 2000 : 233-256 [第10条] 查尔斯·拉科斯 , 格兰·勒维斯 :
对象生命周期的行为继承。 工具(33) 2000 : 262-
1990 – 1999
1999 【c9】 查尔斯·拉科斯 , 约翰·W·兰姆 :
用对象Petri网对Z39.50协议进行增量建模。 Petri网在通信网络中的应用 1999 : 37-68 【c8】 查尔斯·拉科斯 , 格兰·勒维斯 :
有色Petri网背景下行为遗传的实用方法。 面向对象系统博士生的ECOOP研讨会 1999 : 106-111 【c7】 查尔斯·拉科斯 , 格兰·勒维斯 :
有色Petri网背景下行为遗传的实用方法。 ECOOP研讨会 1999 : 320 1997 【c6】 查尔斯·拉科斯 :
关于有色Petri网的抽象。 ICATPN公司 1997 : 42-61 【c5】 查尔斯·拉科斯 , 格兰·勒维斯 :
使用Java小程序制作形式规范动画。 工具(25) 1997 : 196-209 1996 【c4】 查尔斯·拉科斯 :
对象Petri网定义中名称和多态性的一致使用。 Petri网的理论与应用 1996 : 380-399 1995 【c3】 查尔斯·拉科斯 :
从彩色Petri网到对象Petri网。 Petri网的理论与应用 1995 : 278-297 1994 【c2】 查尔斯·拉科斯 , 瑟伦·克里斯滕森 :
彩色Petri网弧扩展的一般系统方法。 Petri网的理论与应用 1994 : 338-357 1991 【c1】 查尔斯·拉科斯 , 克里斯·基恩 :
在LOOPN中建模分层协议。 PNPM公司 1991 : 106-115
1980 – 1989
1988 [j3] 查尔斯·拉科斯 :
在机器描述中包含显式内存模型。 澳大利亚。 计算。 J。 20 ( 1 ) : 10-18 ( 1988 ) 1980 [注2] 查尔斯·拉科斯 :
在Borroughs B6700上实施BCPL。 柔和。 实际。 支出。 10 ( 8 ) : 673-683 ( 1980 )
1970 – 1979
1978 [j1] 查尔斯·拉科斯 , 亚瑟·H·J·赛尔 :
有纪律的程序设计是否可以转换,是否有见地? 澳大利亚。 计算。 J。 10 ( 三 ) : 87-97 ( 1978 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)