MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Einar Broch Johnsen" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 27 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Theorem reuse by proof term transformation  
  • by Einar Broch Johnsen, Christoph Lüth — 2004 — International Conference on Theorem Proving in Higher-Order Logics TPHOLs 2004, volume 3223 of Lecture Notes in Computer Science
  • …Theorem Reuse by Proof Term Transformation Einar Broch Johnsen 1 and Christoph Lüth 2 1 Department…
  • Cited by 6 (1 self) – Add To MetaCart
  • Composition and refinement for partial object specifications  
  • by Einar Broch Johnsen, Olaf Owe — 2002 — IN PROCEEDINGS OF THE 7TH INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR PARALLEL PROGRAMMING: THEORY AND APPLICATIONS (FMPPTA 2002). IEEE COMPUTER
  • … Composition and Refinement for Partial Object Specifications (full version) Einar Broch Johnsen and Olaf Owe…
  • Cited by 2 (0 self) – Add To MetaCart
  • Lazy Behavioral Subtyping ⋆  
  • by Johan Dovl, Einar Broch Johnsen, Olaf Owe, Martin Steffen
  • …Lazy Behavioral Subtyping ⋆ Johan Dovland, Einar Broch Johnsen, Olaf Owe, and Martin Steffen Dept…
  • Add To MetaCart
  • unknown title  
  • by Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen
  • … method calls Einar Broch Johnsen, Olaf Owe, and Eyvind W. Axelsen Department of Informatics, University…
  • Add To MetaCart
  • Minimal Ownership for Active Objects ⋆  
  • by Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen
  • … , and Einar Broch Johnsen 3 1 CWI, Amsterdam, The Netherlands 2 Purdue University, USA 3 University of Oslo…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB