All Stories

  1. Using symmetry of processes to enable model repair.

    Article • ACM Transactions on Computational Logic, February 2025, ACM (Association for Computing Machinery)

    William Cocke

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

    Article • American Mathematical Monthly, January 2019, Taylor & Francis

    William Cocke