Carl Witty
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1996–1997
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | RoboCup | The Spirit of Bolivia: Complex Behavior Through Minimal Control. | Barry Brian Werger, Pablo Funes, Miguel Schneider-Fontn, Randy Sargent, Carl Witty, Tim Witty |
| 1996 | LICS | Tarskian Set Constraints. | David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen |