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
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=336
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Structural properties of XPath fragments
Michael Benedikt
,
Wenfei Fan
,
Gabriel Kuper
Theoretical Computer Science
336
(1), 2005, pp. 3-31
Decidable containment of recursive queries
Diego Calvanese
,
Giuseppe de Giacomo
,
Moshe Y. Vardi
Theoretical Computer Science
336
(1), 2005, pp. 33-56
XML queries and constraints, containment and reformulation
Alin Deutsch
,
Val Tannen
Theoretical Computer Science
336
(1), 2005, pp. 57-87
Data exchange: Semantics and query answering
Ronald Fagin
,
Phokion G. Kolaitis
,
Renée J. Miller
,
Lucian Popa
Theoretical Computer Science
336
(1), 2005, pp. 89-124
On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases
Floris Geerts
,
Bart Kuijpers
Theoretical Computer Science
336
(1), 2005, pp. 125-151
On the complexity of typechecking top-down XML transformations
Wim Martens
,
Frank Neven
Theoretical Computer Science
336
(1), 2005, pp. 153-180
On reasoning about structural equality in XML: A description logic approach
David Toman
,
Grant Weddell
Theoretical Computer Science
336
(1), 2005, pp. 181-203
Combining test case generation and runtime verification
Cyrille Artho
,
Howard Barringer
,
Allen Goldberg
,
Klaus Havelund
,
Sarfraz Khurshid
,
Mike Lowry
,
Corina Pasareanu
,
Grigore Roşu
,
Koushik Sen
,
Willem Visser
,
Rich Washington
Theoretical Computer Science
336
(2-3), 2005, pp. 209-234
A high-level modular definition of the semantics of C\#
Egon Börger
,
Nicu G. Fruja
,
Vincenzo Gervasi
,
Robert F. Stärk
Theoretical Computer Science
336
(2-3), 2005, pp. 235-284
Formal description and analysis of a distributed location service for mobile ad hoc networks
Uwe Glässer
,
Qian-Ping Gu
Theoretical Computer Science
336
(2-3), 2005, pp. 285-309
Partial updates
Yuri Gurevich
,
Nikolai Tillmann
Theoretical Computer Science
336
(2-3), 2005, pp. 311-342
A logic for secure memory access of abstract state machines
Stanislas Nanchen
,
Robert F. Stärk
Theoretical Computer Science
336
(2-3), 2005, pp. 343-365
A principled exploration of coordination models
Gruia-Catalin Roman
,
Jamie Payton
Theoretical Computer Science
336
(2-3), 2005, pp. 367-401
ASM refinement and generalizations of forward simulation in data refinement: A comparison
Gerhard Schellhorn
Theoretical Computer Science
336
(2-3), 2005, pp. 403-435