Concepedia

Paweł T. Wojciechowski

PT

Statistics

Publications

17

Citations

467

H-Index

13

Active since

2000

Affiliations

Poznań University of Technology(Current)

École Polytechnique Fédérale de Lausanne

University of Cambridge

Paweł T. Wojciechowski is an author at Poznań University of Technology specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystem SoftwareDistributed SystemsSystems EngineeringCloud ComputingCluster ComputingParallel Computing

Publications per year

2000–2022

17

Publications

17

Nomadic Pict: language and infrastructure design for mobile agents

Paweł T. Wojciechowski, Peter Sewell · IEEE Concurrency · 2000 · 111 citations

Agent Development Tool, Engineering, Distributed Middleware +13

Nomadic Pict: language and infrastructure design for mobile agents

Paweł T. Wojciechowski, Peter Sewell · 2003 · 47 citations

Distributed Infrastructures, Engineering, Infrastructure Algorithms +18

Hybrid Replication: State-Machine-Based and Deferred-Update Replication Schemes Combined

Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski · 2013 · 34 citations

Cluster Computing, Engineering, Computer Architecture +20

JPaxos: State machine replication based on the Paxos protocol

Jan Kończak, Nuno Santos, Tomasz Żurkowski et al. · 2011 · 33 citations · Full text

Algorithms for Location-Independent Communication between Mobile Agents

Paweł T. Wojciechowski · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2001 · 31 citations · Full text

1–5 of 17