| Jasmin Christian Blanchette and Josef Urban (editors) | PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving | EPiC Series, Volume 14 | | |
| Jasmin Christian Blanchette | Redirecting Proofs by Contradiction | PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving | 11-26 |  |
| Steffen Juilf Smolka and Jasmin Christian Blanchette | Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs | PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving | 117-132 |  |
| Jasmin Christian Blanchette | Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod | LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. | 20-25 |  |
| Lawrence C. Paulson and Jasmin Christian Blanchette | Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers | IWIL 2010. The 8th International Workshop on the Implementation of Logics | 1-11 |  |