Bjarki Holm

According to our database, Bjarki Holm authored at least 6 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Pebble Games with Algebraic Rules.

Anuj Dawar, Bjarki Holm

Fundam. Informaticae, 2017

2015

Solving Linear Programs without Breaking Abstractions.

Matthew Anderson, Anuj Dawar, Bjarki Holm

J. ACM, 2015

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

Maximum Matching and Linear Programming in Fixed-Point Logic with Counting.

Matthew Anderson, Anuj Dawar, Bjarki Holm

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2011

Descriptive complexity of linear algebra.

Bjarki Holm

PhD thesis, 2011

2009

Logics with Rank Operators.

Anuj Dawar, Martin Grohe, Bjarki Holm, Bastian Laubner

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009