劳伦特·范·贝京
人员信息
优化列表
2010 – 2019
2011 [公元11年] 帕罗什·阿齐兹·阿卜杜拉 , 乔治·德尔扎诺 , 劳伦特·范·贝京 :
结构良好的转换系统表达能力的分类。 Inf.计算。 209 ( 三 ) : 248-279 ( 2011 ) 2010 [公元10年] 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
关于Petri网最小覆盖集的有效计算。 发现的国际期刊。 计算。 科学。 21 ( 2 ) : 135-165 ( 2010 ) [公元9年] 乔治·德尔扎诺 , 劳伦特·范·贝京 :
关于具有动态结构的膜系统的验证。 自然计算。 9 ( 4 ) : 795-818 ( 2010 )
2000 – 2009
2009 [j8] 皮埃尔·甘蒂 , 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
《佩特里的生活问题》(Le problème de couverture pour les réseaux de Petri),经典与发展的结果。 技术科学。 信息类 28 ( 9 ) : 1107-1142 ( 2009 ) [c18] 帕罗什·阿齐兹·阿卜杜拉 , 乔治·德尔赞诺 , 劳伦特·范·贝京 :
基于语言的有无全域操作Petri网扩展的比较。 拉丁美洲旅游协会 2009 : 71-82 2008 [j7] 皮埃尔·甘蒂 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
从多到少:Petri网的自动抽象精化。 芬丹。 信息学 88 ( 三 ) : 275-305 ( 2008 ) [j6] 蒂埃里·马萨特 , 塞德里克·梅特尔 , 劳伦特·范·贝京 :
关于部分顺序跟踪模型检查的复杂性。 信息处理。 莱特。 106 ( 三 ) : 120-126 ( 2008 ) [c17] 帕罗什·阿齐兹·阿卜杜拉 , 乔治·德尔扎诺 , 劳伦特·范·贝京 :
Conformon P系统的定性分析。 膜计算研讨会 2008 : 78-94 [第16条] 乔治·德尔扎诺 , 劳伦特·范·贝京 :
膜融合和克隆的生物启发模型。 加州大学 2008 : 64-82 2007 [j5] 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
结构良好的语言。 信息学报 44 ( 3-4 ) : 249-288 ( 2007 ) [第15条] 皮埃尔·甘蒂 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
从多到少:Petri网的自动抽象精化。 ICATPN公司 2007 : 124-143 [第14条] 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
Petri网最小覆盖集的有效计算。 ATVA公司 2007 : 98-113 [第13条] 帕罗什·阿齐兹·阿卜杜拉 , 乔治·德尔扎诺 , 劳伦特·范·贝京 :
比较井结构转换系统的表达能力。 CSL公司 2007 : 99-114 [c12] 加布里埃尔·卡利恩 , 蒂埃里·马萨特 , 塞德里克·梅特尔 , 劳伦特·范·贝京 :
通过符号模型检查测试分布式系统。 复地 2007 : 263-279 [第11条] 乔治·德尔扎诺 , 劳伦特·范·贝京 :
含挥发性膜PB系统的动力学研究。 膜计算研讨会 2007 : 240-256 2006 【j4】 雷蒙德·R·德维尔斯 , 劳伦特·范·贝京 :
同步网络的有界不可判定性。 信息处理。 莱特。 99 ( 5 ) : 208-214 ( 2006 ) [j3] Gilles Geeraerts公司 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
扩展、放大和检查:WSTS可覆盖性问题的新算法。 J.计算。 系统。 科学。 72 ( 1 ) : 180-203 ( 2006 ) [注2] 阿兰·芬克尔 , 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
上 欧米茄 -扩展Petri网的语言表达能力。 西奥。 计算。 科学。 356 ( 三 ) : 374-386 ( 2006 ) [第10条] 皮埃尔·甘蒂 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
WSTS覆盖特性的完整抽象解释框架。 VMCAI公司 2006 : 49-64 2005 【c9】 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
展开、放大和检查。。。 提高效率。 CAV汽车 2005 : 394-407 2004 [j1] 乔治·德尔赞诺 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
覆盖共享树:用于参数化验证的紧凑数据结构。 国际期刊软件。 技术工具。 变压器。 5 ( 2-3 ) : 268-297 ( 2004 ) 【c8】 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
扩展、放大和检查:WSTS可覆盖性问题的新算法。 FSTTCS公司 2004 : 287-298 【c7】 Jean-François Raskin女士 , 马蒂亚斯·萨缪里德斯 , 劳伦特·范·贝京 :
计数抽象游戏。 AVoCS公司 2004 : 69-85 【c6】 克里斯托夫·达洛特 , 阿兰·芬克尔 , 劳伦特·范·贝京 :
关于快速和TReX加速。 AVoCS公司 2004 : 87-103 【c5】 阿兰·芬克尔 , 吉勒斯·杰拉尔茨 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
关于扩展Petri网的欧米伽语言表达能力。 EXPRESS(快递) 2004 : 87-101 2003 【c4】 Jean-François Raskin女士 , 劳伦特·范·贝京 :
具有非阻塞弧的Petri网很难分析。 无穷 2003 : 35-55 2002 【c3】 乔治·德尔扎诺 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
多线程Java程序的自动验证。 TACAS公司 2002 : 173-187 【c2】 阿兰·芬克尔 , Jean-François Raskin女士 , 马蒂亚斯·萨缪里德斯 , 劳伦特·范·贝京 :
Petri网的单调扩张:重新审视正向和反向搜索。 无穷 2002 : 85-106 2001 【c1】 乔治·德尔扎诺 , Jean-François Raskin女士 , 劳伦特·范·贝京 :
攻击象征性状态爆炸。 CAV汽车 2001 : 298-310