Andrew Stevens Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2000
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelen 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Smith, Andrew Stevens, Andy Frost, Penny Probert: Developing a sensor-based underwater navigation system. Int. J. Systems Science 29(10): 1145-1155 (1998)
1995
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Stevens, Michael Stevens, Hugh F. Durrant-Whyte: "OxNav": Reliable Autonomous Navigation. ICRA 1995: 2607-2612
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Stevens, Andrew Stevens, Hugh F. Durrant-Whyte: Robust Vehicle Navigation. ISER 1995: 355-362
1993
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan 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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens: A Rational Reconstruction and Extension of Recursion Analysis. IJCAI 1989: 359-365
1988
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Stevens: A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas. ECAI 1988: 565-570

Coauthor Index

1Helen Atkins [7]
2Alan Bundy [2] [3]
3Hugh F. Durrant-Whyte [4] [5]
4Andy Frost [6]
5Frank van Harmelen [2] [3]
6Jane Hesketh [2]
7Andrew Ireland [3]
8Catherine Lyons [7]
9Penny Probert [6]
10Howard Ratner [7]
11Carol Risher [7]
12Chris Shillum [7]
13David Sidman [7]
14Alan Smaill [2] [3]
15Robert Smith [6]
16Michael Stevens [4] [5]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page