| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 7 |       | Phillip Heidegger, Annette Bieniusa, Peter Thiemann: Access permission contracts for scripting languages. POPL 2012: 111-122 |
| 6 | | Annette Bieniusa, Peter Thiemann: Proving Isolation Properties for Software Transactional Memory. ESOP 2011: 38-56 |
| 4 | | Annette Bieniusa, Arie Middelkoop, Peter Thiemann: Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. PODC 2010: 71-72 |
| 3 | | Phillip Heidegger, Annette Bieniusa, Peter Thiemann: DOM Transactions for Testing JavaScript. TAIC PART 2010: 211-214 |
| 2 | | Annette Bieniusa, Peter Thiemann: How to CPS Transform a Monad. CC 2009: 266-280 |
| 1 | | Annette Bieniusa, Peter Thiemann, Stefan Wehr: The Relation of Version Control to Concurrent Programming. CSSE (3) 2008: 461-464 |
Selection of 6 from 8 records - Annette Bieniusa has 5 coauthors
Last update 2012-02-18 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page