Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Kuperberg, Denis"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Regular sensing
Shaull Almagor
,
Denis Kuperberg
,
Orna Kupferman
Leibniz International Proceedings in Informatics (LIPIcs)
29
, 2014, pp. 161-173
Nondeterminism in the presence of a diverse or unknown future
Udi Boker
,
Denis Kuperberg
,
Orna Kupferman
,
MichaĆ Skrzypczak
Lecture Notes in Computer Science
7966
, 2013, pp. 89-100
On the expressive power of cost logics over infinite words
Denis Kuperberg
,
Michael Vanden Boom
Lecture Notes in Computer Science
7392
, 2012, pp. 287-298
Quasi-weak cost automata: A new variant of weakness
Denis Kuperberg
,
Michael Vanden Boom
Leibniz International Proceedings in Informatics (LIPIcs)
13
, 2011, pp. 66-77
Linear temporal logic for regular cost functions
Denis Kuperberg
Leibniz International Proceedings in Informatics (LIPIcs)
9
, 2011, pp. 627-636
Regular temporal cost functions
Thomas Colcombet
,
Denis Kuperberg
,
Sylvain Lombardy
Lecture Notes in Computer Science
6199
, 2010, pp. 563-574