Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stéphane Demri
@article{DBLP:journals/tocl/BednarczykDFM23,
author = {Bartosz Bednarczyk and
St{\'{e}}phane Demri and
Raul Fervari and
Alessio Mansutti},
title = {On Composing Finite Forests with Modal Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {2},
pages = {12:1--12:46},
year = {2023},
url = {https://doi.org/10.1145/3569954},
doi = {10.1145/3569954},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BednarczykDFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DemriF23,
author = {St{\'{e}}phane Demri and
Raul Fervari},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Model-Checking for Ability-Based Logics with Constrained Plans},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {6305--6312},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25776},
doi = {10.1609/AAAI.V37I5.25776},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DemriF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DemriQ23,
author = {St{\'{e}}phane Demri and
Karin Quaas},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Constraint Automata on Infinite Data Trees: from CTL({\(\mathbb{Z}\)})/
CTL{\^{}}*\}({\(\mathbb{Z}\)}) to Decision Procedures},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {29:1--29:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.29},
doi = {10.4230/LIPICS.CONCUR.2023.29},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DemriQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DemriQ23,
author = {St{\'{e}}phane Demri and
Karin Quaas},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {First Steps Towards Taming Description Logics with Strings},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {322--337},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_23},
doi = {10.1007/978-3-031-43619-2\_23},
timestamp = {Thu, 28 Sep 2023 17:18:56 +0200},
biburl = {https://dblp.org/rec/conf/jelia/DemriQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DemriR23,
author = {St{\'{e}}phane Demri and
Raine R{\"{o}}nnholm},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {How to Manage a Budget with {ATL+}},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {188--197},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/19},
doi = {10.24963/KR.2023/19},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/DemriR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-05327,
author = {St{\'{e}}phane Demri and
Karin Quaas},
title = {Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To
Decision Procedures},
journal = {CoRR},
volume = {abs/2302.05327},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.05327},
doi = {10.48550/ARXIV.2302.05327},
eprinttype = {arXiv},
eprint = {2302.05327},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-05327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BednarczykD22,
author = {Bartosz Bednarczyk and
St{\'{e}}phane Demri},
title = {Why Does Propositional Quantification Make Modal and Temporal Logics
on Trees Robustly Hard?},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {3},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(3:5)2022},
doi = {10.46298/LMCS-18(3:5)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BednarczykD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BelardinelliD21,
author = {Francesco Belardinelli and
St{\'{e}}phane Demri},
title = {Strategic reasoning with a bounded number of resources: The quest
for tractability},
journal = {Artif. Intell.},
volume = {300},
pages = {103557},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2021.103557},
doi = {10.1016/J.ARTINT.2021.103557},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BelardinelliD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DemriLM21,
author = {St{\'{e}}phane Demri and
{\'{E}}tienne Lozes and
Alessio Mansutti},
title = {A Complete Axiomatisation for Quantifier-Free Separation Logic},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {3},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(3:17)2021},
doi = {10.46298/LMCS-17(3:17)2021},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/DemriLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DemriFM21,
author = {St{\'{e}}phane Demri and
Raul Fervari and
Alessio Mansutti},
title = {Internal proof calculi for modal logics with separating conjunction},
journal = {J. Log. Comput.},
volume = {31},
number = {3},
pages = {832--891},
year = {2021},
url = {https://doi.org/10.1093/logcom/exab016},
doi = {10.1093/LOGCOM/EXAB016},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DemriFM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/DemriQ21,
author = {St{\'{e}}phane Demri and
Karin Quaas},
title = {Concrete domains in logics: a survey},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {3},
pages = {6--29},
year = {2021},
url = {https://doi.org/10.1145/3477986.3477988},
doi = {10.1145/3477986.3477988},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/DemriQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DemriLM21,
author = {St{\'{e}}phane Demri and
{\'{E}}tienne Lozes and
Alessio Mansutti},
title = {The Effects of Adding Reachability Predicates in Quantifier-Free Separation
Logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {22},
number = {2},
pages = {14:1--14:56},
year = {2021},
url = {https://doi.org/10.1145/3448269},
doi = {10.1145/3448269},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/DemriLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-13122,
author = {Bartosz Bednarczyk and
St{\'{e}}phane Demri},
title = {Why Propositional Quantification Makes Modal and Temporal Logics on
Trees Robustly Hard?},
journal = {CoRR},
volume = {abs/2104.13122},
year = {2021},
url = {https://arxiv.org/abs/2104.13122},
eprinttype = {arXiv},
eprint = {2104.13122},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-13122.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AlechinaDL20,
author = {Natasha Alechina and
St{\'{e}}phane Demri and
Brian Logan},
title = {Parameterised Resource-Bounded {ATL}},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {7040--7046},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i05.6189},
doi = {10.1609/AAAI.V34I05.6189},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AlechinaDL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DemriLM20,
author = {St{\'{e}}phane Demri and
{\'{E}}tienne Lozes and
Alessio Mansutti},
editor = {Maribel Fern{\'{a}}ndez and
Anca Muscholl},
title = {Internal Calculi for Separation Logics},
booktitle = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020,
January 13-16, 2020, Barcelona, Spain},
series = {LIPIcs},
volume = {152},
pages = {19:1--19:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CSL.2020.19},
doi = {10.4230/LIPICS.CSL.2020.19},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/DemriLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BelardinelliD20,
author = {Francesco Belardinelli and
St{\'{e}}phane Demri},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Reasoning with a Bounded Number of Resources in {ATL+}},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {624--631},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200147},
doi = {10.3233/FAIA200147},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BelardinelliD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BednarczykDM20,
author = {Bartosz Bednarczyk and
St{\'{e}}phane Demri and
Alessio Mansutti},
editor = {Christian Bessiere},
title = {A Framework for Reasoning about Dynamic Axioms in Description Logics},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1681--1687},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/233},
doi = {10.24963/IJCAI.2020/233},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BednarczykDM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BednarczykDFM20,
author = {Bartosz Bednarczyk and
St{\'{e}}phane Demri and
Raul Fervari and
Alessio Mansutti},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {Modal Logics with Composition on Finite Forests: Expressivity and
Complexity},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {167--180},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394787},
doi = {10.1145/3373718.3394787},
timestamp = {Sat, 30 Sep 2023 09:52:07 +0200},
biburl = {https://dblp.org/rec/conf/lics/BednarczykDFM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-05156,
author = {St{\'{e}}phane Demri and
{\'{E}}tienne Lozes and
Alessio Mansutti},
title = {A Complete Axiomatisation for Quantifier-Free Separation Logic},
journal = {CoRR},
volume = {abs/2006.05156},
year = {2020},
url = {https://arxiv.org/abs/2006.05156},
eprinttype = {arXiv},
eprint = {2006.05156},
timestamp = {Fri, 12 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-05156.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-08598,
author = {Bartosz Bednarczyk and
St{\'{e}}phane Demri and
Raul Fervari and
Alessio Mansutti},
title = {Modal Logics with Composition on Finite Forests: Expressivity and
Complexity (Extra Material)},
journal = {CoRR},
volume = {abs/2007.08598},
year = {2020},
url = {https://arxiv.org/abs/2007.08598},
eprinttype = {arXiv},
eprint = {2007.08598},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-08598.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DemriF19,
author = {St{\'{e}}phane Demri and
Raul Fervari},
title = {The power of modal separation logics},
journal = {J. Log. Comput.},
volume = {29},
number = {8},
pages = {1139--1184},
year = {2019},
url = {https://doi.org/10.1093/logcom/exz019},
doi = {10.1093/LOGCOM/EXZ019},
timestamp = {Mon, 03 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/DemriF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelardinelliD19,
author = {Francesco Belardinelli and
St{\'{e}}phane Demri},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {Resource-bounded {ATL:} the Quest for Tractable Fragments},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {206--214},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331694},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BelardinelliD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DemriFM19,
author = {St{\'{e}}phane Demri and
Raul Fervari and
Alessio Mansutti},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Axiomatising Logics with Separating Conjunction and Modalities},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {692--708},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_45},
doi = {10.1007/978-3-030-19570-0\_45},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/DemriFM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BednarczykD19,
author = {Bartosz Bednarczyk and
St{\'{e}}phane Demri},
title = {Why Propositional Quantification Makes Modal Logics on Trees Robustly
Hard?},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785656},
doi = {10.1109/LICS.2019.8785656},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/lics/BednarczykD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-05016,
author = {St{\'{e}}phane Demri and
{\'{E}}tienne Lozes and
Alessio Mansutti},
title = {Internal Calculi for Separation Logics},
journal = {CoRR},
volume = {abs/1910.05016},
year = {2019},
url = {http://arxiv.org/abs/1910.05016},
eprinttype = {arXiv},
eprint = {1910.05016},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-05016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DemriDS18,
author = {St{\'{e}}phane Demri and
Amit Kumar Dhar and
Arnaud Sangnier},
title = {Equivalence between model-checking flat counter systems and Presburger
arithmetic},
journal = {Theor. Comput. Sci.},
volume = {735},
pages = {2--23},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2017.07.007},
doi = {10.1016/J.TCS.2017.07.007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DemriDS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlechinaBDL18,
author = {Natasha Alechina and
Nils Bulling and
St{\'{e}}phane Demri and
Brian Logan},
title = {On the complexity of resource-bounded logics},
journal = {Theor. Comput. Sci.},
volume = {750},
pages = {69--100},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.01.019},
doi = {10.1016/J.TCS.2018.01.019},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlechinaBDL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/DemriF18,
author = {St{\'{e}}phane Demri and
Raul Fervari},
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {On the Complexity of Modal Separation Logics},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
2018},
pages = {179--198},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/Demri-Fervari.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/DemriF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DemriLM18,
author = {St{\'{e}}phane Demri and
{\'{E}}tienne Lozes and
Alessio Mansutti},
editor = {Christel Baier and
Ugo Dal Lago},
title = {The Effects of Adding Reachability Predicates in Propositional Separation
Logic},
booktitle = {Foundations of Software Science and Computation Structures - 21st
International Conference, {FOSSACS} 2018, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
Thessaloniki, Greece, April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10803},
pages = {476--493},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89366-2\_26},
doi = {10.1007/978-3-319-89366-2\_26},
timestamp = {Fri, 31 Jan 2020 21:32:20 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/DemriLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Demri18,
author = {St{\'{e}}phane Demri},
editor = {Natasha Alechina and
Kjetil N{\o}rv{\aa}g and
Wojciech Penczek},
title = {On Temporal and Separation Logics (Invited Paper)},
booktitle = {25th International Symposium on Temporal Representation and Reasoning,
{TIME} 2018, Warsaw, Poland, October 15-17, 2018},
series = {LIPIcs},
volume = {120},
pages = {1:1--1:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.TIME.2018.1},
doi = {10.4230/LIPICS.TIME.2018.1},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/time/Demri18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-05410,
author = {St{\'{e}}phane Demri and
{\'{E}}tienne Lozes and
Alessio Mansutti},
title = {The Effects of Adding Reachability Predicates in Propositional Separation
Logic},
journal = {CoRR},
volume = {abs/1810.05410},
year = {2018},
url = {http://arxiv.org/abs/1810.05410},
eprinttype = {arXiv},
eprint = {1810.05410},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-05410.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DemriKW17,
author = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Preface - Special Issue of Selected Extended Papers of {IJCAR} 2014},
journal = {J. Autom. Reason.},
volume = {58},
number = {1},
pages = {1--2},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9394-0},
doi = {10.1007/S10817-016-9394-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/DemriKW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/DemriGLM17,
author = {St{\'{e}}phane Demri and
Didier Galmiche and
Dominique Larchey{-}Wendling and
Daniel M{\'{e}}ry},
title = {Separation Logic with One Quantified Variable},
journal = {Theory Comput. Syst.},
volume = {61},
number = {2},
pages = {371--461},
year = {2017},
url = {https://doi.org/10.1007/s00224-016-9713-1},
doi = {10.1007/S00224-016-9713-1},
timestamp = {Wed, 26 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/DemriGLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DemriLL17,
author = {St{\'{e}}phane Demri and
{\'{E}}tienne Lozes and
Denis Lugiez},
editor = {Satya V. Lokam and
R. Ramanujam},
title = {On Symbolic Heaps Modulo Permission Theories},
booktitle = {37th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2017, December 11-15, 2017,
Kanpur, India},
series = {LIPIcs},
volume = {93},
pages = {25:1--25:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2017.25},
doi = {10.4230/LIPICS.FSTTCS.2017.25},
timestamp = {Fri, 03 Sep 2021 15:00:19 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DemriLL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/Demri2016,
author = {St{\'{e}}phane Demri and
Valentin Goranko and
Martin Lange},
title = {Temporal Logics in Computer Science: Finite-State Systems},
series = {Cambridge Tracts in Theoretical Computer Science},
publisher = {Cambridge University Press},
year = {2016},
url = {https://doi.org/10.1017/CBO9781139236119},
doi = {10.1017/CBO9781139236119},
isbn = {9781107028364},
timestamp = {Tue, 09 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/cu/Demri2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DemriFP16,
author = {St{\'{e}}phane Demri and
Diego Figueira and
M. Praveen},
title = {Reasoning about Data Repetitions with Counter Systems},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {3},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(3:1)2016},
doi = {10.2168/LMCS-12(3:1)2016},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DemriFP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AbdullaDFLP16,
author = {Parosh Aziz Abdulla and
St{\'{e}}phane Demri and
Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {143},
number = {3-4},
pages = {i--ii},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1311},
doi = {10.3233/FI-2016-1311},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AbdullaDFLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DemriD16,
author = {St{\'{e}}phane Demri and
Morgan Deters},
title = {Temporal logics on strings with prefix relation},
journal = {J. Log. Comput.},
volume = {26},
number = {3},
pages = {989--1017},
year = {2016},
url = {https://doi.org/10.1093/logcom/exv028},
doi = {10.1093/LOGCOM/EXV028},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DemriD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DemriD16,
author = {St{\'{e}}phane Demri and
Morgan Deters},
title = {Expressive Completeness of Separation Logic with Two Variables and
No Separating Conjunction},
journal = {{ACM} Trans. Comput. Log.},
volume = {17},
number = {2},
pages = {12},
year = {2016},
url = {https://doi.org/10.1145/2835490},
doi = {10.1145/2835490},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/DemriD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AlechinaBDL16,
author = {Natasha Alechina and
Nils Bulling and
St{\'{e}}phane Demri and
Brian Logan},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {On the Complexity of Resource-Bounded Logics},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {36--50},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_3},
doi = {10.1007/978-3-319-45994-3\_3},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/AlechinaBDL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiml/2016,
editor = {Lev D. Beklemishev and
St{\'{e}}phane Demri and
Andr{\'{a}}s Mat{\'{e}}},
title = {Advances in Modal Logic 11, proceedings of the 11th conference on
"Advances in Modal Logic," held in Budapest, Hungary, August
30 - September 2, 2016},
publisher = {College Publications},
year = {2016},
url = {http://www.aiml.net/volumes/volume11/},
isbn = {978-1-84890-201-5},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DemriDS15,
author = {St{\'{e}}phane Demri and
Amit Kumar Dhar and
Arnaud Sangnier},
title = {Taming past {LTL} and flat counter systems},
journal = {Inf. Comput.},
volume = {242},
pages = {306--339},
year = {2015},
url = {https://doi.org/10.1016/j.ic.2015.03.007},
doi = {10.1016/J.IC.2015.03.007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DemriDS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DemriD15,
author = {St{\'{e}}phane Demri and
Morgan Deters},
title = {Separation logics and modalities: a survey},
journal = {J. Appl. Non Class. Logics},
volume = {25},
number = {1},
pages = {50--99},
year = {2015},
url = {https://doi.org/10.1080/11663081.2015.1018801},
doi = {10.1080/11663081.2015.1018801},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/DemriD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DemriD15,
author = {St{\'{e}}phane Demri and
Morgan Deters},
title = {Two-Variable Separation Logic and Its Inner Circle},
journal = {{ACM} Trans. Comput. Log.},
volume = {16},
number = {2},
pages = {15:1--15:36},
year = {2015},
url = {https://doi.org/10.1145/2724711},
doi = {10.1145/2724711},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/DemriD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/DemriD14,
author = {St{\'{e}}phane Demri and
Morgan Deters},
editor = {Rajeev Gor{\'{e}} and
Barteld P. Kooi and
Agi Kurucz},
title = {The Effects of Modalities in Separation Logics (Extended Abstract)},
booktitle = {Advances in Modal Logic 10, invited and contributed papers from the
tenth conference on "Advances in Modal Logic," held in Groningen,
The Netherlands, August 5-8, 2014},
pages = {134--138},
publisher = {College Publications},
year = {2014},
url = {http://www.aiml.net/volumes/volume10/Demri-Deters.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/DemriD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DemriD14,
author = {St{\'{e}}phane Demri and
Morgan Deters},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Expressive completeness of separation logic with two variables and
no separating conjunction},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {37:1--37:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603142},
doi = {10.1145/2603088.2603142},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/DemriD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/DemriGLM14,
author = {St{\'{e}}phane Demri and
Didier Galmiche and
Dominique Larchey{-}Wendling and
Daniel M{\'{e}}ry},
editor = {Edward A. Hirsch and
Sergei O. Kuznetsov and
Jean{-}{\'{E}}ric Pin and
Nikolay K. Vereshchagin},
title = {Separation Logic with One Quantified Variable},
booktitle = {Computer Science - Theory and Applications - 9th International Computer
Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8476},
pages = {125--138},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06686-8\_10},
doi = {10.1007/978-3-319-06686-8\_10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csr/DemriGLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/DemriDS14,
author = {St{\'{e}}phane Demri and
Amit Kumar Dhar and
Arnaud Sangnier},
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Equivalence Between Model-Checking Flat Counter Systems and Presburger
Arithmetic},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
pages = {85--97},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11439-2\_7},
doi = {10.1007/978-3-319-11439-2\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/DemriDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2014,
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6},
doi = {10.1007/978-3-319-08587-6},
isbn = {978-3-319-08586-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DemriJLL13,
author = {St{\'{e}}phane Demri and
Marcin Jurdzinski and
Oded Lachish and
Ranko Lazic},
title = {The covering and boundedness problems for branching vector addition
systems},
journal = {J. Comput. Syst. Sci.},
volume = {79},
number = {1},
pages = {23--38},
year = {2013},
url = {https://doi.org/10.1016/j.jcss.2012.04.002},
doi = {10.1016/J.JCSS.2012.04.002},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/DemriJLL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Demri13,
author = {St{\'{e}}phane Demri},
title = {On selective unboundedness of {VASS}},
journal = {J. Comput. Syst. Sci.},
volume = {79},
number = {5},
pages = {689--713},
year = {2013},
url = {https://doi.org/10.1016/j.jcss.2013.01.014},
doi = {10.1016/J.JCSS.2013.01.014},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Demri13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/BansalD13,
author = {Kshitij Bansal and
St{\'{e}}phane Demri},
editor = {Andrei A. Bulatov and
Arseny M. Shur},
title = {Model-Checking Bounded Multi-Pushdown Systems},
booktitle = {Computer Science - Theory and Applications - 8th International Computer
Science Symposium in Russia, {CSR} 2013, Ekaterinburg, Russia, June
25-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7913},
pages = {405--417},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38536-0\_35},
doi = {10.1007/978-3-642-38536-0\_35},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/csr/BansalD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BarrettDD13,
author = {Clark W. Barrett and
St{\'{e}}phane Demri and
Morgan Deters},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Witness Runs for Counter Machines},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {120--150},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_9},
doi = {10.1007/978-3-642-40885-4\_9},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BarrettDD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DemriDS13,
author = {St{\'{e}}phane Demri and
Amit Kumar Dhar and
Arnaud Sangnier},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {On the Complexity of Verifying Regular Properties on Flat Counter
Systems,},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7966},
pages = {162--173},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_17},
doi = {10.1007/978-3-642-39212-2\_17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DemriDS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DemriFP13,
author = {St{\'{e}}phane Demri and
Diego Figueira and
M. Praveen},
title = {Reasoning about Data Repetitions with Counter Systems},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {33--42},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.8},
doi = {10.1109/LICS.2013.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DemriFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BarrettDD13,
author = {Clark W. Barrett and
St{\'{e}}phane Demri and
Morgan Deters},
editor = {Didier Galmiche and
Dominique Larchey{-}Wendling},
title = {Witness Runs for Counter Machines - (Abstract)},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th
International Conference, {TABLEAUX} 2013, Nancy, France, September
16-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8123},
pages = {1--4},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40537-2\_1},
doi = {10.1007/978-3-642-40537-2\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BarrettDD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-6301,
author = {St{\'{e}}phane Demri and
Amit Kumar Dhar and
Arnaud Sangnier},
title = {On the Complexity of Verifying Regular Properties on Flat Counter
Systems},
journal = {CoRR},
volume = {abs/1304.6301},
year = {2013},
url = {http://arxiv.org/abs/1304.6301},
eprinttype = {arXiv},
eprint = {1304.6301},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-6301.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2972,
author = {Philippe Darondeau and
St{\'{e}}phane Demri and
Roland Meyer and
Christophe Morvan},
title = {Petri Net Reachability Graphs: Decidability Status of First Order
Properties},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {4},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(4:9)2012},
doi = {10.2168/LMCS-8(4:9)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2972.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrocheninDL12,
author = {R{\'{e}}mi Brochenin and
St{\'{e}}phane Demri and
{\'{E}}tienne Lozes},
title = {On the almighty wand},
journal = {Inf. Comput.},
volume = {211},
pages = {106--137},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2011.12.003},
doi = {10.1016/J.IC.2011.12.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BrocheninDL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DemriDG12,
author = {St{\'{e}}phane Demri and
Deepak D'Souza and
R{\'{e}}gis Gascon},
title = {Temporal Logics of Repeating Values},
journal = {J. Log. Comput.},
volume = {22},
number = {5},
pages = {1059--1096},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr013},
doi = {10.1093/LOGCOM/EXR013},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DemriDG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/CarreiroD12,
author = {Facundo Carreiro and
St{\'{e}}phane Demri},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner and
Silvio Ghilardi and
Lawrence S. Moss},
title = {Beyond Regularity for Presburger Modal Logic},
booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances
in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012},
pages = {161--182},
publisher = {College Publications},
year = {2012},
url = {http://www.aiml.net/volumes/volume9/Carreiro-Demri.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:06 +0100},
biburl = {https://dblp.org/rec/conf/aiml/CarreiroD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DemriDS12,
author = {St{\'{e}}phane Demri and
Amit Kumar Dhar and
Arnaud Sangnier},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Taming Past {LTL} and Flat Counter Systems},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {179--193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_16},
doi = {10.1007/978-3-642-31365-3\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/DemriDS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/automata2012/DemriG12,
author = {St{\'{e}}phane Demri and
Paul Gastin},
editor = {Deepak D'Souza and
Priti Shankar},
title = {Specification and Verification using Temporal Logics},
booktitle = {Modern Applications of Automata Theory},
series = {IISc Research Monographs Series},
volume = {2},
pages = {457--494},
publisher = {World Scientific},
year = {2012},
url = {https://doi.org/10.1142/9789814271059\_0015},
doi = {10.1142/9789814271059\_0015},
timestamp = {Sat, 03 Aug 2019 22:52:51 +0200},
biburl = {https://dblp.org/rec/books/ws/automata2012/DemriG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-6584,
author = {St{\'{e}}phane Demri and
Amit Kumar Dhar and
Arnaud Sangnier},
title = {Taming Past {LTL} and Flat Counter Systems},
journal = {CoRR},
volume = {abs/1205.6584},
year = {2012},
url = {http://arxiv.org/abs/1205.6584},
eprinttype = {arXiv},
eprint = {1205.6584},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-6584.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-1485,
author = {Kshitij Bansal and
St{\'{e}}phane Demri},
title = {A Note on the Complexity of Model-Checking Bounded Multi-Pushdown
Systems},
journal = {CoRR},
volume = {abs/1212.1485},
year = {2012},
url = {http://arxiv.org/abs/1212.1485},
eprinttype = {arXiv},
eprint = {1212.1485},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-1485.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BersaniD11,
author = {Marcello M. Bersani and
St{\'{e}}phane Demri},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {The Complexity of Reversal-Bounded Model-Checking},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {71--86},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_6},
doi = {10.1007/978-3-642-24364-6\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BersaniD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DarondeauDMM11,
author = {Philippe Darondeau and
St{\'{e}}phane Demri and
Roland Meyer and
Christophe Morvan},
editor = {Supratik Chakraborty and
Amit Kumar},
title = {Petri Net Reachability Graphs: Decidability Status of {FO} Properties},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011,
Mumbai, India},
series = {LIPIcs},
volume = {13},
pages = {140--151},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.140},
doi = {10.4230/LIPICS.FSTTCS.2011.140},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/DarondeauDMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CabalarD11,
author = {Pedro Cabalar and
St{\'{e}}phane Demri},
editor = {Germ{\'{a}}n Vidal},
title = {Automata-Based Computation of Temporal Equilibrium Models},
booktitle = {Logic-Based Program Synthesis and Transformation - 21st International
Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7225},
pages = {57--72},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32211-2\_5},
doi = {10.1007/978-3-642-32211-2\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/CabalarD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-5206,
author = {St{\'{e}}phane Demri and
Alexander Rabinovich},
title = {The complexity of linear-time temporal logic over the class of ordinals},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:9)2010},
doi = {10.2168/LMCS-6(4:9)2010},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-5206.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DemriFGD10,
author = {St{\'{e}}phane Demri and
Alain Finkel and
Valentin Goranko and
Govert van Drimmelen},
title = {Model-checking CTL* over flat Presburger counter systems},
journal = {J. Appl. Non Class. Logics},
volume = {20},
number = {4},
pages = {313--344},
year = {2010},
url = {https://doi.org/10.3166/jancl.20.313-344},
doi = {10.3166/JANCL.20.313-344},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/DemriFGD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/DemriL10,
author = {St{\'{e}}phane Demri and
Denis Lugiez},
title = {Complexity of modal logics with Presburger constraints},
journal = {J. Appl. Log.},
volume = {8},
number = {3},
pages = {233--252},
year = {2010},
url = {https://doi.org/10.1016/j.jal.2010.03.001},
doi = {10.1016/J.JAL.2010.03.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/DemriL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DemriLS10,
author = {St{\'{e}}phane Demri and
Ranko Lazic and
Arnaud Sangnier},
title = {Model checking memoryful linear-time logics over one-counter automata},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {22-24},
pages = {2298--2316},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.02.021},
doi = {10.1016/J.TCS.2010.02.021},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DemriLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DemriS10,
author = {St{\'{e}}phane Demri and
Arnaud Sangnier},
editor = {C.{-}H. Luke Ong},
title = {When Model-Checking Freeze {LTL} over Counter Machines Becomes Decidable},
booktitle = {Foundations of Software Science and Computational Structures, 13th
International Conference, {FOSSACS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6014},
pages = {176--190},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12032-9\_13},
doi = {10.1007/978-3-642-12032-9\_13},
timestamp = {Wed, 16 Mar 2022 23:55:17 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/DemriS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Demri10,
author = {St{\'{e}}phane Demri},
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {Counter Systems for Data Logics},
booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {10},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5\_3},
doi = {10.1007/978-3-642-15675-5\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Demri10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-0217,
author = {St{\'{e}}phane Demri},
editor = {Yu{-}Fang Chen and
Ahmed Rezine},
title = {On Selective Unboundedness of {VASS}},
booktitle = {Proceedings 12th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2010, Singapore, Singapore, 21st September 2010},
series = {{EPTCS}},
volume = {39},
pages = {1--15},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.39.1},
doi = {10.4204/EPTCS.39.1},
timestamp = {Mon, 03 Jan 2022 17:11:33 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-0217.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BrocheninDL09,
author = {R{\'{e}}mi Brochenin and
St{\'{e}}phane Demri and
{\'{E}}tienne Lozes},
title = {Reasoning about sequences of memory states},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {305--323},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.004},
doi = {10.1016/J.APAL.2009.07.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BrocheninDL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DemriG09,
author = {St{\'{e}}phane Demri and
R{\'{e}}gis Gascon},
title = {The Effects of Bounding Syntactic Resources on Presburger {LTL}},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1541--1575},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp037},
doi = {10.1093/LOGCOM/EXP037},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DemriG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DemriL09,
author = {St{\'{e}}phane Demri and
Ranko Lazic},
title = {{LTL} with the freeze quantifier and register automata},
journal = {{ACM} Trans. Comput. Log.},
volume = {10},
number = {3},
pages = {16:1--16:30},
year = {2009},
url = {https://doi.org/10.1145/1507244.1507246},
doi = {10.1145/1507244.1507246},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/DemriL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DemriJLL09,
author = {St{\'{e}}phane Demri and
Marcin Jurdzinski and
Oded Lachish and
Ranko Lazic},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {The Covering and Boundedness Problems for Branching Vector Addition
Systems},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {181--192},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2317},
doi = {10.4230/LIPICS.FSTTCS.2009.2317},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DemriJLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/m4m/2007,
editor = {Carlos Areces and
St{\'{e}}phane Demri},
title = {Proceedings of the 5th Workshop on Methods for Modalities, {M4M} 2007,
Cachan, France, November 29-30, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {231},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/231/suppl/C},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/m4m/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DemriG08,
author = {St{\'{e}}phane Demri and
R{\'{e}}gis Gascon},
title = {Verification of qualitative {Z} constraints},
journal = {Theor. Comput. Sci.},
volume = {409},
number = {1},
pages = {24--40},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.07.023},
doi = {10.1016/J.TCS.2008.07.023},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DemriG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BrocheninDL08,
author = {R{\'{e}}mi Brochenin and
St{\'{e}}phane Demri and
{\'{E}}tienne Lozes},
editor = {Michael Kaminski and
Simone Martini},
title = {On the Almighty Wand},
booktitle = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th
Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5213},
pages = {323--338},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87531-4\_24},
doi = {10.1007/978-3-540-87531-4\_24},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/BrocheninDL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DemriLS08,
author = {St{\'{e}}phane Demri and
Ranko Lazic and
Arnaud Sangnier},
editor = {Roberto M. Amadio},
title = {Model Checking Freeze {LTL} over One-Counter Automata},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {490--504},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_34},
doi = {10.1007/978-3-540-78499-9\_34},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DemriLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2008,
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://ieeexplore.ieee.org/xpl/conhome/4553273/proceeding},
isbn = {978-0-7695-3181-6},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0810-5517,
author = {St{\'{e}}phane Demri and
Ranko Lazic and
Arnaud Sangnier},
title = {Model checking memoryful linear-time logics over one-counter automata},
journal = {CoRR},
volume = {abs/0810.5517},
year = {2008},
url = {http://arxiv.org/abs/0810.5517},
eprinttype = {arXiv},
eprint = {0810.5517},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0810-5517.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Demri07,
author = {St{\'{e}}phane Demri},
title = {Logiques pour la sp{\'{e}}cification et v{\'{e}}rification},
year = {2007},
url = {https://tel.archives-ouvertes.fr/tel-03189929},
timestamp = {Fri, 16 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Demri07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DemriO07,
author = {St{\'{e}}phane Demri and
Ewa Orlowska},
title = {Relative Nondeterministic Information Logic is EXPTIME-complete},
journal = {Fundam. Informaticae},
volume = {75},
number = {1-4},
pages = {163--178},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi75-1-4-10},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DemriO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DemriLN07,
author = {St{\'{e}}phane Demri and
Ranko Lazic and
David Nowak},
title = {On the freeze quantifier in Constraint {LTL:} Decidability and complexity},
journal = {Inf. Comput.},
volume = {205},
number = {1},
pages = {2--24},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2006.08.003},
doi = {10.1016/J.IC.2006.08.003},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DemriLN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DemriD07,
author = {St{\'{e}}phane Demri and
Deepak D'Souza},
title = {An automata-theoretic approach to constraint {LTL}},
journal = {Inf. Comput.},
volume = {205},
number = {3},
pages = {380--415},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2006.09.006},
doi = {10.1016/J.IC.2006.09.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DemriD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DemriN07,
author = {St{\'{e}}phane Demri and
David Nowak},
title = {Reasoning about Transfinite Sequences},
journal = {Int. J. Found. Comput. Sci.},
volume = {18},
number = {1},
pages = {87--112},
year = {2007},
url = {https://doi.org/10.1142/S0129054107004589},
doi = {10.1142/S0129054107004589},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/DemriN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BrocheninDL07,
author = {R{\'{e}}mi Brochenin and
St{\'{e}}phane Demri and
{\'{E}}tienne Lozes},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Reasoning About Sequences of Memory States},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {100--114},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_8},
doi = {10.1007/978-3-540-72734-7\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BrocheninDL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/DemriDG07,
author = {St{\'{e}}phane Demri and
Deepak D'Souza and
R{\'{e}}gis Gascon},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {A Decidable Temporal Logic of Repeating Values},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {180--194},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_13},
doi = {10.1007/978-3-540-72734-7\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/DemriDG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DemriR07,
author = {St{\'{e}}phane Demri and
Alexander Rabinovich},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {The Complexity of Temporal Logic with Until and Since over Ordinals},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {531--545},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_38},
doi = {10.1007/978-3-540-75560-9\_38},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DemriR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/DemriG07,
author = {St{\'{e}}phane Demri and
R{\'{e}}gis Gascon},
title = {The Effects of Bounding Syntactic Resources on Presburger {LTL}},
booktitle = {14th International Symposium on Temporal Representation and Reasoning
{(TIME} 2007), 28-30 June 2007, Alicante, Spain},
pages = {94--104},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TIME.2007.63},
doi = {10.1109/TIME.2007.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/DemriG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArecesD09,
author = {Carlos Areces and
St{\'{e}}phane Demri},
editor = {Carlos Areces and
St{\'{e}}phane Demri},
title = {Preface},
booktitle = {Proceedings of the 5th Workshop on Methods for Modalities, {M4M} 2007,
Cachan, France, November 29-30, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {231},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.02.025},
doi = {10.1016/J.ENTCS.2009.02.025},
timestamp = {Mon, 27 Feb 2023 09:39:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArecesD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Demri06,
author = {St{\'{e}}phane Demri},
title = {Linear-time temporal logics with Presburger constraints: an overview},
journal = {J. Appl. Non Class. Logics},
volume = {16},
number = {3-4},
pages = {311--348},
year = {2006},
url = {https://doi.org/10.3166/jancl.16.311-347},
doi = {10.3166/JANCL.16.311-347},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Demri06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DemriLS06,
author = {St{\'{e}}phane Demri and
Fran{\c{c}}ois Laroussinie and
Philippe Schnoebelen},
title = {A parametric analysis of the state-explosion problem in model checking},
journal = {J. Comput. Syst. Sci.},
volume = {72},
number = {4},
pages = {547--575},
year = {2006},
url = {https://doi.org/10.1016/j.jcss.2005.11.003},
doi = {10.1016/J.JCSS.2005.11.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DemriLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Demri06,
author = {St{\'{e}}phane Demri},
title = {{LTL} over integer periodicity constraints},
journal = {Theor. Comput. Sci.},
volume = {360},
number = {1-3},
pages = {96--123},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.02.019},
doi = {10.1016/J.TCS.2006.02.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Demri06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DemriFGD06,
author = {St{\'{e}}phane Demri and
Alain Finkel and
Valentin Goranko and
Govert van Drimmelen},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Towards a Model-Checker for Counter Systems},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {493--507},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_36},
doi = {10.1007/11901914\_36},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/DemriFGD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DemriL06,
author = {St{\'{e}}phane Demri and
Denis Lugiez},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Presburger Modal Logic Is PSPACE-Complete},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {541--556},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_44},
doi = {10.1007/11814771\_44},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/DemriL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DemriL06,
author = {St{\'{e}}phane Demri and
Ranko Lazic},
title = {{LTL} with the Freeze Quantifier and Register Automata},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {17--26},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.31},
doi = {10.1109/LICS.2006.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DemriL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0609008,
author = {St{\'{e}}phane Demri and
Ranko Lazic and
David Nowak},
title = {On the freeze quantifier in Constraint {LTL:} decidability and complexity},
journal = {CoRR},
volume = {abs/cs/0609008},
year = {2006},
url = {http://arxiv.org/abs/cs/0609008},
eprinttype = {arXiv},
eprint = {cs/0609008},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0609008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0610027,
author = {St{\'{e}}phane Demri and
Ranko Lazic},
title = {{LTL} with the Freeze Quantifier and Register Automata},
journal = {CoRR},
volume = {abs/cs/0610027},
year = {2006},
url = {http://arxiv.org/abs/cs/0610027},
eprinttype = {arXiv},
eprint = {cs/0610027},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0610027.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/DemriN05,
author = {St{\'{e}}phane Demri and
Hans de Nivelle},
title = {Deciding Regular Grammar Logics with Converse Through First-Order
Logic},
journal = {J. Log. Lang. Inf.},
volume = {14},
number = {3},
pages = {289--329},
year = {2005},
url = {https://doi.org/10.1007/s10849-005-5788-9},
doi = {10.1007/S10849-005-5788-9},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/DemriN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Demri05,
author = {St{\'{e}}phane Demri},
title = {A Reduction from {DLP} to {PDL}},
journal = {J. Log. Comput.},
volume = {15},
number = {5},
pages = {767--785},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi043},
doi = {10.1093/LOGCOM/EXI043},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Demri05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DemriN05,
author = {St{\'{e}}phane Demri and
David Nowak},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {Reasoning About Transfinite Sequences},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {248--262},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_20},
doi = {10.1007/11562948\_20},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/DemriN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DemriG05,
author = {St{\'{e}}phane Demri and
R{\'{e}}gis Gascon},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {Verification of Qualitative Constraints},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {518--532},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_39},
doi = {10.1007/11539452\_39},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/DemriG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/DemriLN05,
author = {St{\'{e}}phane Demri and
Ranko Lazic and
David Nowak},
title = {On the Freeze Quantifier in Constraint {LTL:} Decidability and Complexity},
booktitle = {12th International Symposium on Temporal Representation and Reasoning
{(TIME} 2005), 23-25 June 2005, Burlington, Vermont, {USA}},
pages = {113--121},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/TIME.2005.28},
doi = {10.1109/TIME.2005.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/DemriLN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0505073,
author = {St{\'{e}}phane Demri and
David Nowak},
title = {Reasoning about transfinite sequences},
journal = {CoRR},
volume = {abs/cs/0505073},
year = {2005},
url = {http://arxiv.org/abs/cs/0505073},
eprinttype = {arXiv},
eprint = {cs/0505073},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0505073.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Demri04,
author = {St{\'{e}}phane Demri},
editor = {Igor Walukiewicz},
title = {{LTL} over Integer Periodicity Constraints: (Extended Abstract)},
booktitle = {Foundations of Software Science and Computation Structures, 7th International
Conference, {FOSSACS} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain,
March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2987},
pages = {121--135},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24727-2\_10},
doi = {10.1007/978-3-540-24727-2\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Demri04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AlechinaDR03,
author = {Natasha Alechina and
St{\'{e}}phane Demri and
Maarten de Rijke},
title = {A Modal Perspective on Path Constraints},
journal = {J. Log. Comput.},
volume = {13},
number = {6},
pages = {939--956},
year = {2003},
url = {https://doi.org/10.1093/logcom/13.6.939},
doi = {10.1093/LOGCOM/13.6.939},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AlechinaDR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Demri03,
author = {St{\'{e}}phane Demri},
title = {A polynomial space construction of tree-like models for logics with
local chains of modal connectives},
journal = {Theor. Comput. Sci.},
volume = {300},
number = {1-3},
pages = {235--258},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00082-8},
doi = {10.1016/S0304-3975(02)00082-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Demri03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0306117,
author = {St{\'{e}}phane Demri and
Hans de Nivelle},
title = {Deciding regular grammar logics with converse through first-order
logic},
journal = {CoRR},
volume = {cs.LO/0306117},
year = {2003},
url = {http://arxiv.org/abs/cs/0306117},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0306117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/DemriO02,
author = {St{\'{e}}phane Demri and
Ewa Orlowska},
title = {Incomplete Information: Structure, Inference, Complexity},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-662-04997-6},
doi = {10.1007/978-3-662-04997-6},
isbn = {3-540-41904-7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/DemriO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DemriS02,
author = {St{\'{e}}phane Demri and
Ulrike Sattler},
title = {Automata-Theoretic Decision Procedures for Information Logics},
journal = {Fundam. Informaticae},
volume = {53},
number = {1},
pages = {1--22},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi53-1-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DemriS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DemriS02,
author = {St{\'{e}}phane Demri and
Philippe Schnoebelen},
title = {The Complexity of Propositional Linear Temporal Logics in Simple Cases},
journal = {Inf. Comput.},
volume = {174},
number = {1},
pages = {84--103},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.3094},
doi = {10.1006/INCO.2001.3094},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DemriS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DemriG02,
author = {St{\'{e}}phane Demri and
Rajeev Gor{\'{e}}},
title = {Theoremhood-preserving Maps Characterizing Cut Elimination for Modal
Provability Logics},
journal = {J. Log. Comput.},
volume = {12},
number = {5},
pages = {861--884},
year = {2002},
url = {https://doi.org/10.1093/logcom/12.5.861},
doi = {10.1093/LOGCOM/12.5.861},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DemriG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DemriG02a,
author = {St{\'{e}}phane Demri and
Rajeev Gor{\'{e}}},
title = {Display Calculi for Nominal Tense Logics},
journal = {J. Log. Comput.},
volume = {12},
number = {6},
pages = {993--1016},
year = {2002},
url = {https://doi.org/10.1093/logcom/12.6.993},
doi = {10.1093/LOGCOM/12.6.993},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DemriG02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DemriD02,
author = {St{\'{e}}phane Demri and
Deepak D'Souza},
editor = {Manindra Agrawal and
Anil Seth},
title = {An Automata-Theoretic Approach to Constraint {LTL}},
booktitle = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical
Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2556},
pages = {121--132},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36206-1\_12},
doi = {10.1007/3-540-36206-1\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DemriD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DemriLS02,
author = {St{\'{e}}phane Demri and
Fran{\c{c}}ois Laroussinie and
Philippe Schnoebelen},
editor = {Helmut Alt and
Afonso Ferreira},
title = {A Parametric Analysis of the State Explosion Problem in Model Checking},
booktitle = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer
Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2285},
pages = {620--631},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45841-7\_51},
doi = {10.1007/3-540-45841-7\_51},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DemriLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Demri01,
author = {St{\'{e}}phane Demri},
title = {The Complexity of Regularity in Grammar Logics and Related Modal Logics},
journal = {J. Log. Comput.},
volume = {11},
number = {6},
pages = {933--960},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.6.933},
doi = {10.1093/LOGCOM/11.6.933},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Demri01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/krdb/AlechinaDR01,
author = {Natasha Alechina and
St{\'{e}}phane Demri and
Maarten de Rijke},
editor = {Maurizio Lenzerini and
Daniele Nardi and
Werner Nutt and
Dan Suciu},
title = {Path Constraints from a Modal Logic Point of View},
booktitle = {Proceedings of the 8th International Workshop on Knowledge Representation
meets Databases {(KRDB} 2001), Rome, Italy, September 15, 2001},
series = {{CEUR} Workshop Proceedings},
volume = {45},
publisher = {CEUR-WS.org},
year = {2001},
url = {https://ceur-ws.org/Vol-45/02-alechina.ps},
timestamp = {Fri, 10 Mar 2023 16:23:33 +0100},
biburl = {https://dblp.org/rec/conf/krdb/AlechinaDR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Demri00,
author = {St{\'{e}}phane Demri},
title = {The Nondeterministic Information Logic {NIL} is PSPACE-complete},
journal = {Fundam. Informaticae},
volume = {42},
number = {3-4},
pages = {211--234},
year = {2000},
url = {https://doi.org/10.3233/FI-2000-423401},
doi = {10.3233/FI-2000-423401},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Demri00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DemriS00,
author = {St{\'{e}}phane Demri and
Jaroslaw Stepaniuk},
title = {Computational Complexity of Multimodal Logics Based on Rough Sets},
journal = {Fundam. Informaticae},
volume = {44},
number = {4},
pages = {373--396},
year = {2000},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi44-4-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DemriS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/DemriG00,
author = {St{\'{e}}phane Demri and
Rajeev Gor{\'{e}}},
title = {Display Calculi for Logics with Relative Accessibility Relations},
journal = {J. Log. Lang. Inf.},
volume = {9},
number = {2},
pages = {213--236},
year = {2000},
url = {https://doi.org/10.1023/A:1008341521750},
doi = {10.1023/A:1008341521750},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/DemriG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/DemriG00a,
author = {St{\'{e}}phane Demri and
Dov M. Gabbay},
title = {On Modal Logics Characterized by Models with Relative Accessibility
Relations: Part {I}},
journal = {Stud Logica},
volume = {65},
number = {3},
pages = {323--353},
year = {2000},
url = {https://doi.org/10.1023/A:1005235713913},
doi = {10.1023/A:1005235713913},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/DemriG00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/DemriG00,
author = {St{\'{e}}phane Demri and
Dov M. Gabbay},
title = {On Modal Logics Characterized by Models with Relative Accessibility
Relations: Part {II}},
journal = {Stud Logica},
volume = {66},
number = {3},
pages = {349--384},
year = {2000},
url = {https://doi.org/10.1023/A:1005260600511},
doi = {10.1023/A:1005260600511},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/DemriG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Demri00,
author = {St{\'{e}}phane Demri},
editor = {Frank Wolter and
Heinrich Wansing and
Maarten de Rijke and
Michael Zakharyaschev},
title = {Modal Logics with Weak Forms of Recursion: {PSPACE} Specimens},
booktitle = {Advances in Modal Logic 3, papers from the third conference on "Advances
in Modal logic," held in Leipzig, Germany, 4-7 October 2000},
pages = {113--138},
publisher = {World Scientific},
year = {2000},
url = {https://doi.org/10.1142/9789812776471\_0007},
doi = {10.1142/9789812776471\_0007},
timestamp = {Wed, 17 Jan 2024 17:12:17 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Demri00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Demri00,
author = {St{\'{e}}phane Demri},
editor = {Roy Dyckhoff},
title = {Complexity of Simple Dependent Bimodal Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2000, St Andrews, Scotland, UK, July 3-7, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1847},
pages = {190--204},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722086\_17},
doi = {10.1007/10722086\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Demri00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Demri99,
author = {St{\'{e}}phane Demri},
title = {A Logic with Relative Knowledge Operators},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {2},
pages = {167--185},
year = {1999},
url = {https://doi.org/10.1023/A:1008227432405},
doi = {10.1023/A:1008227432405},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Demri99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/DemriO99,
author = {St{\'{e}}phane Demri and
Ewa Orlowska},
title = {Every Finitely Reducible Logic has the Finite Model Property with
Respect to the Class of [diams]-Formulae},
journal = {Stud Logica},
volume = {62},
number = {2},
pages = {177--200},
year = {1999},
url = {https://doi.org/10.1023/A:1026499402531},
doi = {10.1023/A:1026499402531},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/DemriO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DemriG99,
author = {St{\'{e}}phane Demri and
Rajeev Gor{\'{e}}},
editor = {Harald Ganzinger},
title = {Tractable Transformations from Modal Provability Logics into First-Order
Logic},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {16--30},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_2},
doi = {10.1007/3-540-48660-7\_2},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/DemriG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Demri99,
author = {St{\'{e}}phane Demri},
editor = {Neil V. Murray},
title = {Sequent Calculi for Nominal Tense Logics: {A} Step Towards Mechanization?},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '99, Saratoga Springs, NY, USA, June 7-11,
1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1617},
pages = {140--154},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48754-9\_15},
doi = {10.1007/3-540-48754-9\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Demri99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/DemriG99,
author = {St{\'{e}}phane Demri and
Rajeev Gor{\'{e}}},
editor = {Neil V. Murray},
title = {Cut-Free Display Calculi for Nominal Tense Logics},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '99, Saratoga Springs, NY, USA, June 7-11,
1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1617},
pages = {155--170},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48754-9\_16},
doi = {10.1007/3-540-48754-9\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/DemriG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Demri98,
author = {St{\'{e}}phane Demri},
title = {A Class of Decidable Information Logics},
journal = {Theor. Comput. Sci.},
volume = {195},
number = {1},
pages = {33--60},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00157-6},
doi = {10.1016/S0304-3975(97)00157-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Demri98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Demri98,
author = {St{\'{e}}phane Demri},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Coping with semilattices of relations in logics with relative accessibility
relations},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {43--47},
year = {1998},
timestamp = {Thu, 03 Jan 2002 12:07:55 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Demri98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DemriO98,
author = {St{\'{e}}phane Demri and
Ewa Orlowska},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Classes of modal frames definable by closure relational operations},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {48--52},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/DemriO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftp/DemriG98,
author = {St{\'{e}}phane Demri and
Rajeev Gor{\'{e}}},
editor = {Ricardo Caferra and
Gernot Salzer},
title = {An {O} ((\emph{n}{\(\cdot\)}log \emph{n})\({}^{\mbox{3}}\))-Time Transformation
from Grz into Decidable Fragments of Classical First-Order Logic},
booktitle = {Automated Deduction in Classical and Non-Classical Logics, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1761},
pages = {152--166},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-46508-1\_10},
doi = {10.1007/3-540-46508-1\_10},
timestamp = {Mon, 05 Feb 2024 20:35:45 +0100},
biburl = {https://dblp.org/rec/conf/ftp/DemriG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DemriK98,
author = {St{\'{e}}phane Demri and
Beata Konikowska},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Relative Similarity Logics are Decidable: Reduction to FO\({}^{\mbox{2}}\)
with Equality},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {279--293},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_19},
doi = {10.1007/3-540-49545-2\_19},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/DemriK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DemriS98,
author = {St{\'{e}}phane Demri and
Philippe Schnoebelen},
editor = {Michel Morvan and
Christoph Meinel and
Daniel Krob},
title = {The Complexity of Propositional Linear Temporal Logics in Simple Cases
(Extended Abstract)},
booktitle = {{STACS} 98, 15th Annual Symposium on Theoretical Aspects of Computer
Science, Paris, France, February 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1373},
pages = {61--72},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028549},
doi = {10.1007/BFB0028549},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DemriS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Demri97,
author = {St{\'{e}}phane Demri},
title = {A Completeness Proof for a Logic with an Alternative Necessity Operator},
journal = {Stud Logica},
volume = {58},
number = {1},
pages = {99--112},
year = {1997},
url = {https://doi.org/10.1023/A:1004944015811},
doi = {10.1023/A:1004944015811},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Demri97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DemriO97,
author = {St{\'{e}}phane Demri and
Ewa Orlowska},
title = {Reasoning with Relational Demonic Operators},
booktitle = {Participants Copies of Third International Seminar on the Use of Relational
Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia},
pages = {331--340},
year = {1997},
timestamp = {Thu, 03 Jan 2002 12:07:55 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/DemriO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BalbianiD97,
author = {Philippe Balbiani and
St{\'{e}}phane Demri},
title = {Prefixed Tableaux Systems for Modal Logics with Enriched Languages},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {190--195},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/031.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BalbianiD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DemriO96,
author = {St{\'{e}}phane Demri and
Ewa Orlowska},
title = {Logical Analysis of Demonic Nondeterministic Programs},
journal = {Theor. Comput. Sci.},
volume = {166},
number = {1{\&}2},
pages = {173--202},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00190-5},
doi = {10.1016/0304-3975(95)00190-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DemriO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Demri96,
author = {St{\'{e}}phane Demri},
editor = {Wojciech Penczek and
Andrzej Szalas},
title = {A Class of Information Logics with a Decidable Validity Problem},
booktitle = {Mathematical Foundations of Computer Science 1996, 21st International
Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1113},
pages = {291--302},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61550-4\_156},
doi = {10.1007/3-540-61550-4\_156},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Demri96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Demri96,
author = {St{\'{e}}phane Demri},
editor = {Pierangelo Miglioli and
Ugo Moscato and
Daniele Mundici and
Mario Ornaghi},
title = {A Simple Tableau System for the Logic of Elsewhere},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 5th International
Workshop, {TABLEAUX} '96, Terrasini, Palermo, Italy, May 15-17, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1071},
pages = {177--192},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61208-4\_12},
doi = {10.1007/3-540-61208-4\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Demri96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Demri95,
author = {St{\'{e}}phane Demri},
title = {3-SAT=SAT for a Class of Normal Modal Logics},
journal = {Inf. Process. Lett.},
volume = {54},
number = {5},
pages = {281--287},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(95)00060-P},
doi = {10.1016/0020-0190(95)00060-P},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Demri95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Demri95,
author = {St{\'{e}}phane Demri},
title = {Uniform and Non Uniform Strategies for Tableaux Calculi for Modal
Logics},
journal = {J. Appl. Non Class. Logics},
volume = {5},
number = {1},
pages = {77--96},
year = {1995},
url = {https://doi.org/10.1080/11663081.1995.10510844},
doi = {10.1080/11663081.1995.10510844},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Demri95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TourD95,
author = {Thierry Boy de la Tour and
St{\'{e}}phane Demri},
title = {On the Complexity of Extending Ground Resolution with Symmetry Rules},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {289--297},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-1/Papers/038.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/TourD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Demri95,
author = {St{\'{e}}phane Demri},
editor = {Peter Baumgartner and
Reiner H{\"{a}}hnle and
Joachim Posegga},
title = {Using Connection Method in Modal Logics: Some Advantages},
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International
Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany,
May 7-10, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {918},
pages = {63--78},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59338-1\_28},
doi = {10.1007/3-540-59338-1\_28},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Demri95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wocfai/Demri95,
author = {St{\'{e}}phane Demri},
editor = {Michel De Glas and
Zdzislaw Pawlak},
title = {A Hierarchy of Backward Translations: Applications to Modal Logics},
booktitle = {Proceedings of the Second World Conference on the Fundamentals of
Artificial Intelligence, {WOCFAI} 1995, 3-7 July 1995, Paris, France},
pages = {121--132},
publisher = {Angkor, 6, rue Ma{\^{\i}}tre-Albert, 75005 Paris, France},
year = {1995},
timestamp = {Tue, 30 Jul 2019 08:58:42 +0200},
biburl = {https://dblp.org/rec/conf/wocfai/Demri95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Demri94,
author = {St{\'{e}}phane Demri},
title = {Approches directe et par traduction en logiques modales: nouvelles
strat{\'{e}}gies et traduction inverse de preuves},
school = {Grenoble Institute of Technology, France},
year = {1994},
url = {https://hal.archives-ouvertes.fr/tel-03199669},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Demri94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DemriOR94,
author = {St{\'{e}}phane Demri and
Ewa Orlowska and
Ingrid Rewitzky},
title = {Towards Reasoning about Hoare Relations},
journal = {Ann. Math. Artif. Intell.},
volume = {12},
number = {3-4},
pages = {265--289},
year = {1994},
url = {https://doi.org/10.1007/BF01530788},
doi = {10.1007/BF01530788},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/DemriOR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Demri94,
author = {St{\'{e}}phane Demri},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Efficient Strategies for Automated Reasoning in Modal Logics},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {182--197},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021972},
doi = {10.1007/BFB0021972},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Demri94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/CaferraDH93,
author = {Ricardo Caferra and
St{\'{e}}phane Demri and
Michel Herment},
title = {A framework for the transfer of proofs, lemmas and strategies from
classical to non classical logics},
journal = {Stud Logica},
volume = {52},
number = {2},
pages = {197--232},
year = {1993},
url = {https://doi.org/10.1007/BF01058389},
doi = {10.1007/BF01058389},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/CaferraDH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CaferraD93,
author = {Ricardo Caferra and
St{\'{e}}phane Demri},
editor = {Ruzena Bajcsy},
title = {Cooperation between Direct Method and Translation Method in Non Classical
Logics: Some Results in Propositional {S5}},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial
Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
1993},
pages = {74--79},
publisher = {Morgan Kaufmann},
year = {1993},
url = {http://ijcai.org/Proceedings/93-1/Papers/011.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:33 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CaferraD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CaferraD92,
author = {Ricardo Caferra and
St{\'{e}}phane Demri},
editor = {Deepak Kapur},
title = {Semantic Entailment in Non Classical Logics Based on Proofs Found
in Classical Logic},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {385--399},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_179},
doi = {10.1007/3-540-55602-8\_179},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/CaferraD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CaferraDH91,
author = {Ricardo Caferra and
St{\'{e}}phane Demri and
Michel Herment},
editor = {Thomas L. Dean and
Kathleen R. McKeown},
title = {Logic Morphisms as a Framework for Backward Transfer of Lemmas and
Strategies in Some Modal and Epistemic Logics},
booktitle = {Proceedings of the 9th National Conference on Artificial Intelligence,
Anaheim, CA, USA, July 14-19, 1991, Volume 1},
pages = {421--426},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1991},
url = {http://www.aaai.org/Library/AAAI/1991/aaai91-065.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CaferraDH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-01-17 20:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
