Carlos A. Di Prisco

15 papers Journal 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
Ann. Pure Appl. Log.
Julián C. Cano, Carlos A. Di Prisco
2012 J jnl
Discret. Math.
Carlos A. Di Prisco, Stevo Todorcevic
2009 J jnl
Arch. Math. Log.
Joan Bagaria, Carlos A. Di Prisco
2006 J jnl
Discret. Math.
Carlos A. Di Prisco, Stevo Todorcevic
2004 J jnl
Comb.
Carlos A. Di Prisco, Jimena Llopis, Stevo Todorcevic
2001 J jnl
J. Comb. Theory A
Carlos A. Di Prisco, Jimena Llopis, Stevo Todorcevic
2000 J jnl
J. Symb. Log.
Carlos A. Di Prisco, James M. Henle
1995 J jnl
J. Comb. Theory A
María Carrasco, Carlos A. Di Prisco, Andrés Millán
1993 J jnl
J. Symb. Log.
Carlos A. Di Prisco, James M. Henle
1993 J jnl
Math. Log. Q.
Carlos A. Di Prisco, Walter Alexandre Carnielli
1990 J jnl
Math. Log. Q.
Carlos A. Di Prisco, Mark Fuller, James M. Henle
1987 J jnl
Ann. Pure Appl. Log.
Carlos A. Di Prisco, Jimena Llopis
1984 J jnl
J. Symb. Log.
Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa, Carlos A. Di Prisco
1982 J jnl
Math. Log. Q.
Carlos A. Di Prisco, V. Wiktor Marek
1978 J jnl
J. Symb. Log.
Carlos A. Di Prisco, James M. Henle
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