Bjarki Holm

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

Collaborative distances:

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

2015

Solving Linear Programs without Breaking Abstractions.

Matthew Anderson, Anuj Dawar, Bjarki Holm

J. ACM, 2015

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

2012

Pebble Games with Algebraic Rules.

Anuj Dawar, Bjarki Holm

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

Definability of linear equation systems over groups and rings.

Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa

Proceedings of the Computer Science Logic, 2012

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