Circuits and Systems: Implementing Communication with Streams. - Steven D. Johnson (IMACS World Congress, 1982)

Applicative Programming and Digital Design. - Steven D. Johnson (POPL, 1984)

Manipulating Logical Organization with System Factorizations. - Steven D. Johnson (Hardware Specification, Verification and Synthesis, 1989)

Multi-Way Streams in Scheme. - John V. Franco; Daniel P. Friedman; Steven D. Johnson (Comput. Lang., 1990)

DDD-FM9001: Derivation of a Verified Microprocessor. - Bhaskar Bose; Steven D. Johnson (CHARME, 1993)

Integrating Boolean Verification with Formal Derivation. - Bhaskar Bose; Steven D. Johnson; Shyamsundar Pullela (CHDL, 1993)

Toward a Basis for Protocol Specification and Process Decomposition. - Kamlesh Rath; Steven D. Johnson (CHDL, 1993)

Automatic Synthesis of Sequential Synchronizations. - Zheng Zhu; Steven D. Johnson (CHDL, 1993)

Behavior tables: a basis for system representation and transformational system synthesis. - Kamlesh Rath; M. Esen Tuna; Steven D. Johnson (ICCAD, 1993)

System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition. - Bhaskar Bose; M. Esen Tuna; Steven D. Johnson (ICCD, 1993)

Derivation of a DRAM Memory Interface by Sequential Decomposition. - Kamlesh Rath; Bhaskar Bose; Steven D. Johnson (ICCD, 1993)

Continuations in Hardware-Software Codesign. - M. Esen Tuna; Steven D. Johnson; Robert G. Burger (ICCD, 1994)

Capturing Synchronization Specifications for Sequential Compositions. - Zheng Zhu; Steven D. Johnson (ICCD, 1994)

Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit. - Paul S. Miner; Shyamsundar Pullela; Steven D. Johnson (SRDS, 1994)

Studies of the Single Pulser in Various Reasoning Systems. - Steven D. Johnson; Paul S. Miner; Albert John Camilleri (TPCD, 1994)

Specification and synthesis of bounded indirection. - M. Esen Tuna; Kamlesh Rath; Steven D. Johnson (Great Lakes Symposium on VLSI, 1995)

Decomposition of Sequential Behavior Using Interface Specification and Complementation. - Kamlesh Rath; Venkatesh Choppella; Steven D. Johnson (VLSI Design, 1995)

Integrated reasoning support in system design: design derivation and theorem proving. - Steven D. Johnson; Paul S. Miner (CHARME, 1997)

A Workshop on Formal Methods Education: An Aggregation of Opinions. - Steven D. Johnson (Int. J. Softw. Tools Technol. Transf., 1999)

Visualizing System Factorizations with Behavior Tables. - Alex Tsow; Steven D. Johnson (FMCAD, 2000)

View from the Fringe of the Fringe. - Steven D. Johnson (CHARME, 2001)

View from the Fringe of the Fringe (Joint with CHARME 2001). - Steven D. Johnson (TPHOLs, 2001)

Formal Methods in Embedded Design. - Steven D. Johnson (Computer, 2003)

A systematic incrementalization technique and its application to hardware design. - Steven D. Johnson; Yanhong A. Liu; Yuchen Zhang (Int. J. Softw. Tools Technol. Transf., 2003)

Evolving autonomous agent control in the Xpilot environment. - Gary B. Parker; Matt Parker; Steven D. Johnson (Congress on Evolutionary Computation, 2005)

Data Refinement for Synchronous System Specification and Construction. - Alex Tsow; Steven D. Johnson (CHARME, 2005)

The formal verification of a reintegration protocol. - Lee Pike; Steven D. Johnson (EMSOFT, 2005)

Surface-Immobilised DNA Molecular Machines for Information Processing. - Katherine E. Dunn; Tamara L. Morgan; Martin A. Trefzer; Steven D. Johnson; Andy M. Tyrrell (IPCAT, 2015)

Assessing the potential of surface-immobilized molecular logic machines for integration with solid state technology. - Katherine E. Dunn; Martin A. Trefzer; Steven D. Johnson; Andy M. Tyrrell (Biosyst., 2016)