搜索页_ Nicolas Markey

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

常用资源

内部出版物

CNKI学位论文(20)

知网期刊论文(3)

在“Elsevier电子期刊”中，命中：10条，耗时：0.0229904 秒

在所有数据库中总计命中：23条

1.On the semantics of Strategy Logic

作者：Patricia Bouyer ^{patricia.bouyer@lsv.fr" class="auth_mail" title="E-mail the corresponding author} ; Patrick Gardy ^{patrick.gardy@lsv.fr" class="auth_mail" title="E-mail the corresponding author} ; Nicolas Markey ; ^{nicolas.markey@lsv.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：Formal methods ; Multi-agent systems ; Strategic reasoning ; Temporal logics

刊名：Information Processing Letters

出版年：2016

2.Augmenting with strategy contexts

作者：Franç ; ois Laroussinie^a ; ^{francois.laroussinie@liafa.univ-paris-diderot.fr" class="auth_mail" title="E-mail the corresponding author} ; Nicolas Markey^b ; ^{nicolas.markey@lsv.ens-cachan.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：Temporal logics ; Games for synthesis ; Model checking ; Satisfiability

刊名：Information and Computation

出版年：2015

3.Lower-bound-constrained runs in weighted timed automata

作者：Patricia Bouyer ; Kim G. Larsen ; Nicolas Markey

关键词：Weighted timed automata ; Energy constraints ; Time-bounded verification

刊名：Performance Evaluation

出版年：March, 2014

4.Shrinking timed automata

作者：Ocan Sankur ; Patricia Bouyer ; Nicolas Markey

刊名：Information and Computation

出版年：February, 2014

5.On the expressiveness of TPTL and MTL

作者：Patricia Bouyer ; Fabrice Chevalier ; Nicolas Markey

刊名：Information and Computation

出版年：2010

6.Improved undecidability results on weighted timed automata

作者：Patricia Bouyer ; Thomas Brihaye and Nicolas Markey

关键词：Weighted timed automata ; Weighted timed games ; Real-time systems

刊名：Information Processing Letters

出版年：2006

7.Model checking restricted sets of timed paths

作者：Nicolas Markey and Jean-Franç ; ois Raskin

关键词：Model checking ; Path checking ; Timed automaton ; Timed path ; Clock region ; Timed temporal logics

刊名：Theoretical Computer Science

出版年：2006

8.Mu-calculus path checking

作者：Nicolas Markey and Philippe Schnoebelen

关键词：Program correctness ; Formal methods ; Mu-calculus ; Model checking

刊名：Information Processing Letters

出版年：2006

9.Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past

作者：Nicolas Markey

刊名：Electronic Notes in Theoretical Computer Science

出版年：2002

10.Preface: Volume 68, Issue 2

作者：Nestmann Uwe ; Panangaden Prakash

刊名：Electronic Notes in Theoretical Computer Science

出版年：2002

1

按检索点细分(10)

作者(9)

文摘(1)

按出版年细分(10)

2027年及以后(2)

2016年(1)

2015年(1)

2010年(1)

2006年(3)

2002年(2)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700