MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Peter Kearney" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 12 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A Layered Real-Time Specification of a RISC Processor  
  • by Peter Kearney, Peter Kearney, Mark Utting, Mark Utting — 1994 — In Costas Courcoubetis, editor, Computer-aided Verification -- CAV '93, volume 697 of Lecture Notes in Computer Science
  • … Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 94-13 Peter Kearney…
  • Cited by 2 (0 self) – Add To MetaCart
  • Real Time Behaviour of a RISC Processor: . . .  
  • by Peter Kearney, Mark Utting, Keith Whitwell — 1994
  • … Queensland 4072 Australia TECHNICAL REPORT Phone: +61 7 365 1003 Fax: +61 7 365 1533 No. 92-10 Peter Kearney…
  • Add To MetaCart
  • A Complete Formal Development using Cogito  
  • by Nicholas Hamilton, Nicholas Hamilton, Dan Hazel, Dan Hazel, Peter Kearney, Peter Kearney, Owen Traynor, Owen Traynor, Luke Wildman, Luke Wildman — 1998 — Computer Science '98, Australian Computer Science Communications
  • … Hamilton Dan Hazel Peter Kearney Owen Traynor Luke Wildman December 1997 Phone: +61 7 3365 1003 Fax: +61 7…
  • Cited by 4 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB