| 2021 | FIE | Cloudifying the Curriculum with AWS. | Michael Soltys |
| 2020 | KES | Voyager: Tracking with a Click. | Samuel Decanio, Michael Soltys, Kimo Hildreth |
| 2020 | KES | Malware Persistence Mechanisms. | Zane Gittins, Michael Soltys |
| 2019 | KES | Deploying Health Campaign Strategies to Defend Against Social Engineering Threats. | Noelle Abe, Michael Soltys |
| 2019 | KES | SEAKER: A mobile digital forensics triage device. | Eric Gentry, Michael Soltys |
| 2019 | KES | Approximating consistency in pairwise comparisons. | Christopher Kuske, Michael Soltys, Konrad Kulakowski |
| 2015 | WALCOM | Non-repetitive Strings over Alphabet Lists. | Neerja Mhaskar, Michael Soltys |
| 2014 | KES | Fair Ranking in Competitive Bidding Procurement: A Case Analysis. | Michael Soltys |
| 2013 | IWOCA | Circuit Complexity of Shuffle. | Michael Soltys |
| 2013 | MFCS | Feasible Combinatorial Matrix Theory. | Ariel Germn Fernndez, Michael Soltys |
| 2005 | CSL | Feasible Proofs of Matrix Properties with Csanky's Algorithm. | Michael Soltys |
| 2004 | ICALP | LA, Permutations, and the Hajs Calculus. | Michael Soltys |
| 2002 | LICS | The Proof Complexity of Linear Algebra. | Michael Soltys, Stephen A. Cook |