Search results for: Robert Givan
Lecture Notes in Computer Science > Static Analysis > 205-219
Lecture Notes in Computer Science > Abstraction, Reformulation and Approximation > Extended Abstracts > 321-331
Computer Networks > 2006 > 50 > 18 > 3721-3742
Artificial Intelligence > 2006 > 170 > 14-15 > 1081-1100
Journal of Systems Architecture > 2006 > 52 > 4 > 213-234
Discrete Event Dynamic Systems > 2004 > 14 > 3 > 309-341
Artificial Intelligence > 2003 > 147 > 1-2 > 163-223
Machine Learning > 2003 > 53 > 1-2 > 71-109
Information and Computation > 2002 > 174 > 2 > 105-131
Artificial Intelligence > 2000 > 122 > 1-2 > 71-109