Carl Witty

	2003
6		Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu: MetaPRL - A Modular Logical Environment. TPHOLs 2003: 287-303
	2002
5		Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen: Tarskian Set Constraints. Inf. Comput. 174(2): 105-131 (2002)
	1997
4		Barry Brian Werger, Pablo Funes, Miguel Schneider-Fontán, Randy Sargent, Carl Witty, Tim Witty: The Spirit of Bolivia: Complex Behavior Through Minimal Control. RoboCup 1997: 348-356
3		Randy Sargent, Bill Bailey, Carl Witty, Anne Wright: Dynamic Object Capture Using Fast Vision Tracking. AI Magazine 18(1): 65-72 (1997)
2		Randy Sargent, Bill Bailey, Carl Witty, Anne Wright: The importance of fast vision in winning the First Micro-Robot World Cup Soccer Tournament. Robotics and Autonomous Systems 21(2): 139-147 (1997)
	1996
1		David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen: Tarskian Set Constraints. LICS 1996: 138-147

Coauthor Index

1	Brian E. Aydemir	[6]
2	Bill Bailey	[2] [3]
3	Eli Barzilay	[6]
4	Yegor Bryukhov	[6]
5	Robert L. Constable	[6]
6	Richard Eaton	[6]
7	Pablo Funes	[4]
8	Robert Givan	[1] [5]
9	Adam Granicz	[6]
10	Jason Hickey	[6]
11	Alexei Kopylov	[6]
12	Dexter Kozen	[1] [5]
13	Christoph Kreitz	[6]
14	Vladimir Krupski	[6]
15	Lori Lorigo	[6]
16	David A. McAllester	[1] [5]
17	Aleksey Nogin	[6]
18	Randy Sargent	[2] [3] [4]
19	Stephan Schmitt	[6]
20	Miguel Schneider-Fontán	[4]
21	Barry Brian Werger	[4]
22	Tim Witty	[4]
23	Anne Wright	[2] [3]
24	Xin Yu	[6]

Colors in the list of coauthors