Computing Prime Implicants. - Peter Jackson; John Pais (CADE, 1990)

Semantic Accounts of Belief Revision. - Peter Jackson; John Pais (Truth Maintenance Systems (ECAI Workshop), 1990)

Using Forcing to Prove Completeness of Resolution and Paramodulation. - John Pais; Gerald E. Peterson (J. Symb. Comput., 1991)

Faithful representation of nonmonotonic patterns of inference. - John Pais (Minds Mach., 1992)

Revision Algebra Semantics for Conditional Logic. - John Pais (Stud Logica, 1992)

Partial Monotonicity and a New Version of the Ramsey Test. - John Pais; Peter Jackson (Stud Logica, 1992)

Exterior Topology and Revision Spaces. - John Pais (J. Log. Comput., 1995)

What, no canoes? Lessons learned while hosting a scratch summer camp. - Judy Clark; Michael P. Rogers; Carol Spradling; John Pais (J. Comput. Sci. Coll., 2013)

Using scratch/BYOB to create a project-based introduction to computer science. - John Pais (J. Comput. Sci. Coll., 2013)

Using puzzle simulations to introduce object oriented programming with BYOB. - John Pais (J. Comput. Sci. Coll., 2014)

Introducing object-based concepts in a blocks-based course using snap! - John Pais (J. Comput. Sci. Coll., 2018)

Partitioned-hill cryptosystems: a STEM lab for AP CSA. - John Pais (J. Comput. Sci. Coll., 2020)

Interactive Finite Group Explorations Generated by Quantum Gate Matrices. - John Pais (J. Comput. Sci. Coll., 2023)