Bjarki Holm

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 1

Top Topics

Maximum Matching

Top Venues

Fundam. Informaticae

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Anuj Dawar, Bjarki Holm
Pebble Games with Algebraic Rules. Fundam. Informaticae 150 (3-4) (2017)
Matthew Anderson, Anuj Dawar, Bjarki Holm
Solving Linear Programs without Breaking Abstractions. J. ACM 62 (6) (2015)
Matthew Anderson, Anuj Dawar, Bjarki Holm
Maximum Matching and Linear Programming in Fixed-Point Logic with Counting CoRR (2013)
Matthew Anderson, Anuj Dawar, Bjarki Holm
Maximum Matching and Linear Programming in Fixed-Point Logic with Counting. LICS (2013)
Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa
Definability of linear equation systems over groups and rings Log. Methods Comput. Sci. 9 (4) (2013)
Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa
Definability of linear equation systems over groups and rings. CSL (2012)
Anuj Dawar, Bjarki Holm
Pebble games with algebraic rules CoRR (2012)
Anuj Dawar, Bjarki Holm
Pebble Games with Algebraic Rules. ICALP (2) (2012)
Anuj Dawar, Martin Grohe, Bjarki Holm, Bastian Laubner
Logics with Rank Operators. LICS (2009)