Kimberly A. Cornell

According to our database, Kimberly A. Cornell authored at least 12 papers between 2011 and 2025.

Collaborative distances:

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

2025

Transparency, Security, and Workplace Training & Awareness in the Age of Generative AI.

Lakshika Vaishnav, Sakshi Singh, Kimberly A. Cornell

CoRR, January, 2025

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

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

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

The Perfect Victim? Family Offices as Targets for Cybercriminals.

Brian Nussbaum, Kimberly A. Cornell, Li Huang

Proceedings of the Foundations and Practice of Security - 17th International Symposium, 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

Proceedings of the IEEE International Conference on Big Data, 2024

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

Proceedings of the IEEE International Conference on Big Data, 2024

2019

Asymmetric Unification and Disunification.

Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2016

Notes on Lynch-Morawska Systems.

Daniel S. Hono II, Namrata Galatage, Kimberly A. Gero, Paliath Narendran, Ananya Subburathinam

Proceedings of the 30th International Workshop on Unification, 2016

2013

Unication Problems Modulo a Theory of Until.

Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Gero, Paliath Narendran

Proceedings of the 27th International Workshop on Unification, 2013

On Forward Closure and the Finite Variant Property.

Christopher Bouchard, Kimberly A. Gero, Christopher Lynch, Paliath Narendran

Proceedings of the Frontiers of Combining Systems, 2013

2012

Some Notes on Basic Syntactic Mutation.

Kimberly A. Gero, Christopher Bouchard, Paliath Narendran

Proceedings of the UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, 2012

2011

Playing Chess with a Human-Scale Mobile Manipulator.

Michael Ferguson, Kimberly A. Gero, Joao Salles, James Weis

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011