Iris Loeb

16 papers B 1C 1Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2017 J jnl
The role of universal language in the early work of Carnap and Tarski.
Synth.
Iris Loeb
2014 J jnl
Towards transfinite type theory: rereading Tarski's Wahrheitsbegriff.
Synth.
Iris Loeb
2014 J jnl
Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics.
Synth.
Iris Loeb
2013 J jnl
Lipschitz functions in constructive reverse mathematics.
Log. J. IGPL
Iris Loeb
2012 J jnl
On Tarski's foundations of the geometry of solids.
Bull. Symb. Log.
Arianna Betti, Iris Loeb
2011 J jnl
Constructive reverse investigations into differential equations.
J. Log. Anal.
Hannes Diener, Iris Loeb
2010 J jnl
Glueing continuous functions constructively.
Arch. Math. Log.
Douglas S. Bridges, Iris Loeb
2009 J jnl
Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics.
Log. J. IGPL
Iris Loeb
2009 J jnl
Sequences of real functions on [0, 1] in constructive reverse mathematics.
Ann. Pure Appl. Log.
Hannes Diener, Iris Loeb
2008 C conf
Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem.
CiE
Iris Loeb
2008 J jnl
Indecomposability of R and R\{0} in Constructive Reverse Mathematics.
Log. J. IGPL
Iris Loeb
2007 — conf
Deduction Graphs with Universal Quantification.
TERMGRAPH@ETAPS
Herman Geuvers, Iris Loeb
2007 J jnl
Natural deduction via graphs: formal definition and computation rules.
Math. Struct. Comput. Sci.
Herman Geuvers, Iris Loeb
2006 B conf
From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.
MFCS
Herman Geuvers, Iris Loeb
2005 — conf
An Interactive Algebra Course with Formalised Proofs and Definitions.
MKM
Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen
2005 J jnl
Equivalents of the (Weak) Fan Theorem.
Ann. Pure Appl. Log.
Iris Loeb
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski