×

Demri, Stéphane P.

Compute Distance To:
Author ID: demri.stephane-p Recent zbMATH articles by "Demri, Stéphane P."
Published as: Demri, Stéphane; Demri, S.; Demri, Stephane; Demri, Stéphane P.

Publications by Year

Citations contained in zbMATH Open

91 Publications have been cited 439 times in 272 Documents Cited by Year
LTL with the freeze quantifier and register automata. Zbl 1351.68158
Demri, Stéphane; Lazić, Ranko
48
2009
The complexity of propositional linear temporal logics in simple cases. Zbl 1009.68072
Demri, Stéphane; Schnoebelen, Philippe
25
2002
Incomplete information: Structure, inference, complexity. Zbl 1016.68163
Demri, Stéphane P.; Orłowska, Ewa S.
24
2002
An automata-theoretic approach to constraint LTL. Zbl 1113.03015
Demri, Stéphane; D’Souza, Deepak
17
2007
Temporal logics in computer science. Finite-state systems. Zbl 1380.68003
Demri, Stéphane; Goranko, Valentin; Lange, Martin
14
2016
On the almighty wand. Zbl 1262.03051
Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne
14
2012
On the freeze quantifier in Constraint LTL: Decidability and complexity. Zbl 1116.03014
Demri, Stéphane; Lazić, Ranko; Nowak, David
11
2007
Deciding regular grammar logics with converse through first-order logic. Zbl 1083.03023
Demri, Stéphane; de Nivelle, Hans
11
2005
Model-checking \(\mathrm{CTL}^*\) over flat Presburger counter systems. Zbl 1242.68157
Demri, Stéphane; Finkel, Alain; Goranko, Valentin; van Drimmelen, Govert
11
2010
A modal perspective on path constraints. Zbl 1093.68032
Alechina, Natasha; Demri, Stéphane; de Rijke, Maarten
10
2003
The covering and boundedness problems for branching vector addition systems. Zbl 1260.68264
Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko
10
2013
The effects of bounding syntactic resources on Presburger LTL. Zbl 1193.03033
Demri, Stéphane; Gascon, Régis
9
2009
The complexity of regularity in grammar logics and related modal logics. Zbl 1002.03018
Demri, Stéphane
8
2001
Towards a model-checker for counter systems. Zbl 1161.68563
Demri, S.; Finkel, A.; Goranko, V.; van Drimmelen, G.
8
2006
LTL over integer periodicity constraints. Zbl 1097.68073
Demri, Stéphane
7
2006
On the almighty wand. Zbl 1157.03010
Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne
7
2008
On selective unboundedness of VASS. Zbl 1285.68094
Demri, Stéphane
7
2013
Separation logic with one quantified variable. Zbl 1408.68036
Demri, Stéphane; Galmiche, Didier; Larchey-Wendling, Dominique; Méry, Daniel
7
2014
Verification of qualitative \(\mathbb Z\) constraints. Zbl 1134.68405
Demri, Stéphane; Gascon, Régis
6
2005
When model-checking freeze LTL over counter machines becomes decidable. Zbl 1284.68394
Demri, Stéphane; Sangnier, Arnaud
6
2010
Presburger modal logic is PSPACE-complete. Zbl 1222.03024
Demri, Stéphane; Lugiez, Denis
6
2006
Separation logics and modalities: a survey. Zbl 1398.03151
Demri, Stéphane; Deters, Morgan
6
2015
Reasoning about sequences of memory states. Zbl 1225.68068
Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne
6
2009
Reasoning about data repetitions with counter systems. Zbl 1366.68202
Demri, Stéphane; Figueira, Diego; Praveen, M.
5
2013
An automata-theoretic approach to constraint LTL. Zbl 1027.03027
Demri, Stéphane; D’Souza, Deepak
5
2002
A completeness proof for a logic with an alternative necessity operator. Zbl 0864.03012
Demri, Stéphane
5
1997
Expressive completeness of separation logic with two variables and no separating conjunction. Zbl 1367.03053
Demri, Stephane; Deters, Morgan
5
2016
A reduction from DLP to PDL. Zbl 1092.03016
Demri, Stéphane
5
2005
Taming past LTL and flat counter systems. Zbl 1378.68112
Demri, Stéphane; Dhar, Amit Kumar; Sangnier, Arnaud
4
2015
A logic with relative knowledge operators. Zbl 0928.68107
Demri, Stéphane
4
1999
Uniform and non uniform strategies for tableaux calculi for modal logics. Zbl 0826.03006
Demri, Stéphane
4
1995
Verification of qualitative \(\mathbb Z\) constraints. Zbl 1157.68048
Demri, Stéphane; Gascon, Régis
4
2008
The complexity of propositional linear temporal logics in simple cases. (Extended abstract). Zbl 0919.03012
Demri, S.; Schnoebelen, Ph.
4
1998
Model checking freeze LTL over one-counter automata. Zbl 1139.68038
Demri, Stéphane; Lazić, Ranko; Sangnier, Arnaud
4
2008
Two-variable separation logic and its inner circle. Zbl 1354.03036
Demri, Stéphane; Deters, Morgan
4
2015
Equivalence between model-checking flat counter systems and Presburger arithmetic. Zbl 1393.68101
Demri, Stéphane; Dhar, Amit; Sangnier, Arnaud
3
2014
LTL over integer periodicity constraints (extended abstract). Zbl 1126.68471
Demri, Stéphane
3
2004
The validity problem for the logic DALLA is decidable. Zbl 0847.03012
Demri, Stéphane
3
1996
Model checking memoryful linear-time logics over one-counter automata. Zbl 1334.68131
Demri, Stéphane; Lazić, Ranko; Sangnier, Arnaud
3
2010
Linear-time temporal logics with Presburger constraints: an overview. Zbl 1186.03036
Demri, Stéphane
3
2006
A parametric analysis of the state explosion problem in model checking. Zbl 1054.68557
Demri, S.; Laroussinie, F.; Schnoebelen, P.
3
2002
Theoremhood-preserving maps characterizing cut elimination for modal provability logics. Zbl 1006.03036
Demri, Stéphane; Goré, Rajeev
3
2002
Display calculi for nomial tense logics. Zbl 1016.03018
Demri, Stéphane; Goré, Rajeev
3
2002
Complexity of simple dependent bimodal logics. Zbl 0963.03076
Demri, Stéphane
3
2000
The power of modal separation logics. Zbl 1444.03113
Demri, Stéphane; Fervari, Raul
3
2019
Axiomatising logics with separating conjunction and modalities. Zbl 07169139
Demri, Stéphane; Fervari, Raul; Mansutti, Alessio
3
2019
On the complexity of modal separation logics. Zbl 1418.03077
Demri, Stéphane; Fervari, Raul
3
2018
The effects of adding reachability predicates in propositional separation logic. Zbl 06904552
Demri, Stéphane; Lozes, Étienne; Mansutti, Alessio
3
2018
Automata-based computation of temporal equilibrium models. Zbl 1377.68060
Cabalar, Pedro; Demri, Stéphane
3
2012
Complexity of modal logics with Presburger constraints. Zbl 1220.03008
Demri, Stéphane; Lugiez, Denis
3
2010
On the complexity of verifying regular properties on flat counter systems. Zbl 1334.68130
Demri, Stéphane; Dhar, Amit Kumar; Sangnier, Arnaud
3
2013
Taming past LTL and flat counter systems. Zbl 1358.68186
Demri, Stéphane; Dhar, Amit Kumar; Sangnier, Arnaud
3
2012
Temporal logics of repeating values. Zbl 1279.68203
Demri, Stéphane; D’Souza, Deepak; Gascon, Régis
3
2012
On the complexity of resource-bounded logics. Zbl 1403.68137
Alechina, Natasha; Bulling, Nils; Demri, Stephane; Logan, Brian
3
2016
Expressive completeness of separation logic with two variables and no separating conjunction. Zbl 1394.03054
Demri, Stéphane; Deters, Morgan
3
2014
Reasoning about sequences of memory states. Zbl 1132.68335
Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne
2
2007
A decidable temporal logic of repeating values. Zbl 1132.03337
Demri, Stéphane; D’Souza, Deepak; Gascon, Régis
2
2007
Modal logics with weak forms of recursion: PSPACE specimens. Zbl 1031.03031
Demri, Stéphane
2
2002
The nondeterministic information logic NIL is PSPACE-complete. Zbl 0953.03036
Demri, Stéphane
2
2000
Computational complexity of multimodal logics based on rough sets. Zbl 0971.03023
Demri, Stéphane; Stepaniuk, Jarosław
2
2000
Logical analysis of demonic nondeterministic programs. Zbl 0872.03018
Demri, Stéphane; Orłowska, Ewa
2
1996
The complexity of reversal-bounded model-checking. Zbl 1348.68121
Bersani, Marcello M.; Demri, Stéphane
2
2011
A parametric analysis of the state-explosion problem in model checking. Zbl 1094.68056
Demri, S.; Laroussinie, F.; Schnoebelen, Ph.
2
2006
Model-checking bounded multi-pushdown systems. Zbl 1381.68145
Bansal, Kshitij; Demri, Stéphane
2
2013
Temporal logics on strings with prefix relation. Zbl 1353.68176
Demri, Stéphane; Deters, Morgan
2
2016
Witness runs for counter machines. Zbl 1397.68122
Barrett, Clark; Demri, Stéphane; Deters, Morgan
2
2013
Separation logic with one quantified variable. Zbl 1435.68117
Demri, Stéphane; Galmiche, Didier; Larchey-Wendling, Dominique; Méry, Daniel
2
2017
A class of decidable information logics. Zbl 0902.68062
Demri, Stéphane
1
1998
Informational representability of models for information logics. Zbl 0923.03039
Demri, Stéphane; Orłowska, Ewa
1
1999
Sequent calculi for nominal tense logics: A step towards mechanization? Zbl 0931.03031
Demri, Stéphane
1
1999
Cut-free display calculi for nominal tense logics. Zbl 0931.03032
Demri, Stéphane; Goré, Rajeev
1
1999
Towards reasoning about Hoare relations. Zbl 0858.68057
Demri, Stéphane; Orlowska, Ewa; Rewitzky, Ingrid
1
1994
Reasoning about transfinite sequences. (Extended abstract). Zbl 1170.68513
Demri, Stéphane; Nowak, David
1
2005
Reasoning about transfinite sequences. Zbl 1109.68065
Demri, Stéphane; Nowak, David
1
2007
A polynomial space construction of tree-like models for logics with local chains of modal connectives. Zbl 1028.68064
Demri, Stéphane
1
2003
Display calculi for logics with relative accessibility relations. Zbl 0988.03030
Demri, Stéphane; Goré, Rajeev
1
2000
An \({\mathcal O}((n\log n)^3)\)-time transformation from Grz into decidable fragments of classical first-order logic. Zbl 0956.03026
Demri, Stéphane; Goré, Rajeev
1
2000
A simple modal encoding of propositional finite many-valued logics. Zbl 0992.03031
Demri, Stéphane
1
2000
Automata-theoretic decision procedures for information logics. Zbl 1025.03021
Demri, Stéphane; Sattler, Ulrike
1
2002
On modal logics characterized by models with relative accessibility relations. II. Zbl 0981.03031
Demri, Stéphane; Gabbay, Dov
1
2000
A class of information logics with a decidable validity problem. Zbl 0886.03014
Demri, Stéphane
1
1996
On the complexity of resource-bounded logics. Zbl 1403.68136
Alechina, N.; Bulling, N.; Demri, S.; Logan, B.
1
2018
A simple tableau system for the logic of elsewhere. Zbl 1415.03021
Demri, Stéphane
1
1996
Modal logics with composition on finite forests: expressivity and complexity. Zbl 07299467
Bednarczyk, Bartosz; Demri, Stéphane; Fervari, Raul; Mansutti, Alessio
1
2020
The complexity of temporal logic with until and since over ordinals. Zbl 1137.03308
Demri, Stéphane; Rabinovich, Alexander
1
2007
Specification and verification using temporal logics. Zbl 1256.68101
Demri, Stéphane; Gastin, Paul
1
2012
Reasoning about data repetitions with counter systems. Zbl 1448.68339
Demri, Stéphane; Figueira, Diego; Praveen, M.
1
2016
Petri net reachability graphs: decidability status of FO properties. Zbl 1246.68162
Darondeau, Philippe; Demri, Stéphane; Meyer, Roland; Morvan, Christophe
1
2011
The covering and boundedness problems for branching vector addition systems. Zbl 1248.68202
Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko
1
2009
Petri net reachability graphs: decidability status of first order properties. Zbl 1248.68324
Darondeau, Philippe; Demri, Stéphane; Meyer, Roland; Morvan, Christophe
1
2012
Reasoning with a bounded number of resources in ATL+. Zbl 1464.68344
Belardinelli, Francesco; Demri, Stéphane
1
2020
Modal logics with composition on finite forests: expressivity and complexity. Zbl 07299467
Bednarczyk, Bartosz; Demri, Stéphane; Fervari, Raul; Mansutti, Alessio
1
2020
Reasoning with a bounded number of resources in ATL+. Zbl 1464.68344
Belardinelli, Francesco; Demri, Stéphane
1
2020
The power of modal separation logics. Zbl 1444.03113
Demri, Stéphane; Fervari, Raul
3
2019
Axiomatising logics with separating conjunction and modalities. Zbl 07169139
Demri, Stéphane; Fervari, Raul; Mansutti, Alessio
3
2019
On the complexity of modal separation logics. Zbl 1418.03077
Demri, Stéphane; Fervari, Raul
3
2018
The effects of adding reachability predicates in propositional separation logic. Zbl 06904552
Demri, Stéphane; Lozes, Étienne; Mansutti, Alessio
3
2018
On the complexity of resource-bounded logics. Zbl 1403.68136
Alechina, N.; Bulling, N.; Demri, S.; Logan, B.
1
2018
Separation logic with one quantified variable. Zbl 1435.68117
Demri, Stéphane; Galmiche, Didier; Larchey-Wendling, Dominique; Méry, Daniel
2
2017
Temporal logics in computer science. Finite-state systems. Zbl 1380.68003
Demri, Stéphane; Goranko, Valentin; Lange, Martin
14
2016
Expressive completeness of separation logic with two variables and no separating conjunction. Zbl 1367.03053
Demri, Stephane; Deters, Morgan
5
2016
On the complexity of resource-bounded logics. Zbl 1403.68137
Alechina, Natasha; Bulling, Nils; Demri, Stephane; Logan, Brian
3
2016
Temporal logics on strings with prefix relation. Zbl 1353.68176
Demri, Stéphane; Deters, Morgan
2
2016
Reasoning about data repetitions with counter systems. Zbl 1448.68339
Demri, Stéphane; Figueira, Diego; Praveen, M.
1
2016
Separation logics and modalities: a survey. Zbl 1398.03151
Demri, Stéphane; Deters, Morgan
6
2015
Taming past LTL and flat counter systems. Zbl 1378.68112
Demri, Stéphane; Dhar, Amit Kumar; Sangnier, Arnaud
4
2015
Two-variable separation logic and its inner circle. Zbl 1354.03036
Demri, Stéphane; Deters, Morgan
4
2015
Separation logic with one quantified variable. Zbl 1408.68036
Demri, Stéphane; Galmiche, Didier; Larchey-Wendling, Dominique; Méry, Daniel
7
2014
Equivalence between model-checking flat counter systems and Presburger arithmetic. Zbl 1393.68101
Demri, Stéphane; Dhar, Amit; Sangnier, Arnaud
3
2014
Expressive completeness of separation logic with two variables and no separating conjunction. Zbl 1394.03054
Demri, Stéphane; Deters, Morgan
3
2014
The covering and boundedness problems for branching vector addition systems. Zbl 1260.68264
Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko
10
2013
On selective unboundedness of VASS. Zbl 1285.68094
Demri, Stéphane
7
2013
Reasoning about data repetitions with counter systems. Zbl 1366.68202
Demri, Stéphane; Figueira, Diego; Praveen, M.
5
2013
On the complexity of verifying regular properties on flat counter systems. Zbl 1334.68130
Demri, Stéphane; Dhar, Amit Kumar; Sangnier, Arnaud
3
2013
Model-checking bounded multi-pushdown systems. Zbl 1381.68145
Bansal, Kshitij; Demri, Stéphane
2
2013
Witness runs for counter machines. Zbl 1397.68122
Barrett, Clark; Demri, Stéphane; Deters, Morgan
2
2013
On the almighty wand. Zbl 1262.03051
Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne
14
2012
Automata-based computation of temporal equilibrium models. Zbl 1377.68060
Cabalar, Pedro; Demri, Stéphane
3
2012
Taming past LTL and flat counter systems. Zbl 1358.68186
Demri, Stéphane; Dhar, Amit Kumar; Sangnier, Arnaud
3
2012
Temporal logics of repeating values. Zbl 1279.68203
Demri, Stéphane; D’Souza, Deepak; Gascon, Régis
3
2012
Specification and verification using temporal logics. Zbl 1256.68101
Demri, Stéphane; Gastin, Paul
1
2012
Petri net reachability graphs: decidability status of first order properties. Zbl 1248.68324
Darondeau, Philippe; Demri, Stéphane; Meyer, Roland; Morvan, Christophe
1
2012
The complexity of reversal-bounded model-checking. Zbl 1348.68121
Bersani, Marcello M.; Demri, Stéphane
2
2011
Petri net reachability graphs: decidability status of FO properties. Zbl 1246.68162
Darondeau, Philippe; Demri, Stéphane; Meyer, Roland; Morvan, Christophe
1
2011
Model-checking \(\mathrm{CTL}^*\) over flat Presburger counter systems. Zbl 1242.68157
Demri, Stéphane; Finkel, Alain; Goranko, Valentin; van Drimmelen, Govert
11
2010
When model-checking freeze LTL over counter machines becomes decidable. Zbl 1284.68394
Demri, Stéphane; Sangnier, Arnaud
6
2010
Model checking memoryful linear-time logics over one-counter automata. Zbl 1334.68131
Demri, Stéphane; Lazić, Ranko; Sangnier, Arnaud
3
2010
Complexity of modal logics with Presburger constraints. Zbl 1220.03008
Demri, Stéphane; Lugiez, Denis
3
2010
LTL with the freeze quantifier and register automata. Zbl 1351.68158
Demri, Stéphane; Lazić, Ranko
48
2009
The effects of bounding syntactic resources on Presburger LTL. Zbl 1193.03033
Demri, Stéphane; Gascon, Régis
9
2009
Reasoning about sequences of memory states. Zbl 1225.68068
Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne
6
2009
The covering and boundedness problems for branching vector addition systems. Zbl 1248.68202
Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko
1
2009
On the almighty wand. Zbl 1157.03010
Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne
7
2008
Verification of qualitative \(\mathbb Z\) constraints. Zbl 1157.68048
Demri, Stéphane; Gascon, Régis
4
2008
Model checking freeze LTL over one-counter automata. Zbl 1139.68038
Demri, Stéphane; Lazić, Ranko; Sangnier, Arnaud
4
2008
An automata-theoretic approach to constraint LTL. Zbl 1113.03015
Demri, Stéphane; D’Souza, Deepak
17
2007
On the freeze quantifier in Constraint LTL: Decidability and complexity. Zbl 1116.03014
Demri, Stéphane; Lazić, Ranko; Nowak, David
11
2007
Reasoning about sequences of memory states. Zbl 1132.68335
Brochenin, Rémi; Demri, Stéphane; Lozes, Etienne
2
2007
A decidable temporal logic of repeating values. Zbl 1132.03337
Demri, Stéphane; D’Souza, Deepak; Gascon, Régis
2
2007
Reasoning about transfinite sequences. Zbl 1109.68065
Demri, Stéphane; Nowak, David
1
2007
The complexity of temporal logic with until and since over ordinals. Zbl 1137.03308
Demri, Stéphane; Rabinovich, Alexander
1
2007
Towards a model-checker for counter systems. Zbl 1161.68563
Demri, S.; Finkel, A.; Goranko, V.; van Drimmelen, G.
8
2006
LTL over integer periodicity constraints. Zbl 1097.68073
Demri, Stéphane
7
2006
Presburger modal logic is PSPACE-complete. Zbl 1222.03024
Demri, Stéphane; Lugiez, Denis
6
2006
Linear-time temporal logics with Presburger constraints: an overview. Zbl 1186.03036
Demri, Stéphane
3
2006
A parametric analysis of the state-explosion problem in model checking. Zbl 1094.68056
Demri, S.; Laroussinie, F.; Schnoebelen, Ph.
2
2006
Deciding regular grammar logics with converse through first-order logic. Zbl 1083.03023
Demri, Stéphane; de Nivelle, Hans
11
2005
Verification of qualitative \(\mathbb Z\) constraints. Zbl 1134.68405
Demri, Stéphane; Gascon, Régis
6
2005
A reduction from DLP to PDL. Zbl 1092.03016
Demri, Stéphane
5
2005
Reasoning about transfinite sequences. (Extended abstract). Zbl 1170.68513
Demri, Stéphane; Nowak, David
1
2005
LTL over integer periodicity constraints (extended abstract). Zbl 1126.68471
Demri, Stéphane
3
2004
A modal perspective on path constraints. Zbl 1093.68032
Alechina, Natasha; Demri, Stéphane; de Rijke, Maarten
10
2003
A polynomial space construction of tree-like models for logics with local chains of modal connectives. Zbl 1028.68064
Demri, Stéphane
1
2003
The complexity of propositional linear temporal logics in simple cases. Zbl 1009.68072
Demri, Stéphane; Schnoebelen, Philippe
25
2002
Incomplete information: Structure, inference, complexity. Zbl 1016.68163
Demri, Stéphane P.; Orłowska, Ewa S.
24
2002
An automata-theoretic approach to constraint LTL. Zbl 1027.03027
Demri, Stéphane; D’Souza, Deepak
5
2002
A parametric analysis of the state explosion problem in model checking. Zbl 1054.68557
Demri, S.; Laroussinie, F.; Schnoebelen, P.
3
2002
Theoremhood-preserving maps characterizing cut elimination for modal provability logics. Zbl 1006.03036
Demri, Stéphane; Goré, Rajeev
3
2002
Display calculi for nomial tense logics. Zbl 1016.03018
Demri, Stéphane; Goré, Rajeev
3
2002
Modal logics with weak forms of recursion: PSPACE specimens. Zbl 1031.03031
Demri, Stéphane
2
2002
Automata-theoretic decision procedures for information logics. Zbl 1025.03021
Demri, Stéphane; Sattler, Ulrike
1
2002
The complexity of regularity in grammar logics and related modal logics. Zbl 1002.03018
Demri, Stéphane
8
2001
Complexity of simple dependent bimodal logics. Zbl 0963.03076
Demri, Stéphane
3
2000
The nondeterministic information logic NIL is PSPACE-complete. Zbl 0953.03036
Demri, Stéphane
2
2000
Computational complexity of multimodal logics based on rough sets. Zbl 0971.03023
Demri, Stéphane; Stepaniuk, Jarosław
2
2000
Display calculi for logics with relative accessibility relations. Zbl 0988.03030
Demri, Stéphane; Goré, Rajeev
1
2000
An \({\mathcal O}((n\log n)^3)\)-time transformation from Grz into decidable fragments of classical first-order logic. Zbl 0956.03026
Demri, Stéphane; Goré, Rajeev
1
2000
A simple modal encoding of propositional finite many-valued logics. Zbl 0992.03031
Demri, Stéphane
1
2000
On modal logics characterized by models with relative accessibility relations. II. Zbl 0981.03031
Demri, Stéphane; Gabbay, Dov
1
2000
A logic with relative knowledge operators. Zbl 0928.68107
Demri, Stéphane
4
1999
Informational representability of models for information logics. Zbl 0923.03039
Demri, Stéphane; Orłowska, Ewa
1
1999
Sequent calculi for nominal tense logics: A step towards mechanization? Zbl 0931.03031
Demri, Stéphane
1
1999
Cut-free display calculi for nominal tense logics. Zbl 0931.03032
Demri, Stéphane; Goré, Rajeev
1
1999
The complexity of propositional linear temporal logics in simple cases. (Extended abstract). Zbl 0919.03012
Demri, S.; Schnoebelen, Ph.
4
1998
A class of decidable information logics. Zbl 0902.68062
Demri, Stéphane
1
1998
A completeness proof for a logic with an alternative necessity operator. Zbl 0864.03012
Demri, Stéphane
5
1997
The validity problem for the logic DALLA is decidable. Zbl 0847.03012
Demri, Stéphane
3
1996
Logical analysis of demonic nondeterministic programs. Zbl 0872.03018
Demri, Stéphane; Orłowska, Ewa
2
1996
A class of information logics with a decidable validity problem. Zbl 0886.03014
Demri, Stéphane
1
1996
A simple tableau system for the logic of elsewhere. Zbl 1415.03021
Demri, Stéphane
1
1996
Uniform and non uniform strategies for tableaux calculi for modal logics. Zbl 0826.03006
Demri, Stéphane
4
1995
Towards reasoning about Hoare relations. Zbl 0858.68057
Demri, Stéphane; Orlowska, Ewa; Rewitzky, Ingrid
1
1994
all top 5

Cited by 437 Authors

27 Demri, Stéphane P.
9 Finkel, Alain
7 Bersani, Marcello Maria
7 Bozzelli, Laura
7 Khan, Md. Aquil
7 Montanari, Angelo
7 Schmitz, Sylvain
6 Lazić, Ranko
6 Praveen, M.
6 Rossi, Matteo A. C.
6 Sangnier, Arnaud
5 Bollig, Benedikt
4 Balbiani, Philippe
4 Hofman, Piotr
4 Järvinen, Jouni
4 Lange, Martin
4 Laroussinie, François
4 Lozes, Etienne
4 Nguyen, Linh Anh
4 Orłowska, Ewa S.
4 Pietro, Pierluigi San
4 Quaas, Karin
4 Schnoebelen, Philippe
4 Szałas, Andrzej
3 Alechina, Natasha
3 Banerjee, Mohua
3 Brochenin, Rémi
3 Deters, Morgan
3 Figueira, Diego
3 Goranko, Valentin F.
3 Goré, Rajeev Prabhakar
3 Gutierrez, Julian
3 Horrocks, Ian
3 Kamide, Norihiro
3 Larchey-Wendling, Dominique
3 Leroux, Jérôme
3 Leucker, Martin
3 Lohrey, Markus
3 Lück, Martin
3 Lutz, Carsten
3 Meyer, Roland
3 Michaliszyn, Jakub
3 Patel, Vineeta Singh
3 Radeleczki, Sándor
3 Ramanayake, Revantha
3 Saivasan, Prakash
3 Sala, Pietro
3 Schröder, Lutz
3 Tan, Tony
3 Totzke, Patrick
3 Wooldridge, Michael J.
3 Wu, Zhilin
2 Alur, Rajeev
2 Artale, Alessandro
2 Babari, Parvaneh
2 Bárcenas, Everardo
2 Bednarczyk, Bartosz
2 Benítez-Guerrero, Edgard
2 Boker, Udi
2 Boudou, Joseph
2 Bulling, Nils
2 Carapelle, Claudia
2 Chambart, Pierre
2 Chen, Taolue
2 Chini, Peter
2 Chistikov, Dmitry V.
2 Choffrut, Christian
2 Ciabattoni, Agata
2 Czerwiński, Wojciech
2 de Rijke, Maarten
2 Decker, Normann
2 Dhar, Amit Kumar
2 Droste, Manfred
2 Dubois, Didier
2 Exibard, Léo
2 Fervari, Raul
2 Filiot, Emmanuel
2 Galmiche, Didier
2 Gascon, Régis
2 Göller, Stefan
2 Grigorieff, Serge
2 Habermehl, Peter
2 Harrenstein, Paul
2 Herzig, Andreas
2 Hou, Zhe
2 Iosif, Radu
2 Kartzow, Alexander
2 Klaedtke, Felix
2 Klin, Bartek
2 Kontchakov, Roman
2 Krebs, Andreas
2 Kuusisto, Antti
2 Lasota, Sławomir
2 Lodaya, Kamal
2 Logan, Brian
2 Mansutti, Alessio
2 Markey, Nicolas
2 Meier, Arne
2 Molinari, Alberto
2 Motik, Boris
...and 337 more Authors

Citations by Year