关注
Stéphane Demri
Stéphane Demri
CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)
在 lmf.cnrs.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
LTL with the freeze quantifier and register automata
S Demri, R Lazić
ACM Transactions on Computational Logic (TOCL) 10 (3), 1-30, 2009
3652009
Incomplete information: Structure, inference, complexity
SP Demri, E Orlowska
Springer Science & Business Media, 2002
201*2002
Temporal logics in computer science: finite-state systems
S Demri, V Goranko, M Lange
Cambridge University Press, 2016
1682016
The complexity of propositional linear temporal logics in simple cases
S Demri, P Schnoebelen
Information and Computation 174 (1), 84-103, 2002
1512002
An automata-theoretic approach to constraint LTL
S Demri, D d’Souza
Information and Computation 205 (3), 380-415, 2007
1342007
On the freeze quantifier in constraint LTL: decidability and complexity
S Demri, R Lazić, D Nowak
Information and Computation 205 (1), 2-24, 2007
1042007
On the almighty wand
R Brochenin, S Demri, E Lozes
Information and Computation 211, 106-137, 2012
842012
Deciding regular grammar logics with converse through first-order logic
S Demri, H De Nivelle
Journal of Logic, Language and Information 14, 289-329, 2005
732005
The effects of bounding syntactic resources on Presburger LTL
S Demri, R Gascon
Journal of Logic and Computation 19 (6), 1541-1575, 2009
562009
A modal perspective on path constraints
N Alechina, S Demri, M de Rijke
Journal of Logic and Computation 13 (6), 939-956, 2003
562003
The covering and boundedness problems for branching vector addition systems
S Demri, M Jurdziński, O Lachish, R Lazić
Journal of Computer and System Sciences 79 (1), 23-38, 2013
542013
Model checking freeze LTL over one-counter automata
S Demri, R Lazić, A Sangnier
International Conference on Foundations of Software Science and …, 2008
532008
The complexity of regularity in grammar logics and related modal logics
S Demri
Journal of Logic and Computation 11 (6), 933-960, 2001
522001
Complexity of modal logics with Presburger constraints
S Demri, D Lugiez
Journal of Applied Logic 8 (3), 233-252, 2010
492010
Logical analysis of indiscernibility
S Demri, E Orlowska
Incomplete information: Rough set analysis, 347-380, 1998
491998
On selective unboundedness of VASS
S Demri
Journal of Computer and System Sciences 79 (5), 689-713, 2013
472013
Presburger modal logic is PSPACE-Complete
S Demri, D Lugiez
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
442006
Separation logic with one quantified variable
S Demri, D Galmiche, D Larchey-Wendling, D Méry
Theory of Computing Systems 61 (2), 371-461, 2017
422017
Towards a model-checker for counter systems
S Demri, A Finkel, V Goranko, G van Drimmelen
International Symposium on Automated Technology for Verification and …, 2006
422006
A parametric analysis of the state-explosion problem in model checking
S Demri, F Laroussinie, P Schnoebelen
Journal of Computer and System Sciences 72 (4), 547-575, 2006
422006
系统目前无法执行此操作,请稍后再试。
文章 1–20