The use of transition matrices in a recursive-descent compiler. - Uwe F. Pleban (SIGPLAN Symposium on Compiler Construction, 1979)

A Semantic Comparison of LISP and Scheme. - Steven S. Muchnick; Uwe F. Pleban (LISP Conference, 1980)

Experience with an Experimental Compiler Generator Based on Denotational Semantics. - James Bodwin; Laurette Bradley; Kohji Kanda; Diane Litle; Uwe F. Pleban (SIGPLAN Symposium on Compiler Construction, 1982)

Formal Semantics and Compiler Generation. - Uwe F. Pleban (Programmierumgebungen und Compiler, 1984)

Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited. - Don Milos; Uwe F. Pleban; George Loegel (POPL, 1984)

Compiler prototyping using formal semantics. - Uwe F. Pleban (SIGPLAN Symposium on Compiler Construction, 1984)

On the Use of LISP in Implementing Denotational Semantics. - Peter Lee 001; Uwe F. Pleban (LISP and Functional Programming, 1986)

High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. - Uwe F. Pleban; Peter Lee 001 (MFPS, 1987)

A Realistic Compiler Generator Based on High-Level Semantics. - Peter Lee 001; Uwe F. Pleban (POPL, 1987)

An Automatically Generated, Realistic Compiler for an Imperative Programming Language. - Uwe F. Pleban; Peter Lee 001 (PLDI, 1988)

The Run-Time Environment for Screme, A Scheme Implementation on the 88000. - Steven R. Vegdahl; Uwe F. Pleban (ASPLOS, 1989)

A semantics-directed partitioning of a processor architecture. - Peter L. Bird; Uwe F. Pleban (SC, 1991)