| 2024 | COLING | Leveraging Information Redundancy of Real-World Data through Distant Supervision. | Ariel Cohen, Alexandrine Lanson, Emmanuelle Kempf, Xavier Tannier |
| 2010 | CAV | A Dash of Fairness for Compositional Reasoning. | Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar |
| 2010 | CAV | SPLIT: A Compositional LTL Verifier. | Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar |
| 2008 | CAV | Local Proofs for Linear-Time Properties of Concurrent Programs. | Ariel Cohen, Kedar S. Namjoshi |
| 2008 | CAV | Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses. | Ariel Cohen, Amir Pnueli, Lenore D. Zuck |
| 2007 | CAV | Local Proofs for Global Safety Properties. | Ariel Cohen, Kedar S. Namjoshi |
| 2007 | FMCAD | Verifying Correctness of Transactional Memories. | Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck |
| 2006 | VMCAI | Ranking Abstraction of Recursive Programs. | Ittai Balaban, Ariel Cohen, Amir Pnueli |
| 2004 | IPCCC | A performance analysis of the sockets direct protocol (SDP) with asynchronous I/O over 4X InfiniBand. | Ariel Cohen |
| 1993 | EACL | The PAIVGLOSS MARK I MAT system. | Robert E. Frederking, Ariel Cohen, Dean Grannes, Peter Cousseau, Sergei Nirenburg |