Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Robert Keller

2000 – 2009

see FAQ

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

2009
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/ByrnesBEMRK09
- ask others
John Byrnes, Michael Buchanan, Michael Ernst, Philip Miller, Chris Roberts, Robert Keller: Visualizing Proof Search for Theorem Prover Development. Electr. Notes Theor. Comput. Sci. 226: 23-38 (2009)
2007
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/KellerHJMWG07
- ask others
Robert Keller, Martin Hunt, Stephen Jones, David Morrison, Aaron Wolin, Steven Gomez: Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant. Electr. Notes Theor. Comput. Sci. 193: 47-60 (2007)

1980 – 1989

see FAQ

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

1989
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/HaridiK89
- ask others
Seif Haridi, Robert Keller: Preface to the Special Issue - Papers Presented at the Third Symposium on Logic Programming. J. Log. Program. 6(1&2): 1-2 (1989)

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?