על מודלים מינימליים (On minimal models.). - Leo Marcus (1974)

A type-open minimal model. - Leo Marcus (Arch. Math. Log., 1975)

The <-Order on Submodels. - Leo Marcus (J. Symb. Log., 1976)

Verification of the FTSC microprogram. - Dono Van-Mierop; Leo Marcus; Steve Crocker (MICRO, 1978)

Purging in an Equality Data Base. - Hanan Samet; Leo Marcus (Inf. Process. Lett., 1980)

SDVS: a system for verifying microcode correctness. - Leo Marcus; Stephen D. Crocker; Jaisook Landauer (ACM SIGSOFT Softw. Eng. Notes, 1985)

Two Automated Methods in Implementation Proofs. - Leo Marcus; Timothy Redmond (CADE, 1988)

A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies. - Leo Marcus; Timothy Redmond (CSFW, 1988)

Existence, Uniqueness, and Construction of Rewrite Systems. - Nachum Dershowitz; Leo Marcus; Andrzej Tarlecki (SIAM J. Comput., 1988)

Safety via State Transition Language Plus Invariants. - Leo Marcus; Telis Menas (CSFW, 1989)

Using the State Delta Verification System (SDVS) for Hardware Verification. - Beth Levy; Ivan Filippenko; Leo Marcus; Telis Menas (TPCD, 1992)

Expressibility of Output Equals Input. - Leo Marcus; Telis Menas (Acta Informatica, 1992)

The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract). - Leo Marcus (ISSTA, 1994)

The Incorporation of Testing into Formal Verification: Direct, Modular, and Hierarchical Correctness Degrees. - Leo Marcus (Formal Methods Syst. Des., 1996)

Syntactic and Semantic Dependence of Array-Arithmetic Sentences, with an Application to Program Verification. - Leo Marcus (Fundam. Informaticae, 1996)

Preface. - Leo Marcus (LAFT@LICS, 2009)

Abstract Fault Tolerance: A Model-Theoretic Approach to Fault Tolerance and Fault Compensation without Error Correction. - Leo Marcus (Int. J. Adapt. Resilient Auton. Syst., 2011)