HML: A Hardware Description Language Based on Standard ML. - John W. O'Leary; Mark H. Linderman; Miriam Leeser; Mark D. Aagaard (CHDL, 1993)

High level synthesis and generating FPGAs with the BEDROC system. - Miriam Leeser; Richard Chapman 001; Mark D. Aagaard; Mark H. Linderman; Stephan Meier (J. VLSI Signal Process., 1993)

Simulation of digital circuits in the presence of uncertainty. - Mark H. Linderman; Miriam Leeser (ICCAD, 1994)

Design, Implementation and Evaluation of Parallel Pipelined STAP on Parallel Computers. - Alok N. Choudhary; Wei-keng Liao; Donald D. Weiner; Pramod K. Varshney; Richard W. Linderman; Mark H. Linderman (IPPS/SPDP, 1998)

A Dependable High Performance Wafer Scale Architecture for Embedded Signal Processing. - Richard W. Linderman; Ralph L. R. Kohler; Mark H. Linderman (IEEE Trans. Computers, 1998)

Design, implementation and evaluation of parallel pipelined STAP on parallel computers. - Alok N. Choudhary; Wei-keng Liao; Donald D. Weiner; Pramod K. Varshney; Richard W. Linderman; Mark H. Linderman; Russell D. Brown (IEEE Trans. Aerosp. Electron. Syst., 2000)

Supervisory Control of a Database Unit. - N. Eva Wu; James M. Metzler; Mark H. Linderman (CDC/ECC, 2005)

Supporting time-critical clients in scalable pub-sub systems. - Sibabrata Ray; Mark H. Linderman; Danyang Zhang (Int. J. High Perform. Comput. Netw., 2010)