Volume 336,
Number 1,
May 2005
Database Theory
- Maurizio Lenzerini:
Preface.
1-
Electronic Edition (link) BibTeX
- Michael Benedikt, Wenfei Fan, Gabriel M. Kuper:
Structural properties of XPath fragments.
3-31
Electronic Edition (link) BibTeX
- Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Decidable containment of recursive queries.
33-56
Electronic Edition (link) BibTeX
- Alin Deutsch, Val Tannen:
XML queries and constraints, containment and reformulation.
57-87
Electronic Edition (link) BibTeX
- Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa:
Data exchange: semantics and query answering.
89-124
Electronic Edition (link) BibTeX
- Floris Geerts, Bart Kuijpers:
On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases.
125-151
Electronic Edition (link) BibTeX
- Wim Martens, Frank Neven:
On the complexity of typechecking top-down XML transformations.
153-180
Electronic Edition (link) BibTeX
- David Toman, Grant E. Weddell:
On reasoning about structural equality in XML: a description logic approach.
181-203
Electronic Edition (link) BibTeX
Volume 336,
Number 2-3,
May 2005
Abstract State Machines and High-Level System Design and Analysis
- Egon Börger:
Abstract state machines and high-level system design and analysis.
205-207
Electronic Edition (link) BibTeX
- Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington:
Combining test case generation and runtime verification.
209-234
Electronic Edition (link) BibTeX
- Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk:
A high-level modular definition of the semantics of C#.
235-284
Electronic Edition (link) BibTeX
- Uwe Glässer, Qian-Ping Gu:
Formal description and analysis of a distributed location service for mobile ad hoc networks.
285-309
Electronic Edition (link) BibTeX
- Yuri Gurevich, Nikolai Tillmann:
Partial updates.
311-342
Electronic Edition (link) BibTeX
- Stanislas Nanchen, Robert F. Stärk:
A logic for secure memory access of abstract state machines.
343-365
Electronic Edition (link) BibTeX
- Gruia-Catalin Roman, Jamie Payton:
A principled exploration of coordination models.
367-401
Electronic Edition (link) BibTeX
- Gerhard Schellhorn:
ASM refinement and generalizations of forward simulation in data refinement: a comparison.
403-435
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:25:01 2009
by Michael Ley (ley@uni-trier.de)
