Author Info
Name
Affiliation
Papers
PETER ZELLER
Univ Kaiserslautern, D-67663 Kaiserslautern, Germany
6
Collaborators
Citations 
PageRank 
10
9
2.21
Referers 
Referees 
References 
28
60
24
Title
Citations
PageRank
Year
Combining State- And Event-Based Semantics To Verify Highly Available Applications00.342021
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+00.342020
Ensuring referential integrity under causal consistency.00.342018
FMKe: a Real-World Benchmark for Key-Value Data Stores20.362017
Towards a Proof Framework for Information Systems with Weak Consistency.10.352016
Formal Specification and Verification of CRDTs.60.482014