Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

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