W. Hugh Woodin

25 papers Journal 25
YearRankTypeTitle / Venue / Authors
2025 J jnl
J. Math. Log.
W. Hugh Woodin
2024 J jnl
Ann. Pure Appl. Log.
W. Hugh Woodin
2020 J jnl
J. Math. Log.
Sandra Müller, Ralf Schindler, W. Hugh Woodin
2019 J jnl
Bull. Symb. Log.
Joan Bagaria, Peter Koellner, W. Hugh Woodin
2017 J jnl
Bull. Symb. Log.
W. Hugh Woodin
2016 J jnl
Arch. Math. Log.
W. Hugh Woodin
2014 J jnl
J. Symb. Log.
S. Jackson, Richard Ketchersid, Farmer Schlutzenberg, W. Hugh Woodin
2011 J jnl
J. Math. Log.
W. Hugh Woodin
2010 J jnl
J. Math. Log.
W. Hugh Woodin
2009 J jnl
J. Symb. Log.
Peter Koellner, W. Hugh Woodin
2008 J jnl
J. Symb. Log.
Sy-David Friedman, Philip D. Welch, W. Hugh Woodin
2006 J jnl
Ann. Pure Appl. Log.
W. Hugh Woodin
2005 J jnl
Math. Log. Q.
Joel David Hamkins, W. Hugh Woodin
2003 J jnl
Ann. Pure Appl. Log.
Q. Feng, W. Hugh Woodin
2001 J jnl
J. Symb. Log.
Ernest Schimmerling, W. Hugh Woodin
1999 J jnl
J. Symb. Log.
Kai Hauser, W. Hugh Woodin
1998 J jnl
Ann. Pure Appl. Log.
Boban Velickovic, W. Hugh Woodin
1998 J jnl
Ann. Pure Appl. Log.
Theodore A. Slaman, W. Hugh Woodin
1997 J jnl
Arch. Math. Log.
Theodore A. Slaman, W. Hugh Woodin
1997 J jnl
J. Symb. Log.
Joan Bagaria, W. Hugh Woodin
1996 J jnl
Arch. Math. Log.
W. Hugh Woodin
1991 J jnl
Ann. Pure Appl. Log.
Alexander S. Kechris, W. Hugh Woodin
1990 J jnl
Ann. Pure Appl. Log.
Haim Judah, Saharon Shelah, W. Hugh Woodin
1985 J jnl
J. Symb. Log.
Moti Gitik, Menachem Magidor, W. Hugh Woodin
1984 J jnl
J. Symb. Log.
Saharon Shelah, W. Hugh Woodin
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