MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named John Hannan – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Compiler Verification in LF  
  • by John Hannan, Frank Pfenning — 1992 — Seventh Annual IEEE Symposium on Logic in Computer Science
  • …Compiler Verification in LF John Hannan Department of Computer Science University of Copenhagen…
  • Cited by 35 (10 self) – Add To MetaCart
  • Measuring Topography of Small-Scale Water Surface Waves  
  • by Jason M. Daida, Donald Lund, Christian Wolf, Guy A. Meadows, Kirk Schroeder, John F. Vesecky, David R. Lyzenga, Brian C. Hannan, Robert R. Bertram — 1995 — in the Proceedings of the IEEE International Geoscience and Remote Sensing Symposium
  • … , Kirk Schroeder 4 , John F. Vesecky 4 , David R. Lyzenga 4 , Brian C. Hannan 1 , and Robert R. Bertram 1…
  • Cited by 2 (1 self) – Add To MetaCart
  • IETF in completing this study. We would also like to thank Jóhanna Birnir  
  • by Lee Fleming, Morgan Hall T, David M. Waguespack, Michael Hannan, Jerry Kim, Karim Lakhani, Renee Richardson, Tim Simcoe, John Simon, Mike Tushman, Steve Wheelwright — 2005
  • … in completing this study. We would also like to thank Jóhanna Birnir, Ronald Burt, Michael Hannan, Eric von…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB