Nicht Konstruktiv Beweisbare Satze Der Analysis. - Ernst Specker (J. Symb. Log., 1949)

Ein Polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme. - Ernst Specker (Komplexität von Entscheidungsproblemen 1976, 1976)

Längen und Formeln. - Ernst Specker; Georges Wick (Komplexität von Entscheidungsproblemen 1976, 1976)

Complexity of Partial Satisfaction. - Karl J. Lieberherr; Ernst Specker (J. ACM, 1981)

Recurrence relations for the number of labeled structures on a finite set. - Christian Blatter; Ernst Specker (Logic and Machines, 1983)

Normal Forms for Trivalent Graphs and Graphs of Bounded Valence - Martin Fürer; Walter Schnyder; Ernst Specker (STOC, 1983)

Direct Construction of Mutually Orthogonal Latin Square. - H. Kull; Ernst Specker (Computation Theory and Logic, 1987)

Engeler's Scientific Work. - Ernst Specker (Math. Struct. Comput. Sci., 1992)

Modular Counting and Substitution of Structures. - Ernst Specker (Comb. Probab. Comput., 2005)