| 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 | 75 | 2009 |
| Descriptive complexity of linear algebra B Holm SAS Opening Workshop “The Mathematical Legacy of Alan Turing”(Spitalfields …, 2010 | 54 | 2010 |
| Solving linear programs without breaking abstractions M Anderson, A Dawar, B Holm Journal of the ACM (JACM) 62 (6), 1-26, 2015 | 27 | 2015 |
| Pebble games with algebraic rules A Dawar, B Holm International Colloquium on Automata, Languages, and Programming, 251-262, 2012 | 26 | 2012 |
| 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 | 22 | 2013 |
| 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 | 22 | 2013 |
| Pebble games with algebraic rules A Dawar, B Holm Fundamenta Informaticae 150 (3-4), 281-316, 2017 | 13 | 2017 |
| 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 | 5 | 2014 |
| Pebble games for logics with counting and rank A Dawar, B Holm Studies in Weak Arithmetics, 99-120, 2010 | 3 | 2010 |
| Pebble games for rank logics A Dawar, B Holm Logical Approaches to Barriers in Computing and Complexity, 21, 2010 | 2 | 2010 |
| 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 |
| Computer Science Logic (CSL'12)-26th International Workshop/21st Annual Conference of the EACSL T Coquand, A Dawar, D Niwinski, S Abiteboul, SA Cook, I Lynce, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2012 | | 2012 |
