John Pais

14 papers A 1Journal 12Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Subnormal Closure Version and Proof of the Guralnick-Tracey Theorem on Proper Normal Subgroup Containment. Maple Trans. John Pais
2023	J	`jnl`	Interactive Finite Group Explorations Generated by Quantum Gate Matrices. J. Comput. Sci. Coll. John Pais
2020	J	`jnl`	Partitioned-hill cryptosystems: a STEM lab for AP CSA. J. Comput. Sci. Coll. John Pais
2018	J	`jnl`	Introducing object-based concepts in a blocks-based course using snap! J. Comput. Sci. Coll. John Pais
2014	J	`jnl`	Using puzzle simulations to introduce object oriented programming with BYOB. J. Comput. Sci. Coll. John Pais
2013	J	`jnl`	Using scratch/BYOB to create a project-based introduction to computer science. J. Comput. Sci. Coll. John Pais
2013	J	`jnl`	What, no canoes? Lessons learned while hosting a scratch summer camp. J. Comput. Sci. Coll. Judy Clark, Michael P. Rogers, Carol Spradling, John Pais
1995	J	`jnl`	Exterior Topology and Revision Spaces. J. Log. Comput. John Pais
1992	J	`jnl`	Faithful representation of nonmonotonic patterns of inference. Minds Mach. John Pais
1992	J	`jnl`	Partial Monotonicity and a New Version of the Ramsey Test. Stud Logica John Pais, Peter Jackson
1992	J	`jnl`	Revision Algebra Semantics for Conditional Logic. Stud Logica John Pais
1991	J	`jnl`	Using Forcing to Prove Completeness of Resolution and Paramodulation. J. Symb. Comput. John Pais, Gerald E. Peterson
1990	A	`conf`	Computing Prime Implicants. CADE Peter Jackson, John Pais
1990	—	`conf`	Semantic Accounts of Belief Revision. Truth Maintenance Systems (ECAI Workshop) Peter Jackson, John Pais