Ralf Schindler

35 papers Journal 34Unranked 1
YearRankTypeTitle / Venue / Authors
2022 J jnl
J. Symb. Log.
Ralf Schindler, Trevor M. Wilson
2022 J jnl
Math. Log. Q.
Fabiana Castiblanco, Ralf Schindler
2021 J jnl
Notre Dame J. Formal Log.
Gabriel Fernandes, Ralf Schindler
2020 J jnl
Stud Logica
Neil Barton, Andrés Eduardo Caicedo, Gunter Fuchs, Joel David Hamkins, Jonas Reitz, Ralf Schindler
2020 J jnl
J. Math. Log.
Sandra Müller, Ralf Schindler, W. Hugh Woodin
2018 J jnl
Arch. Math. Log.
Ali Enayat, Massoud Pourmahdian, Ralf Schindler
2018 J jnl
J. Symb. Log.
Gunter Fuchs, Ralf Schindler
2018 J jnl
Arch. Math. Log.
Ralf Schindler
2018 J jnl
J. Symb. Log.
Grigor Sargsyan, Ralf Schindler
2018 J jnl
Ann. Pure Appl. Log.
Victoria Gitman, Ralf Schindler
2017 J jnl
Arch. Math. Log.
Joan Bagaria, Victoria Gitman, Ralf Schindler
2017 J jnl
J. Symb. Log.
Assaf Rinot, Ralf Schindler
2017 J jnl
J. Symb. Log.
Philipp Lücke, Ralf Schindler, Philipp Schlicht
2016 J jnl
Notre Dame J. Formal Log.
Thomas Hofweber, Ralf Schindler
2016 J jnl
J. Symb. Log.
Gunter Fuchs, Ralf Schindler
2015 J jnl
J. Symb. Log.
Yong Cheng, Ralf Schindler
2014 J jnl
Notre Dame J. Formal Log.
David Asperó, Ralf Schindler
2012 J jnl
J. Symb. Log.
Benjamin Claverie, Ralf Schindler
2011 J jnl
Math. Log. Q.
Ralf Schindler, Philipp Schlicht
2010 J jnl
Arch. Math. Log.
Gunter Fuchs, Itay Neeman, Ralf Schindler
2009 J jnl
J. Symb. Log.
Benjamin Claverie, Ralf Schindler
2009 J jnl
J. Symb. Log.
Ronald Jensen, Ernest Schimmerling, Ralf Schindler, John R. Steel
2009 J jnl
J. Symb. Log.
Ralf Schindler, John R. Steel
2009 J jnl
Ann. Pure Appl. Log.
Daniel Busche, Ralf Schindler
2006 J jnl
J. Symb. Log.
Ralf Schindler
2006 J jnl
Arch. Math. Log.
Peter Koepke, Ralf Schindler
2006 J jnl
J. Symb. Log.
Ralf Schindler
2006 J jnl
Arch. Math. Log.
Andrés Eduardo Caicedo, Ralf Schindler
2005 J jnl
Arch. Math. Log.
Thoralf Räsch, Ralf Schindler
2005 J jnl
J. Log. Comput.
Vinay Deolalikar, Joel David Hamkins, Ralf Schindler
2004 J jnl
J. Symb. Log.
William J. Mitchell, Ralf Schindler
2004 J jnl
Math. Log. Q.
Ralf Schindler
2003 J jnl
J. Symb. Log.
Sy D. Friedman, Ralf Schindler
2001 — conf
FotFS
Ralf Schindler
1999 J jnl
Math. Log. Q.
Ralf Schindler
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