Paweł T. Wojciechowski

MaRDI QIDQ902712zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Finding short tree-like unit refutations in UTVPI constraint systems	2025-12-15	Paper
Assignment of tasks to machines under data replication with a tie to Steiner systems International Journal of Applied Mathematics and Computer Science	2025-06-30	Paper
Last-use opacity: a strong safety property for transactional memory with prerelease support Distributed Computing	2022-06-21	Paper
On correctness of dynamic protocol update Lecture Notes in Computer Science	2021-05-20	Paper
On Mixing Eventual and Strong Consistency: Bayou Revisited Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing	2021-01-20	Paper
G-MAPSEQ -- a new method for mapping reads to a reference genome Foundations of Computing and Decision Sciences	2018-01-26	Paper
Graph algorithms for DNA sequencing -- origins, current models and the future European Journal of Operational Research	2017-11-23	Paper
Proving opacity of transactional memory with early release Foundations of Computing and Decision Sciences	2016-01-04	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-08-17	Paper
scientific article; zbMATH DE number 2087417 (Why is no real title available?)	2004-08-11	Paper

Research outcomes over time

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