# Computer science/Data structures

## Subject Classification

ACM: Theory of computation~Data structures design and analysis

AMS: Computer science / Theory of data / Data structures

## 2024

## 2023

## 2022

## 2021

## 2020

##### A Formal Model of the Safely Composable Document Object Model with Shadow Roots

by Achim D. Brucker and Michael Herzberg

##### A Formal Model of the Document Object Model with Shadow Roots

by Achim D. Brucker and Michael Herzberg

## 2019

## 2018

##### OpSets: Sequential Specifications for Replicated Datatypes

by Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan and Alastair R. Beresford

## 2017

##### A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes

by Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan and Alastair R. Beresford

## 2016

##### Finite Machine Word Library

by Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk and Thomas Sewell

##### Algorithms for Reduced Ordered Binary Decision Diagrams

by Julius Michaelis, Max W. Haslbeck, Peter Lammich and Lars Hupel

## 2015

## 2014

## 2013

## 2012

## 2011

## 2010

##### Executable Matrix Operations on Matrices of Arbitrary Dimensions

by Christian Sternagel and René Thiemann