Product properties and their direct verification
- Nissim Francez
- 1983
- Acta Informatica
Publications
Date
Featured collections
Popular topics
32 results at Acta Informatica
On sets of Boolean n-vectors with all k-projections surjective
- Ashok K. Chandra
- Lawrence T. Kou
- et al.
- 1983
- Acta Informatica
Representation of graphs
- Alon Itai
- Michael Rodeh
- 1982
- Acta Informatica
Best Huffman trees
- George Markowsky
- 1981
- Acta Informatica
Regenerative simulation of response times in networks of queues: statistical efficiency
- Donald L. Iglehart
- Gerald S. Shedler
- 1981
- Acta Informatica
A fast algorithm for Steiner trees
- L.T. Kou
- G. Markowsky
- et al.
- 1981
- Acta Informatica
Approximate analysis of exponential queueing systems with blocking
- Onno J. Boxma
- Alan G. Konheim
- 1980
- Acta Informatica
Variance reduction techniques for the simulation of Markov process - II. Matrix iterative methods
- Philip Heidelberger
- 1980
- Acta Informatica
Regenerative simulation of response times in networks of queues with multiple job types
- Donald L. Iglehart
- Gerald S. Shedler
- 1979
- Acta Informatica
Constructing a theory of a data structure as an aid to program development
- C.B. Jones
- 1979
- Acta Informatica