Paweł T. Wojciechowski

From MaRDI portal
Person:902712

Available identifiers

zbMath Open wojciechowski.pawel-tDBLPw/PawelTWojciechowskiWikidataQ24451897 ScholiaQ24451897MaRDI QIDQ902712

List of research outcomes





PublicationDate of PublicationType
Last-use opacity: a strong safety property for transactional memory with prerelease support2022-06-21Paper
On Correctness of Dynamic Protocol Update2021-05-20Paper
On Mixing Eventual and Strong Consistency: Bayou Revisited2021-01-20Paper
G-MAPSEQ -- a new method for mapping reads to a reference genome2018-01-26Paper
Graph algorithms for DNA sequencing -- origins, current models and the future2017-11-23Paper
Proving opacity of transactional memory with early release2016-01-04Paper
Programming Languages and Systems2005-08-17Paper
https://portal.mardi4nfdi.de/entity/Q47382122004-08-11Paper

Research outcomes over time

This page was built for person: Paweł T. Wojciechowski

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:902712&oldid=11012498"
Powered by MediaWiki