An Interactive Algebra Course with Formalised Proofs and Definitions. - Andrea Asperti; Herman Geuvers; Iris Loeb; Lionel Elie Mamane; Claudio Sacerdoti Coen (MKM, 2005)

Equivalents of the (Weak) Fan Theorem. - Iris Loeb (Ann. Pure Appl. Log., 2005)

From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions. - Herman Geuvers; Iris Loeb (MFCS, 2006)

Deduction Graphs with Universal Quantification. - Herman Geuvers; Iris Loeb (TERMGRAPH@ETAPS, 2007)

Natural deduction via graphs: formal definition and computation rules. - Herman Geuvers; Iris Loeb (Math. Struct. Comput. Sci., 2007)

Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem. - Iris Loeb (CiE, 2008)

Indecomposability of R and R {0} in Constructive Reverse Mathematics. - Iris Loeb (Log. J. IGPL, 2008)

Sequences of real functions on [0, 1] in constructive reverse mathematics. - Hannes Diener; Iris Loeb (Ann. Pure Appl. Log., 2009)

Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics. - Iris Loeb (Log. J. IGPL, 2009)

Glueing continuous functions constructively. - Douglas S. Bridges; Iris Loeb (Arch. Math. Log., 2010)

Constructive reverse investigations into differential equations. - Hannes Diener; Iris Loeb (J. Log. Anal., 2011)

On Tarski's foundations of the geometry of solids. - Arianna Betti; Iris Loeb (Bull. Symb. Log., 2012)

Lipschitz functions in constructive reverse mathematics. - Iris Loeb (Log. J. IGPL, 2013)

Towards transfinite type theory: rereading Tarski's Wahrheitsbegriff. - Iris Loeb (Synth., 2014)

Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics. - Iris Loeb (Synth., 2014)

The role of universal language in the early work of Carnap and Tarski. - Iris Loeb (Synth., 2017)