William Cocke

According to our database, William Cocke authored at least 9 papers between 2019 and 2025.

Collaborative distances:

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

2025

Model and Program Repair via Group Actions and Structure Unwinding.

Paul C. Attie, William L. Cocke

ACM Trans. Comput. Log., April, 2025

2024

Add Nihilo.

William Cocke

Am. Math. Mon., September, 2024

2023

i nd uct ion!

William Cocke

Am. Math. Mon., September, 2023

Model and Program Repair via Group Actions.

Paul C. Attie, William Cocke

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

Chains of Normalizers of Subnormal Subgroups.

William Cocke, I. M. Isaacs, Ryan McCulloch

Am. Math. Mon., 2022

Model Repair via Symmetry.

Paul C. Attie, William Cocke

CoRR, 2022

2020

The free spectrum of A5.

William Cocke, Dane Skabelund

Int. J. Algebra Comput., 2020

2019

On the Number of Elements of Maximal Order in a Group.

William Cocke, Geetha Venkataraman

Am. Math. Mon., 2019

Size of free groups in varieties generated by finite groups.

William Cocke

Int. J. Algebra Comput., 2019