Follow
Bjarki Holm
Bjarki Holm
Postdoctoral Research Associate, University of Cambridge
Verified email at cl.cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
Logics with rank operators
A Dawar, M Grohe, B Holm, B Laubner
2009 24th Annual IEEE Symposium on Logic In Computer Science, 113-122, 2009
732009
Descriptive complexity of linear algebra
B Holm
SAS Opening Workshop “The Mathematical Legacy of Alan Turing”(Spitalfields …, 2010
542010
Pebble games with algebraic rules
A Dawar, B Holm
International Colloquium on Automata, Languages, and Programming, 251-262, 2012
252012
Solving linear programs without breaking abstractions
M Anderson, A Dawar, B Holm
Journal of the ACM (JACM) 62 (6), 1-26, 2015
232015
Maximum matching and linear programming in fixed-point logic with counting
M Anderson, A Dawar, B Holm
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 173-182, 2013
212013
Definability of linear equation systems over groups and rings
A Dawar, E Kopczynski, B Holm, E Grädel, W Pakusa
Logical Methods in Computer Science 9, 2013
192013
Pebble games with algebraic rules
A Dawar, B Holm
Fundamenta Informaticae 150 (3-4), 281-316, 2017
122017
Type checking liveness for collaborative processes with bounded and unbounded recursion
S Debois, T Hildebrandt, T Slaats, N Yoshida
International Conference on Formal Techniques for Distributed Objects …, 2014
52014
Pebble games for logics with counting and rank
A Dawar, B Holm
Studies in Weak Arithmetics, 99-120, 2010
32010
Pebble games for rank logics
A Dawar, B Holm
Logical Approaches to Barriers in Computing and Complexity, 21, 2010
22010
Definability of linear equation systems over groups and rings
W Pakusa, E Grädel, B Holm, E Kopczynski, A Dawar
Logical Methods in Computer Science 9, 2013
2013
Model-comparison Games with Algebraic Rules
B Holm
SAS Opening Workshop “The Mathematical Legacy of Alan Turing”(Spitalfields …, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–12