默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

朱迪·罗米恩

>主页 >珀森斯

人员信息

附属： 荷兰埃因霍温理工大学

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2007
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/RomijnWM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/RomijnWM07网址
朱迪·罗米恩,威格·威瑟林克,阿尔扬·J·穆伊（Arjan J.Mooij）:
PVS中Chang-Roberts领导人选举的基于断言的证明检查。 ATVA公司 2007:347-361
[电子2]
- 看法
- 出口记录
  dblp键：
  - conf/ifm/2005ds公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/2005ds
朱迪·罗米恩,格雷姆·史密斯,雅各·范德波尔:
2005年11月29日，荷兰埃因霍温，第五届综合形式方法会议附属博士研讨会论文集，2005年国际医学联合会博士研讨会。理论计算机科学电子笔记191,爱思维尔 2007 [目录]
2006
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/MooijRW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/MooijRW06
阿尔扬·J·穆伊（Arjan J.Mooij）,朱迪·罗米恩,Wieger-Wesselink公司:
组合MSC的实现标准。 AMAST公司 2006:248-262
2005
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/MooijGR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/MooijGR05
阿尔扬·J·穆伊（Arjan J.Mooij）,尼古拉·戈加,朱迪·罗米恩:
非本地选择及其以外：MSC选择节点的复杂性。 FASE公司 2005:273-288
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/RomijnSP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/RomijnSP07
朱迪·罗米恩,格雷姆·史密斯,雅各·范德波尔:
前言。 IFM博士研讨会 2005:1-2
[e1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/2005
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/2005
朱迪·罗米恩,格雷姆·史密斯,雅各·范德波尔:
综合形式方法，第五届国际会议，IFM 2005，荷兰埃因霍温，2005年11月29日至12月2日，会议记录。计算机科学课堂讲稿3771,施普林格 2005，国际标准图书编号3-540-30492-4 [目录]
2004
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/GogaR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/GogaR04
尼古拉·戈加,朱迪·罗米恩:
引导旋转模拟。 ICFEM公司 2004:176-193
2003
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fac/CookeMRS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fic/CookeMRS03
约翰库克,萨维·马哈拉吉,朱迪·罗米恩,卡伦·桑克兰:
编辑。形式方面计算。 14(三):199(2003)
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Romijn03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Romijn03
朱迪·罗米恩:
IEEE 1394树识别阶段的错误环路检测。形式方面计算。 14(三):319-327(2003)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ipps/LangeveldeRG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ipps/LangeveldeRG03
伊扎克·范·兰格沃尔德,朱迪·罗米恩,尼古拉·戈加:
通过Promela原型创建FireWire Bridges。 IPDPS公司 2003:239
2002
[j4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/HuneRSV02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/HuneRSV02
托马斯·胡恩,朱迪·罗米恩,玛丽埃尔·斯托琳加,Frits W.Vaandrager公司:
时间自动机的线性参数模型检验。 J.日志。代数方法课程。 52-53:183-220(2002)
2001
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/Romijn01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/Romijn01
朱迪·罗米恩:
IEEE 1394领导人选举协议的时间验证。形式方法系统。设计。 19(2):165-194(2001)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LarsenBBFHPR01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LarsenBBFHPR01
金·古德斯特兰·拉森,格德·贝尔曼,埃德·布林克斯马,安斯加·芬克,托马斯·胡恩,保罗·佩特森,朱迪·罗米恩:
尽可能便宜：定价时间自动机的有效成本最优可达性。 CAV汽车 2001:493-505
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/BehrmannFHLPRV01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/BehrmannFHLPRV01
格德·贝尔曼,安斯加·芬克,托马斯·胡恩,金·古德斯特兰·拉森,保罗·佩特森,朱迪·罗米恩,Frits W.Vaandrager公司:
定价时间自动机的最低成本可达性。高速列车控制中心 2001:147-161
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BehrmannF01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BehrmannF01
格德·贝尔曼,安斯加·芬克,托马斯·胡恩,金·拉森,保罗·佩特森,朱迪·罗米恩:
为UPPAAL的成本优化提供有效指导。墨西哥玉米饼 2001:174-188
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HuneRSV01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HuneRSV01
托马斯·胡恩,朱迪·罗米恩,玛丽埃尔·斯托琳加,Frits W.Vaandrager公司:
时间自动机的线性参数模型检验。墨西哥玉米饼 2001:189-203
2000
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/fmsd/DevillersGRV00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/DevillersGRV00
马可·德维勒,W.O.大卫·格里芬,朱迪·罗米恩,Frits W.Vaandrager公司:
领导人选举协议的验证：应用于IEEE 1394的形式化方法。形式方法系统。设计。 16(三):307-320(2000)

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1998
[c2]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/forte/RomijnS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/RomijnS98
朱迪·罗米恩,简·斯普林因特维尔德:
在协议测试中利用对称性。复地 1998:337-352
1996
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ip/RomijnV96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ipl/RomijnV96
朱迪·罗米恩,Frits W.Vaandrager公司:
关于I/O自动机中公平性的注记。信息处理。莱特。 59(5):245-250(1996)
1994
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/Romijn94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Romijn94
朱迪·罗米恩:
使用I/O Automata解决RPC内存规范问题。正式系统规范 1994:437-475

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。