A. N. Prior

19 papers Journal 19
YearRankTypeTitle / Venue / Authors
2012 J jnl
Synth.
A. N. Prior
2012 J jnl
Synth.
A. N. Prior
2012 J jnl
Synth.
A. N. Prior
2012 J jnl
Synth.
A. N. Prior
1969 J jnl
Notre Dame J. Formal Log.
A. N. Prior
1969 J jnl
Notre Dame J. Formal Log.
A. N. Prior
1969 J jnl
Notre Dame J. Formal Log.
A. N. Prior
1968 J jnl
Notre Dame J. Formal Log.
C. A. Meredith, A. N. Prior
1965 J jnl
Notre Dame J. Formal Log.
C. A. Meredith, A. N. Prior
1964 J jnl
Notre Dame J. Formal Log.
A. N. Prior
1964 J jnl
Notre Dame J. Formal Log.
A. N. Prior
1964 J jnl
J. Symb. Log.
A. N. Prior
1963 J jnl
Notre Dame J. Formal Log.
C. A. Meredith, A. N. Prior
1962 J jnl
Notre Dame J. Formal Log.
A. N. Prior
1961 J jnl
Notre Dame J. Formal Log.
A. N. Prior
1958 J jnl
J. Symb. Log.
A. N. Prior
1958 J jnl
J. Symb. Log.
A. N. Prior
1956 J jnl
J. Symb. Log.
A. N. Prior
1953 J jnl
J. Symb. Log.
A. N. Prior
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