Concepedia

Michał Kapałka

MK

6

Publications

275

Citations

6

H-Index

2005

Active since

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

Michał Kapałka is an author at École Polytechnique Fédérale de Lausanne specializing in hardware security, computer engineering, and formal methods.

ORCID

Top concepts

Publications per year

2005–2012

6

Publications

6

Principles of Transactional Memory

Rachid Guerraoui, Michał Kapałka · Synthesis lectures on distributed computing theory · 2010 · 95 citations

Robust Contention Management in Software Transactional Memory

Rachid Guerraoui, Maurice Herlihy, Michał Kapałka et al. · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2005 · 53 citations · Full text

The weakest failure detectors to boost obstruction-freedom

Rachid Guerraoui, Michał Kapałka, Petr Kouznetsov · Distributed Computing · 2007 · 43 citations · Full text

On the liveness of transactional memory

Victor Bushkov, Rachid Guerraoui, Michał Kapałka · 2012 · 36 citations · Full text

, , +12

Dividing Transactional Memories by Zero

Aleksandar Dragojević, Rachid Guerraoui, Michał Kapałka · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2008 · 32 citations · Full text

Rows per page

1–5 of 6