Login / Signup
Kimberly A. Cornell
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 2
Top Topics
John Mccarthy
Knuth Bendix
Ai Methods
Knowledge Representation
Top Venues
SIGCSE (1)
Description Logic, Theory Combination, and All That
</>
Publications
</>
Amanda S. Fernandez
,
Kimberly A. Cornell
CS1 with a Side of AI: Teaching Software Verification for Secure Code in the Era of Generative AI.
SIGCSE (1)
(2024)
Veena Ravishankar
,
Kimberly A. Cornell
,
Paliath Narendran
Asymmetric Unification and Disunification.
Description Logic, Theory Combination, and All That
(2019)