5 | Heikki Mannila. Measures of presortedness and optimal sorting algorithms. IEEE Transactions on Computers, C-34:318–325, April 1985. |
|
4 | Heikki Mannila and D. Wood. A simple proof of the rectilinear art gallery theorem. International Journal of Computer Mathematics, 17:141–149, 1985. |
|
3 | Heikki Mannila and K. Mehlhorn. A fast algorithm for renaming a set of clauses as a horn set. Information Processing Letters, 21:269–272, 1985. |
|
2 | Heikki Mannila and Kari-Jouko Räihä. Small armstrong relations for database design. In Fourth ACM Symposium on Principles of Database Systems, pages 245–250, 1985. |
|
1 | R.J.R. Back and Heikki Mannila. On the suitability of trace semantics for modular proofs of communicating processes (full version). Theoretical Computer Science, 39:47–68, 1985. |
|