Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Kimberly A. Cornell

Kimberly A. Gero

> Home > Persons

Person information

affiliation: College of Saint Rose, Albany, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/FernandezC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/FernandezC24
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: 345-351

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/RavishankarCN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/RavishankarCN19
Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran:
Asymmetric Unification and Disunification. Description Logic, Theory Combination, and All That 2019: 497-522
2017
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RavishankarGN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RavishankarGN17
Veena Ravishankar, Kimberly A. Gero, Paliath Narendran:
Asymmetric Unification and Disunification. CoRR abs/1706.05066 (2017)
2016
[c5]
- view
  - electronic edition @ unimi.it (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/HonoGGNS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/HonoGGNS16
Daniel S. Hono II, Namrata Galatage, Kimberly A. Gero, Paliath Narendran, Ananya Subburathinam:
Notes on Lynch-Morawska Systems. UNIF 2016: 25-30
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HonoGGNS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HonoGGNS16
Daniel S. Hono II, Namrata Galatage, Kimberly A. Gero, Paliath Narendran, Ananya Subburathinam:
Notes on Lynch-Morawska Systems. CoRR abs/1604.06139 (2016)
2013
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/BouchardGLN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/BouchardGLN13
Christopher Bouchard, Kimberly A. Gero, Christopher Lynch, Paliath Narendran:
On Forward Closure and the Finite Variant Property. FroCos 2013: 327-342
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/BrahmakshatriyaDGN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/BrahmakshatriyaDGN13
Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Gero, Paliath Narendran:
Unication Problems Modulo a Theory of Until. UNIF@RTA/TLCA 2013: 22-29
2012
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/GeroBN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GeroBN12
Kimberly A. Gero, Christopher Bouchard, Paliath Narendran:
Some Notes on Basic Syntactic Mutation. UNIF 2012: 17-27
2011
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/FergusonGSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/FergusonGSW11
Michael Ferguson, Kimberly A. Gero, Joao Salles, James Weis:
Playing Chess with a Human-Scale Mobile Manipulator. AAAI 2011: 1872-1873

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.