| 2022 | DSN | General Probability in Coq. | Avraham Shinnar, Barry M. Trager |
| 2022 | ITP | Formalization of a Stochastic Approximation Theorem. | Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun |
| 2021 | CPP | CertRL: formalizing convergence proofs for value and policy iteration in Coq. | Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton |
| 2014 | ICDM | Analysis and Real-Time Prediction of Local Incident Impact on Transportation Networks. | Yuye He, Sebastien Blandin, Laura Wynter, Barry M. Trager |
| 2013 | IPAS | A GPU based implementation of direct multi-bit search (DMS) screen algorithm. | Barry M. Trager, Kartheek Chandu, Chai Wah Wu, Mikel Stanich |
| 2012 | ICIP | Direct multi-bit search (DMS) screen algorithm. | Kartheek Chandu, Mikel Stanich, Chai Wah Wu, Barry M. Trager |
| 2012 | ISCAS | A GPU implementation of color digital halftoning using the Direct Binary Search algorithm. | Kartheek Chandu, Mikel Stanich, Barry M. Trager, Chai Wah Wu |
| 2011 | ISCAS | GPU-enabled parallel processing for image halftoning applications. | Barry M. Trager, Chai Wah Wu, Mikel Stanich, Kartheek Chandu |
| 2011 | ITA | A new class of array codes for memory storage. | Luis Alfonso Lastras-Montao, Patrick J. Meaney, Eldee Stephens, Barry M. Trager, James A. O'Connor, Luiz C. Alves |
| 2001 | ISSAC | Computation of the radical of polynomial ideals over fields of arbitrary characteristic. | Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager |
| 1997 | ISSAC | A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple Roots. | Robert M. Corless, Patrizia M. Gianni, Barry M. Trager |
| 1997 | ISSAC | Integral Closure of Noetherian Rings. | Patrizia M. Gianni, Barry M. Trager |
| 1995 | ISSAC | The Singular Value Decomposition for Polynomial Systems. | Robert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt |
| 1994 | ISSAC | How to Make AXIOM into a Scratchpad. | Richard D. Jenks, Barry M. Trager |
| 1991 | ISSAC | Scratchpad's View of Algebra II: A Categorical View of Factorization. | James H. Davenport, Patrizia M. Gianni, Barry M. Trager |
| 1988 | FOCS | Computing with Polynomials Given By Black Boxes for Their Evaluation: Greatest Common Divisors, Factorization, Separation of Numerators and Denominators | Erich L. Kaltofen, Barry M. Trager |
| 1988 | ISSAC | Decomposition of Algebras. | Patrizia M. Gianni, Victor Miller, Barry M. Trager |
| 1981 | ISSAC | Factorization over finitely generated fields. | James H. Davenport, Barry M. Trager |
| 1981 | ISSAC | A language for computational algebra. | Richard D. Jenks, Barry M. Trager |
| 1976 | ISSAC | Algebraic factoring and rational function integration. | Barry M. Trager |
| 1976 | ISSAC | Completing nth powers of polynomials. | Barry M. Trager, David Y. Y. Yun |