 | 2009 |
|---|
| 10 |       | Rachid Guerraoui,
Michal Kapalka:
Transactional Memory: Glimmer of a Theory.
CAV 2009: 1-15 |
| 9 | | Aleksandar Dragojevic,
Rachid Guerraoui,
Michal Kapalka:
Stretching transactional memory.
PLDI 2009: 155-165 |
| 8 | | Rachid Guerraoui,
Michal Kapalka:
The semantics of progress in lock-based transactional memory.
POPL 2009: 404-415 |
| 2008 |
|---|
| 7 | | Rachid Guerraoui,
Michal Kapalka:
On the correctness of transactional memory.
PPOPP 2008: 175-184 |
| 6 | | Rachid Guerraoui,
Michal Kapalka:
On obstruction-free transactions.
SPAA 2008: 304-313 |
| 5 | | Rachid Guerraoui,
Michal Kapalka,
Petr Kouznetsov:
The weakest failure detectors to boost obstruction-freedom.
Distributed Computing 20(6): 415-433 (2008) |
| 2007 |
|---|
| 4 | | Rachid Guerraoui,
Michal Kapalka,
Jan Vitek:
STMBench7: a benchmark for software transactional memory.
EuroSys 2007: 315-324 |
| 2006 |
|---|
| 3 | | Rachid Guerraoui,
Michal Kapalka,
Petr Kouznetsov:
The Weakest Failure Detectors to Boost Obstruction-Freedom.
DISC 2006: 399-412 |
| 2005 |
|---|
| 2 | | Marian Bubak,
Tomasz Gubala,
Michal Kapalka,
Maciej Malawski,
Katarzyna Rycerz:
Workflow composer and service registry for grid applications.
Future Generation Comp. Syst. 21(1): 79-86 (2005) |
| 2004 |
|---|
| 1 | | Marian Bubak,
Tomasz Gubala,
Michal Kapalka,
Maciej Malawski,
Katarzyna Rycerz:
Grid Service Registry for Workflow Composition Framework.
International Conference on Computational Science 2004: 34-41 |
