MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Lennart Beringer" – 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
  • Towards Certificate Generation for Linear Heap Consumption  
  • by Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska — 2004 — In Proceedings of the ICALP/LICS Workshop on Logics for Resources, Processes, and Programs (LRPP2004
  • …Towards certificate generation for linear heap consumption Lennart Beringer 1 , Martin Hofmann 2…
  • Cited by 2 (2 self) – Add To MetaCart
  • Automatic Certification of Heap Consumption  
  • by Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska — 2005 — In Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004
  • …Automatic Certification of Heap Consumption Lennart Beringer 1 , Martin Hofmann 2 , Alberto…
  • Cited by 12 (4 self) – Add To MetaCart
  • A Program Logic for Resource Verification  
  • by David Aspinall, Lennart Beringer, Martin Hofmann, Hans-wolfgang Loidl, Alberto Momigliano — 2004 — In Proceedings of the 17th International Conference on Theorem Proving in Higher-Order Logics, (TPHOLs 2004), volume 3223 of LNCS
  • …A Program Logic for Resource Verification David Aspinall 1 , Lennart Beringer 1 , Martin Hofmann 2…
  • Cited by 17 (10 self) – Add To MetaCart
  • Mobius: Mobility, ubiquity, security: Objectives and progress report  
  • by Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard, The Netherl — 2007 — In Trustworthy Global Computing’06, LNCS
  • …MOBIUS: Mobility, Ubiquity, Security ⋆ Objectives and progress report Gilles Barthe 1 , Lennart…
  • Cited by 2 (2 self) – Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB