Publications

32 results at Acta Informatica

On the equivalence between FDs in XML and FDs in relations
- - Millist W. Vincent
  - Jixue Liu
  - et al.
- 2007
- Acta Informatica
Class hierarchy specialization
- - Frank Tip
  - Peter F. Sweeney
- 2000
- Acta Informatica
Speeding up dynamic transitive closure for bounded degree graphs
- - Daniel M. Yellin
- 1993
- Acta Informatica
A proof system for distributed processes
- - A.E.K. Sobel
  - N. Soundararajan
- 1988
- Acta Informatica
Generating binary trees of bounded height
- - C.C. Lee
  - D.T. Lee
  - et al.
- 1986
- Acta Informatica
Constructing maximal slicings from geometry
- - M. Tamminen
  - W.K. Luk
  - et al.
- 1986
- Acta Informatica
On the expressive power of data dependencies
- - Johann A. Makowsky
  - Moshe Y. Vardi
- 1986
- Acta Informatica
A faster approximation algorithm for the Steiner problem in graphs
- - Y.F. Wu
  - P. Widmayer
  - et al.
- 1986
- Acta Informatica
Simulation output analysis for local area computer networks
- - Donald L. Iglehart
  - Gerald S. Shedler
- 1984
- Acta Informatica
Generalized binary split trees
- - Shou-Hsuan Stephen Huang
  - C.K. Wong
- 1984
- Acta Informatica