| 2000 | ||
|---|---|---|
| j3 | Helen Atkins, Catherine Lyons, Howard Ratner, Carol Risher, Chris Shillum, David Sidman, Andrew Stevens: Reference Linking with DOIs: A Case Study. D-Lib Magazine 6(2) (2000) | |
| 1998 | ||
| j2 | Robert Smith, Andrew Stevens, Andy Frost, Penny Probert: Developing a sensor-based underwater navigation system. Int. J. Systems Science 29(10): 1145-1155 (1998) | |
| 1995 | ||
| c4 | Andrew Stevens, Michael Stevens, Hugh F. Durrant-Whyte: "OxNav": Reliable Autonomous Navigation. ICRA 1995: 2607-2612 | |
| c3 | Michael Stevens, Andrew Stevens, Hugh F. Durrant-Whyte: Robust Vehicle Navigation. ISER 1995: 355-362 | |
| 1993 | ||
| j1 | Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill: Rippling: A Heuristic for Guiding Inductive Proofs. Artif. Intell. 62(2): 185-253 (1993) | |
| 1989 | ||
| c2 | Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens: A Rational Reconstruction and Extension of Recursion Analysis. IJCAI 1989: 359-365 | |
| 1988 | ||
| c1 | Andrew Stevens: A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas. ECAI 1988: 565-570 | |
Colors in the list of coauthors
Last update Thu May 23 05:41:35 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page