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="Niehren, Joachim"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Early nested word automata for XPath query answering on XML streams
Denis Debarbieux
,
Olivier Gauwin
,
Joachim Niehren
,
Tom Sebastian
,
Mohamed Zergaoui
Theoretical Computer Science
578
, 2015, pp. 100-125
Observational program calculi and the correctness of translations
Manfred Schmidt-Schauß
,
David Sabel
,
Joachim Niehren
,
Jan Schwinghammer
Theoretical Computer Science
577
, 2015, pp. 98-124
Approximate membership for regular languages modulo the edit distance
Antoine Ndione
,
Aurélien Lemay
,
Joachim Niehren
Theoretical Computer Science
487
, 2013, pp. 37-49
Queries on
Xml
streams with bounded delay and concurrency
Olivier Gauwin
,
Joachim Niehren
,
Sophie Tison
Information and Computation
209
(3), 2011, pp. 409-442
Efficient inclusion checking for deterministic tree automata and XML schemas
Jérôme Champavére
,
Rémi Gilleron
,
Aurélien Lemay
,
Joachim Niehren
Information and Computation
207
(11), 2009, pp. 1181-1208
Streaming tree automata
Olivier Gauwin
,
Joachim Niehren
,
Yves Roos
Information Processing Letters
109
(1), 2008, pp. 13-17
Dominance constraints in stratified context unification
Katrin Erk
,
Joachim Niehren
Information Processing Letters
101
(4), 2007, pp. 141-147
On the minimization of XML schemas and tree automata for unranked trees
Wim Martens
,
Joachim Niehren
Journal of Computer and System Sciences
73
(4), 2007, pp. 550-583
An efficient graph algorithm for dominance constraints
Ernst Althaus
,
Denys Duchier
,
Alexander Koller
,
Kurt Mehlhorn
,
Joachim Niehren
,
Sven Thiel
Journal of Algorithms
48
(1), 2003, pp. 194-219
Non-structural subtype entailment in automata theory
Joachim Niehren
,
Tim Priesnitz
Information and Computation
186
(2), 2003, pp. 319-354
Ordering constraints over feature trees expressed in second-order monadic logic
Martin Müller
,
Joachim Niehren
Information and Computation
159
(1-2), 2000, pp. 22-58
On rewrite constraints and context unification
Joachim Niehren
,
Sophie Tison
,
Ralf Treinen
Information Processing Letters
74
(1-2), 2000, pp. 35-40