默认搜索操作

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

问别人

朱利安·德奥索

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

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

2012
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/AdullaJNdS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/AbdullaJNdS12
帕罗什·阿齐兹·阿卜杜拉,本特·琼森,马库斯·尼尔森,朱利安·德奥索,马扬克·萨克塞纳:
定期检查LTL（MSO）模型。国际期刊软件。工具技术。Transf公司。 14(2):223-241(2012)

2000 – 2009

请参阅常见问题解答

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

2008
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/AbdullaBd08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/AbdullaBd08
帕罗什·阿齐兹·阿卜杜拉,艾哈迈德·布阿贾尼,朱利安·德奥索:
单调和向下封闭游戏。 J.日志。计算。 18(1):153-169(2008)
2006
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/AdullaLdR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/AdullaLdR06
帕罗什·阿齐兹·阿卜杜拉,Axel Legay公司,朱利安·德奥索,艾哈迈德·雷津:
树规则模型检查：一种基于仿真的方法。 J.日志。代数方法课程。 69(1-2):93-121(2006)
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/dOrsoT06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/dOrsoT06
朱利安·德奥索,泰西尔·图利:
定期对冲模型检查。 IFIP TCS 2006:213-230
2005
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AdullaLdR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AdullaLdR05
帕罗什·阿齐兹·阿卜杜拉,Axel Legay公司,朱利安·德奥索,艾哈迈德·雷津:
树型传感器的基于仿真的迭代。 TACAS公司 2005:30-44
2004
[c5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AdullaJNdS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AdullaJNdS04
帕罗什·阿齐兹·阿卜杜拉,本特·琼森,马库斯·尼尔森,朱利安·德奥索,马扬克·萨克塞纳:
LTL（MSO）的定期模型检查。腔静脉 2004:348-360
2003
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/基础搜索/dOrso03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/basesearch/dOrso03网址
朱利安·德奥索:
符号模型检查的新方向。瑞典乌普萨拉大学，2003
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AbdullaJNd03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AdullaJND03
帕罗什·阿齐兹·阿卜杜拉,本特·琼森,马库斯·尼尔森,朱利安·德奥索:
正则模型检查中的算法改进。腔静脉 2003:236-248
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/AbdullaBd03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/AbdullaBd03
帕罗什·阿齐兹·阿卜杜拉,艾哈迈德·布阿贾尼,朱利安·德奥索:
决定单调游戏。 CSL公司 2003:1-14
2002
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AdullaJMd02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AdullaJMd02
帕罗什·阿齐兹·阿卜杜拉,本特·琼森,普丽塔·马哈塔,朱利安·德奥索:
常规树模型检查。腔静脉 2002:555-568
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/AbdullaJNd02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AdullaJND02
帕罗什·阿齐兹·阿卜杜拉,本特·琼森,马库斯·尼尔森,朱利安·德奥索:
定期模型检查简单高效。 CONCUR公司 2002:116-130

管理网站设置

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