Distributed Termination Detection with Roughly Synchronized Clocks. - Jean Mayo; Phil Kearns (Inf. Process. Lett., 1994)

Efficient Distributed Termination Detection with Roughly Synchronized Clocks. - Jean Mayo; Phil Kearns (Parallel and Distributed Computing and Systems, 1995)

Global predicates in rough real time. - Jean Mayo; Phil Kearns (SPDP, 1995)

A secure networked laboratory for kernel programming. - Jean Mayo; Phil Kearns (ITiCSE, 1998)

Distributed Deadlock Detection and Resolution Based on Hardware Clocks. - Jean Mayo; Phil Kearns (ICDCS, 1999)

A secure unrestricted advanced systems laboratory. - Jean Mayo; Phil Kearns (SIGCSE, 1999)

Race conditions: a case study. - Steve Carr 001; Jean Mayo; Ching-Kuang Shene (J. Comput. Sci. Coll., 2001)

Teaching multithreaded programming made easy. - Steve Carr 001; Jean Mayo; Ching-Kuang Shene (J. Comput. Sci. Coll., 2001)

Channels, visualization, and topology editor. - Steve Carr 001; Ping Chen; Tim Jozwowski; Jean Mayo; Ching-Kuang Shene (ITiCSE, 2002)

A communication library to support concurrent programming courses. - Steve Carr 001; Changpeng Fang; Tim Jozwowski; Jean Mayo; Ching-Kuang Shene (SIGCSE, 2002)

Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education. - James K. Huggins; Jean Mayo; Charles Wallace 001 (Abstract State Machines, 2003)

The Advantages of Real Time in TORA. - Jeffrey Dobbelaere; Phil Kearns; Jean Mayo (CAINE, 2003)

Concurrent Mentor: A Visualization System for Distributed Programming Education. - Steve Carr 001; Changpeng Fang; Tim Jozwowski; Jean Mayo; Ching-Kuang Shene (PDPTA, 2003)

ThreadMentor: a pedagogical tool for multithreaded programming. - Steve Carr 001; Jean Mayo; Ching-Kuang Shene (ACM J. Educ. Resour. Comput., 2003)

A Distributed Algorithm for Detecting Deadlocks under the OR Model and the Resolution Based on Hardware Clocks. - Xinli Wang; Jean Mayo (PDCS, 2004)

A General Model for Detecting Distributed Termination in Dynamic Systems. - Xinli Wang; Jean Mayo (IPDPS, 2004)

A Dynamic Priority Based Algorithm for Distributed Deadlock Detection and Resolution. - Xinli Wang; Jean Mayo (PDPTA, 2004)

A Distributed Algorithm For Unstable Global Predicate Evaluation With Approximately Synchronized Clocks. - Shilpa Bansod; Jean Mayo (Stud. Inform. Univ., 2004)

MuON: Epidemic Based Mutual Anonymity. - Neelesh Bansod; Ashish Malgi; Byung Kyu Choi; Jean Mayo (ICNP, 2005)

Stable Predicate Detection in Dynamic Systems. - Donald Darling; Jean Mayo; Xinli Wang (OPODIS, 2005)

An Efficient Implementation of Vector Clocks in Dynamic Systems. - Xinli Wang; Jean Mayo; Wei Gao; James Slusser (PDPTA, 2006)

MuON: Epidemic based mutual anonymity in unstructured P2P networks. - Neelesh Bansod; Ashish Malgi; Byung Kyu Choi; Jean Mayo (Comput. Networks, 2008)

Detection of Conjunctive Stable Predicates in Dynamic Systems. - Xinli Wang; Jean Mayo; Guy C. Hembroff; Chunming Gao (ICPADS, 2009)

Detection of a Weak Conjunction of Unstable Predicates in Dynamic Systems. - Xinli Wang; Jean Mayo; Guy C. Hembroff (ICPADS, 2010)

Teaching access control with domain type enforcement. - Steve Carr 001; Jean Mayo (J. Comput. Sci. Coll., 2011)

DESvisual: a visualization tool for the DES cipher. - Jun Tao 002; Jun Ma 014; Jean Mayo; Ching-Kuang Shene; Melissa S. Keranen (J. Comput. Sci. Coll., 2011)

ECvisual: a visualization tool for elliptic curve based ciphers. - Jun Tao 002; Jun Ma 014; Melissa S. Keranen; Jean Mayo; Ching-Kuang Shene (SIGCSE, 2012)

DTEvisual: a visualization system for teaching access control using Domain Type Enforcement. - Yifei Li; Steve Carr 001; Jean Mayo; Ching-Kuang Shene; Chaoli Wang 001 (J. Comput. Sci. Coll., 2012)

An empirical study of three access control systems. - Lihui Hu; Jean Mayo; Charles Wallace 001 (SIN, 2013)

SHAvisual: a secure hash algorithm visualization tool. - Jun Ma 014; Jun Tao 002; Melissa S. Keranen; Jean Mayo; Ching-Kuang Shene; Chaoli Wang 001 (ITiCSE, 2014)

MLSvisual: a visualization tool for teaching access control using multi-level security. - Man Wang; Steve Carr 001; Jean Mayo; Ching-Kuang Shene; Chaoli Wang 001 (ITiCSE, 2014)

RSAvisual: a visualization tool for the RSA cipher. - Jun Tao 002; Jun Ma 014; Melissa S. Keranen; Jean Mayo; Ching-Kuang Shene; Chaoli Wang 001 (SIGCSE, 2014)

Fault-Tolerant Parallel and Distributed Computing for Software Engineering Undergraduates. - Ali Ebnenasir; Jean Mayo (IPDPS Workshops, 2015)

VIGvisual: A Visualization Tool for the Vigenère Cipher. - Can Li; Jun Ma 014; Jun Tao 002; Jean Mayo; Ching-Kuang Shene; Melissa S. Keranen; Chaoli Wang 001 (ITiCSE, 2015)

RBACvisual: A Visualization Tool for Teaching Access Control using Role-based Access Control. - Man Wang; Jean Mayo; Ching-Kuang Shene; Thomas Lake 001; Steve Carr 001; Chaoli Wang 001 (ITiCSE, 2015)

Teaching Cryptography and Access Control Hands-On (Abstract Only). - Steve Carr 001; Melissa S. Keranen; Jean Mayo (SIGCSE, 2015)

AESvisual: A Visualization Tool for the AES Cipher. - Jun Ma 014; Jun Tao 002; Jean Mayo; Ching-Kuang Shene; Melissa S. Keranen; Chaoli Wang 001 (ITiCSE, 2016)

UNIXvisual: A Visualization Tool for Teaching the UNIX Permission Model. - Man Wang; Jean Mayo; Ching-Kuang Shene; Steve Carr 001; Chaoli Wang 001 (ITiCSE, 2016)

Workshop on teaching modern models of access control hands-on: tutorial presentation. - Steve Carr 001; Jean Mayo (J. Comput. Sci. Coll., 2016)

Visualization for Secure Coding in C. - James W. Walker; Jean Mayo; Ching-Kuang Shene; Steve Carr 001 (ITiCSE, 2017)

UNIXvisual: A Visualization Tool for Teaching UNIX Permissions. - Man Wang; Jean Mayo; Ching-Kuang Shene; Steve Carr 001; Chaoli Wang 001 (ITiCSE, 2017)

Maia: A Language for Mandatory Integrity Controls of Structured Data. - Wassnaa Al-Mawee; Paul J. Bonamy; Steve Carr 001; Jean Mayo (ICISSP, 2019)

Teaching Integer Security Using Simple Visualizations. - James W. Walker; Man Wang; Steven Carr 001; Jean Mayo; Ching-Kuang Shene (ITiCSE, 2019)

SecureCvisual: Visualization and Analysis for C Code Security. - Steve Carr 001; Jean Mayo (SIGCSE, 2020)

A System for Visualizing the Process Address Space in the Context of Teaching Secure Coding in C. - James W. Walker; Man Wang; Steve Carr 001; Jean Mayo; Ching-Kuang Shene (SIGCSE, 2020)

Visualization and analysis for C code security. - Steve Carr 001; Jean Mayo (J. Comput. Sci. Coll., 2020)

Admonita: A Recommendation-based Trust Model for Dynamic Data Integrity. - Wassnaa Al-Mawee; Steve Carr 001; Jean Mayo (ICISSP, 2021)

A Visualization for Teaching Integer Coercion. - James W. Walker; Steven Carr 001; Ahmed Radwan; Yu-Hsiang Hu; Yu Chin Cheng; Jean Mayo; Ching-Kuang Shene (ITiCSE (2), 2021)

Design and Use of a Visualization for Teaching Integer Coercion. - Steven Carr 001; Yu Chin Cheng; Yu-Hsiang Hu; Jean Mayo; Ahmed Radwan; Ching-Kuang Shene; James W. Walker (SIGCSE (1), 2022)