Skip to contents

Demri, Stéphane [Author]; Orłowska, Ewa [Author] ; Demri, Stéphane P. [Other]

Incomplete information : structure, inference, complexity

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Monographs in theoretical computer science - an EATCS series
Demri, Stéphane [Author]; Goranko, Valentin [Author]; Lange, Martin [Author]

Temporal logics in computer science : Finite-state systems

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge: Cambridge University Press, 2016

Published in: Cambridge tracts in theoretical computer science ; 58
Demri, Stéphane [Author] ; Stéphane Demri [Contributor]

On Temporal and Separation Logics (Invited Paper)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Demri, Stéphane [Author] ; Kapur, Deepak [Editor]; Weidenbach, Christoph [Editor]

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

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham [u.a.]: Springer, 2014

Published in: Lecture notes in computer science ; 8562
Demri, Stéphane P. [Other] ; IEEE Computer Society

15th International Symposium on Temporal Representation and Reasoning, 2008 : TIME '08 ; 16 - 18 June 2008, Montreal, Quebec, Canada

View online
Schließen

Access

... to E-book via IEEE Xplore (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Piscataway, NJ: IEEE, 2008
Demri, Stéphane [Author]; Quaas, Karin [Author] ; Stéphane Demri and Karin Quaas [Contributor]

Constraint Automata on Infinite Data Trees: from CTL(ℤ)/CTL^*(ℤ) to Decision Procedures

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Brochenin, Rémi [Author] ; Cachan, Ecole normale supérieure [Contributor]; Demri, Stéphane P. [Contributor]

Separation logic : expressiveness, complexity, temporal extension ; Logique de séparation : expressivité, complexité, extension temporelle

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2013-09-25
Demri, Stéphane [Author]; Lozes, Etienne [Author]; Mansutti, Alessio [Author] ; Stéphane Demri and Etienne Lozes and Alessio Mansutti [Contributor]

Internal Calculi for Separation Logics

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Demri, Stéphane [Author]; Lozes, Etienne [Author]; Lugiez, Denis [Author] ; Stéphane Demri and Etienne Lozes and Denis Lugiez [Contributor]

On Symbolic Heaps Modulo Permission Theories

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Mansutti, Alessio [Author] ; université Paris-Saclay [Contributor]; Demri, Stéphane P. [Contributor]; Lozes, Etienne [Contributor]

Reasoning with separation logics : complexity, expressive power, proof systems ; Logiques de séparation : complexité, expressivité, calculs

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2020-12-10
Figueira, Diego [Author] ; Cachan, Ecole normale supérieure [Contributor]; Demri, Stéphane P. [Contributor]; Segoufin, Luc [Contributor]

Reasoning on words and trees with data ; Raisonnement sur mots et arbres avec données

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2010-12-06
Darondeau, Philippe [Author]; Demri, Stéphane [Author]; Meyer, Roland [Author]; Morvan, Christophe [Author] ; Philippe Darondeau and Stéphane Demri and Roland Meyer and Christophe Morvan [Contributor]

Petri Net Reachability Graphs: Decidability Status of FO Properties

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Demri, Stéphane [Author]; Jurdzinski, Marcin [Author]; Lachish, Oded [Author]; Lazic, Ranko [Author] ; Stéphane Demri and Marcin Jurdzinski and Oded Lachish and Ranko Lazic [Contributor]

The Covering and Boundedness Problems for Branching Vector Addition Systems

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009
Demri, Stéphane

Logics with Concrete Domains: An Introduction : Invited Talk at the 10th International Conference on Non-Classical Logics. Theory and Applications

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2022

Published in: Electronic Proceedings in Theoretical Computer Science, 358 (2022)
Demri, Stéphane

On selective unboundedness of VASS

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2013

Published in: Journal of Computer and System Sciences, 79 (2013) 5, Seite 689-713
Demri, Stéphane

Logics in Artificial Intelligence: Counter Systems for Data Logics

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: Logics in Artificial Intelligence (2010), Seite 10-10
Demri, Stéphane

On Selective Unboundedness of VASS

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2010

Published in: Electronic Proceedings in Theoretical Computer Science, 39 (2010), Seite 1-15
Demri, Stéphane

Linear-time temporal logics with Presburger constraints: an overview ★

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Informa UK Limited, 2006

Published in: Journal of Applied Non-Classical Logics, 16 (2006) 3-4, Seite 311-347
Demri, Stéphane

LTL over integer periodicity constraints

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2006

Published in: Theoretical Computer Science, 360 (2006) 1-3, Seite 96-123
Demri, Stéphane

A Reduction from DLP to PDL

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford University Press (OUP), 2005

Published in: Journal of Logic and Computation, 15 (2005) 5, Seite 767-785

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication