Martin Kleppmann
TitleCited byYear
Designing data-intensive applications: The big ideas behind reliable, scalable, and maintainable systems
M Kleppmann
" O'Reilly Media, Inc.", 2017
1052017
Kafka, Samza and the Unix philosophy of distributed data
MA Kleppmann, J Kreps
IEEE, 2015
322015
A conflict-free replicated JSON datatype
M Kleppmann, AR Beresford
IEEE Transactions on Parallel and Distributed Systems 28 (10), 2733-2746, 2017
252017
Verifying strong eventual consistency in distributed systems
VBF Gomes, M Kleppmann, DP Mulligan, AR Beresford
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 109, 2017
212017
Communication systems and methods
M Kleppmann, R Vohra, C Irwin, L Mallabone, S Stokes
US Patent App. 13/708,518, 2014
192014
A Critique of the CAP Theorem
M Kleppmann
arXiv preprint arXiv:1509.05393, 2015
13*2015
Making Sense of Stream Processing
M Kleppmann
O'Reilly Media, Incorporated, 2016
122016
Simulation of colliding constrained rigid bodies
M Kleppmann
University of Cambridge, Computer Laboratory, 2007
92007
Controlling the actions of a mobile browser
R Vohra, MA Kleppmann, L Mallabone
US Patent 10,306,050, 2019
82019
A framework for establishing strong eventual consistency for conflict-free replicated data types
VBF Gomes, M Kleppmann, DP Mulligan, AR Beresford
Archive of Formal Proofs 2017, 2017
62017
Please stop calling databases CP or AP
M Kleppmann
Access on< https://martin. kleppmann. com/2015/05/11/please-stop-calling …, 2015
52015
Schema evolution in avro, protocol buffers and thrift
M Kleppmann
52013
Controlling the actions of a mobile browser
R Vohra, MA Kleppmann, L Mallabone
US Patent App. 14/194,073, 2015
42015
How to do distributed locking
M Kleppmann
32019
Navigating between a mobile application and a mobile browser
R Vohra, MA Kleppmann, L Mallabone
US Patent 9,787,820, 2017
32017
From secure messaging to secure collaboration
M Kleppmann, SA Kollmann, DA Vasile, AR Beresford
Cambridge International Workshop on Security Protocols, 179-185, 2018
22018
OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)
M Kleppmann, VBF Gomes, DP Mulligan, AR Beresford
arXiv preprint arXiv:1805.04263, 2018
12018
OpSets: Sequential Specifications for Replicated Datatypes Proof Document
M Kleppmann, VBF Gomes, DP Mulligan, AR Beresford
12018
Optimizing e-mail for mobile devices
R Vohra, MA Kleppmann, L Mallabone
US Patent App. 14/194,136, 2015
12015
Increasing user satisfaction on the mobile web: technical considerations
M Kleppmann, E Computing
Ept computing, diciembre de, 2007
12007
The system can't perform the operation now. Try again later.
Articles 1–20