John Pais

According to our database, John Pais authored at least 14 papers between 1990 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

A Subnormal Closure Version and Proof of the Guralnick-Tracey Theorem on Proper Normal Subgroup Containment.

John Pais

Maple Trans., 2025

2023

Interactive Finite Group Explorations Generated by Quantum Gate Matrices.

John Pais

J. Comput. Sci. Coll., 2023

2020

Partitioned-hill cryptosystems: a STEM lab for AP CSA.

John Pais

J. Comput. Sci. Coll., 2020

2018

Introducing object-based concepts in a blocks-based course using snap!

John Pais

J. Comput. Sci. Coll., 2018

2014

Using puzzle simulations to introduce object oriented programming with BYOB.

John Pais

J. Comput. Sci. Coll., 2014

2013

Using scratch/BYOB to create a project-based introduction to computer science.

John Pais

J. Comput. Sci. Coll., 2013

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

1995

Exterior Topology and Revision Spaces.

John Pais

J. Log. Comput., 1995

1992

Partial Monotonicity and a New Version of the Ramsey Test.

John Pais, Peter Jackson

Stud Logica, 1992

Revision Algebra Semantics for Conditional Logic.

John Pais

Stud Logica, 1992

Faithful representation of nonmonotonic patterns of inference.

John Pais

Minds Mach., 1992

1991

Using Forcing to Prove Completeness of Resolution and Paramodulation.

John Pais, Gerald E. Peterson

J. Symb. Comput., 1991

1990

Semantic Accounts of Belief Revision.

Peter Jackson, John Pais

Proceedings of the Truth Maintenance Systems, 1990

Computing Prime Implicants.

Peter Jackson, John Pais

Proceedings of the 10th International Conference on Automated Deduction, 1990