5 | R.J.R. Back, Heikki Mannila, and Kari-Jouko Räihä. Derivation of efficient dag marking algorithms. In Proceedings of the Tenth Annual ACM Symposium on Principles of Programming Languages, pages 20–27, 1983. |
|
4 | R.J.R. Back and Heikki Mannila. On the suitability of trace semantics for modular proofs of communicating processes. In Third Conference on Foundations of Software Technology and Theoretical Computer Science, pages 40–65, 1983. |
|
3 | Heikki Mannila. A topological characterization of -compactness. Annals of Pure and Applied Logic, 25:301–305, 1983. |
|
2 | Heikki Mannila and Kari-Jouko Räihä. On the relationship of minimum and optimum covers for a set of functional dependencies. Acta Informatica, 20:143–158, 1983. |
|
1 | Erkki Oja and Maija Kuusela. The alsm algorithm - an improved subspace method of classification. Pattern Recognition, 16(4):421–427, 1983. |
|