Sebastian Burckhardt

Available identifiers

zbMath Open burckhardt.sebastianDBLP84/1935WikidataQ102321059 ScholiaQ102321059MaRDI QIDQ2220885

List of research outcomes

Publication	Date of Publication	Type
Consistency models with global operation sequencing and their composition	2023-02-03	Paper
Specification and space complexity of collaborative text editing	2021-01-25	Paper
Specification and complexity of collaborative text editing	2017-09-29	Paper
On the verification problem for weak memory models	2015-06-11	Paper
Replicated data types, specification, verification, optimality	2014-04-10	Paper
Concurrent Library Correctness on the TSO Memory Model	2012-06-22	Paper
Eventually consistent transactions	2012-06-22	Paper
What's decidable about weak memory models?	2012-06-22	Paper
Semantics of concurrent revisions	2011-05-19	Paper
Effective Program Verification for Relaxed Memory Models	2008-07-15	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper

Research outcomes over time

This page was built for person: Sebastian Burckhardt