Stéphane Demri

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Arnaud Sangnier

> Home > Persons > Stéphane Demri

Publications

2018
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/DemriDS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DemriDS18
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
Equivalence between model-checking flat counter systems and Presburger arithmetic. Theor. Comput. Sci. 735: 2-23 (2018)
2015
[j46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/DemriDS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DemriDS15
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
Taming past LTL and flat counter systems. Inf. Comput. 242: 306-339 (2015)
2014
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/DemriDS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/DemriDS14
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic. RP 2014: 85-97
2013
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/DemriDS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/DemriDS13
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
On the Complexity of Verifying Regular Properties on Flat Counter Systems, . ICALP (2) 2013: 162-173
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1304-6301
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-6301
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
On the Complexity of Verifying Regular Properties on Flat Counter Systems. CoRR abs/1304.6301 (2013)
2012
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/DemriDS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/DemriDS12
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
Taming Past LTL and Flat Counter Systems. IJCAR 2012: 179-193
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1205-6584
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1205-6584
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
Taming Past LTL and Flat Counter Systems. CoRR abs/1205.6584 (2012)
2010
[j35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DemriLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DemriLS10
Stéphane Demri, Ranko Lazic, Arnaud Sangnier:
Model checking memoryful linear-time logics over one-counter automata. Theor. Comput. Sci. 411(22-24): 2298-2316 (2010)
[c42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/DemriS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/DemriS10
Stéphane Demri, Arnaud Sangnier:
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable. FoSSaCS 2010: 176-190
2008
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/DemriLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/DemriLS08
Stéphane Demri, Ranko Lazic, Arnaud Sangnier:
Model Checking Freeze LTL over One-Counter Automata. FoSSaCS 2008: 490-504
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0810-5517
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0810-5517
Stéphane Demri, Ranko Lazic, Arnaud Sangnier:
Model checking memoryful linear-time logics over one-counter automata. CoRR abs/0810.5517 (2008)

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.