Location-Independent Communication for Mobile Agents: A Two-Level Architecture. - Peter Sewell; Pawel T. Wojciechowski; Benjamin C. Pierce (ICCL Workshop: Internet Programming Languages, 1998)

Nomadic Pict: language and infrastructure design for mobile agents. - Pawel T. Wojciechowski; Peter Sewell (IEEE Concurr., 2000)

Nomadic pict: language and infrastructure design for mobile computation - Pawel T. Wojciechowski (2000)

Semantics of Protocol Modules Composition and Interaction. - Pawel T. Wojciechowski; Sergio Mena; André Schiper (COORDINATION, 2002)

A Step Towards a New Generation of Group Communication Systems. - Sergio Mena; André Schiper; Pawel T. Wojciechowski (Middleware, 2003)

Concurrency Combinators for Declarative Synchronization. - Pawel T. Wojciechowski (APLAS, 2004)

SAMOA: Framework for Synchronisation Augmented Microprotocol Approach. - Pawel T. Wojciechowski; Olivier Rütti; André Schiper (IPDPS, 2004)

On Correctness of Dynamic Protocol Update. - Pawel T. Wojciechowski; Olivier Rütti (FMOODS, 2005)

Role-Based Declarative Synchronization for Reconfigurable Systems. - Vlad Tanasescu; Pawel T. Wojciechowski (PADL, 2005)

Isolation-only transactions by typing and versioning. - Pawel T. Wojciechowski (PPDP, 2005)

Advances in the Design and Implementation of Group Communication Middleware. - Daniel C. Bünzli; Rachele Fuzzati; Sergio Mena; Uwe Nestmann; Olivier Rütti; André Schiper; Pawel T. Wojciechowski (Research Results of the DICS Program, 2006)

Scalable Message Routing for Mobile Software Assistants. - Pawel T. Wojciechowski (EUC, 2006)

Structural and algorithmic issues of dynamic protocol update. - Olivier Rütti; Pawel T. Wojciechowski; André Schiper (IPDPS, 2006)

Service interface: a new abstraction for implementing and composing protocols. - Olivier Rütti; Pawel T. Wojciechowski; André Schiper (SAC, 2006)

A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties. - Pawel T. Wojciechowski (SC@ETAPS, 2006)

Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation. - Peter Sewell; Pawel T. Wojciechowski; Asis Unyapoth (ACM Trans. Program. Lang. Syst., 2010)

Batched Transactions for RESTful Web Services. - Sebastian Kochman; Pawel T. Wojciechowski; Milosz Kmieciak (ICWE Workshops, 2011)

Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages. - Pawel T. Wojciechowski (SLE, 2011)

A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java. - Konrad Siek; Pawel T. Wojciechowski (FMICS, 2012)

RESTGroups for Resilient Web Services. - Tadeusz Kobus; Pawel T. Wojciechowski (SOFSEM, 2012)

Model-Driven Comparison of State-Machine-Based and Deferred-Update Replication Schemes. - Pawel T. Wojciechowski; Tadeusz Kobus; Maciej Kokocinski (SRDS, 2012)

Hybrid Replication: State-Machine-Based and Deferred-Update Replication Schemes Combined. - Tadeusz Kobus; Maciej Kokocinski; Pawel T. Wojciechowski (ICDCS, 2013)

Brief announcement: towards a fully-articulated pessimistic distributed transactional memory. - Konrad Siek; Pawel T. Wojciechowski (SPAA, 2013)

Having your cake and eating it too: combining strong and eventual consistency. - Pawel T. Wojciechowski; Konrad Siek (PaPEC@EuroSys, 2014)

Make the Leader Work: Executive Deferred Update Replication. - Maciej Kokocinski; Tadeusz Kobus; Pawel T. Wojciechowski (SRDS, 2014)

Relaxing Opacity in Pessimistic Transactional Memory. - Konrad Siek; Pawel T. Wojciechowski (DISC, 2014)

Dependability Infrastructure for SOA Applications. - Jerzy Brzezinski; Dariusz Dwornikowski; Anna Kobusinska; Jacek Kobusinski; Michal Sajkowski; Cezary Sobaniec; Michal Szychowiak; Dariusz Wawrzyniak; Pawel T. Wojciechowski (Advanced SOA Tools and Applications, 2014)

Introduction to Transactional Replication. - Tadeusz Kobus; Maciej Kokocinski; Pawel T. Wojciechowski (Transactional Memory, 2015)

Brief Announcement: Eventually Consistent Linearizability. - Maciej Kokocinski; Tadeusz Kobus; Pawel T. Wojciechowski (PODC, 2015)

Last-use Opacity: A Strong Safety Property for Transactional Memory with Early Release Support. - Konrad Siek; Pawel T. Wojciechowski (CoRR, 2015)

Atomic RMI 2: distributed transactions for Java. - Pawel T. Wojciechowski; Konrad Siek (AGERE!@SPLASH, 2016)

Atomic RMI 2: Highly Parallel Pessimistic Distributed Transactional Memory. - Konrad Siek; Pawel T. Wojciechowski (CoRR, 2016)

The Optimal Pessimistic Transactional Memory Algorithm. - Pawel T. Wojciechowski; Konrad Siek (CoRR, 2016)

Atomic RMI: A Distributed Transactional Memory Framework. - Konrad Siek; Pawel T. Wojciechowski (Int. J. Parallel Program., 2016)

Relaxing real-time order in opacity and linearizability. - Tadeusz Kobus; Maciej Kokocinski; Pawel T. Wojciechowski (J. Parallel Distributed Comput., 2017)

Operation-Level Wait-Free Transactional Memory with Support for Irrevocable Operations. - Jan Z. Konczak; Pawel T. Wojciechowski; Rachid Guerraoui (IEEE Trans. Parallel Distributed Syst., 2017)

State-Machine and Deferred-Update Replication: Analysis and Comparison. - Pawel T. Wojciechowski; Tadeusz Kobus; Maciej Kokocinski (IEEE Trans. Parallel Distributed Syst., 2017)

Helenos: A realistic benchmark for distributed transactional memory. - Pawel Kobylinski; Konrad Siek; Jan Baranowski; Pawel T. Wojciechowski (Softw. Pract. Exp., 2018)

Hybrid Transactional Replication: State-Machine and Deferred-Update Replication Combined. - Tadeusz Kobus; Maciej Kokocinski; Pawel T. Wojciechowski (IEEE Trans. Parallel Distributed Syst., 2018)

On Mixing Eventual and Strong Consistency: Bayou Revisited. - Maciej Kokocinski; Tadeusz Kobus; Pawel T. Wojciechowski (PODC, 2019)

Creek: a General Mixed-Consistency Transactional Replication Scheme. - Tadeusz Kobus; Maciej Kokocinski; Pawel T. Wojciechowski (CoRR, 2019)

Failure Recovery from Persistent Memory in Paxos-Based State Machine Replication. - Jan Z. Konczak; Pawel T. Wojciechowski (SRDS, 2021)

Recovery Algorithms for Paxos-Based State Machine Replication. - Jan Z. Konczak; Pawel T. Wojciechowski; Nuno Santos; Tomasz Zurkowski; André Schiper (IEEE Trans. Dependable Secur. Comput., 2021)

Jiffy: a lock-free skip list with batch updates and snapshots. - Tadeusz Kobus; Maciej Kokocinski; Pawel T. Wojciechowski (PPoPP, 2022)

Last-use opacity: a strong safety property for transactional memory with prerelease support. - Konrad Siek; Pawel T. Wojciechowski (Distributed Comput., 2022)

On Mixing Eventual and Strong Consistency: Acute Cloud Types. - Maciej Kokocinski; Tadeusz Kobus; Pawel T. Wojciechowski (IEEE Trans. Parallel Distributed Syst., 2022)

A selective and biased choice of techniques for building a distributed data store. - Pawel Tomasz Wojciechowski (DEBS, 2023)

On the correctness of highly available systems in the presence of failures. - Maciej Kokocinski; Tadeusz Kobus; Pawel T. Wojciechowski (J. Parallel Distributed Comput., 2023)

Jiffy: A Lock-free Skip List with Batch Updates and Snapshots (Abstract). - Tadeusz Kobus; Maciej Kokocinski; Pawel T. Wojciechowski (HOPC@SPAA, 2024)

Last-Use Opacity: A Strong Safety Property for Transactional Memory with Prerelease Support (Abstract). - Konrad Siek; Pawel T. Wojciechowski (HOPC@SPAA, 2024)

KDB: A Persistent Key-Value Data Store with Batch Updates and Snapshots. - Tadeusz Kobus; Maciej Kokocinski; Krzysztof Kortas; Pawel T. Wojciechowski (Middleware Demos/Posters/Doctoral Symposium, 2024)

Creek: A Mixed-Consistency Replication Scheme. - Maciej Kokocinski; Tadeusz Kobus; Pawel T. Wojciechowski (Middleware Demos/Posters/Doctoral Symposium, 2024)