Playing Chess with a Human-Scale Mobile Manipulator. - Michael Ferguson; Kimberly A. Gero; Joao Salles; James Weis (AAAI, 2011)

Some Notes on Basic Syntactic Mutation. - Kimberly A. Gero; Christopher Bouchard; Paliath Narendran (UNIF, 2012)

On Forward Closure and the Finite Variant Property. - Christopher Bouchard; Kimberly A. Gero; Christopher Lynch; Paliath Narendran (FroCos, 2013)

Unication Problems Modulo a Theory of Until. - Shreyaben Brahmakshatriya; Sushma Danturi; Kimberly A. Gero; Paliath Narendran (UNIF@RTA/TLCA, 2013)

Notes on Lynch-Morawska Systems. - Daniel S. Hono II; Namrata Galatage; Kimberly A. Gero; Paliath Narendran; Ananya Subburathinam (UNIF, 2016)

Asymmetric Unification and Disunification. - Veena Ravishankar; Kimberly A. Cornell; Paliath Narendran (Description Logic, Theory Combination, and All That, 2019)

A Knowledge Graph Framework for Organizing Heterogeneous Datasets for Utilization in Classical and Quantum Computing: Current Challenges and Future Directions. - Thilanka Munasinghe; Kimberly A. Cornell; Jennifer C. Wei; George Berg; James A. Hendler (IEEE Big Data, 2024)

Assessment of Quantum ML Applicability for Climate Actions: Comparison of the Variational Quantum Classifier and the Quantum Support Vector Classifier with Classical ML Models. - Thilanka Munasinghe; Phung Lai; Jennifer. C. Wei; James A. Hendler; Kimberly A. Cornell (IEEE Big Data, 2024)

The Perfect Victim? Family Offices as Targets for Cybercriminals. - Brian Nussbaum; Kimberly A. Cornell; Li Huang (FPS (1), 2024)

CS1 with a Side of AI: Teaching Software Verification for Secure Code in the Era of Generative AI. - Amanda S. Fernandez; Kimberly A. Cornell (SIGCSE (1), 2024)

Incorporating LLM Activities into Established CS1 Curriculum: An Experience Report. - Amanda S. Fernandez; David Patrick; Mauricio Gomez; Kimberly A. Cornell (J. Comput. Sci. Coll., 2025)

Transparency, Security, and Workplace Training & Awareness in the Age of Generative AI. - Lakshika Vaishnav; Sakshi Singh; Kimberly A. Cornell (CoRR, 2025)