Logics with Rank Operators. - Anuj Dawar; Martin Grohe; Bjarki Holm; Bastian Laubner (LICS, 2009)

Descriptive complexity of linear algebra. - Bjarki Holm (2011)

Maximum Matching and Linear Programming in Fixed-Point Logic with Counting. - Matthew Anderson; Anuj Dawar; Bjarki Holm (LICS, 2013)

Definability of linear equation systems over groups and rings - Anuj Dawar; Erich Grädel; Bjarki Holm; Eryk Kopczynski; Wied Pakusa (Log. Methods Comput. Sci., 2013)

Solving Linear Programs without Breaking Abstractions. - Matthew Anderson; Anuj Dawar; Bjarki Holm (J. ACM, 2015)

Pebble Games with Algebraic Rules. - Anuj Dawar; Bjarki Holm (Fundam. Informaticae, 2017)