1990 | ||
---|---|---|
6 | Kevin E. Flannery, Johannes J. Martin: The Hoare and Smith Power Domain Constructors Commute under Composition. J. Comput. Syst. Sci. 40(2): 125-135 (1990) | |
1983 | ||
5 | EE | Robert P. Trueblood, H. Rex Hartson, Johannes J. Martin: MULTISAFE - A Modular Multiprocessing Approach to Secure Database Management. ACM Trans. Database Syst. 8(3): 382-409 (1983) |
4 | Johannes J. Martin: Precise Typing and Filters. Inf. Process. Lett. 17(3): 109-112 (1983) | |
1982 | ||
3 | Johannes J. Martin: An Efficient Garbage Compaction Algorithm. Commun. ACM 25(8): 571-581 (1982) | |
1974 | ||
2 | Johannes J. Martin: Aspects of Generality and Efficiency in Programming Language Implementation. GI Jahrestagung 1974: 494-501 | |
1970 | ||
1 | EE | Johannes J. Martin: Information Compressing Procedures for Storing Binary Relations. SIGFIDET Workshop 1970: 142-173 |
1 | Kevin E. Flannery | [6] |
2 | H. Rex Hartson | [5] |
3 | Robert P. Trueblood | [5] |