Bjarki Holm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2009–2013
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | LICS | Maximum Matching and Linear Programming in Fixed-Point Logic with Counting. | Matthew Anderson, Anuj Dawar, Bjarki Holm |
| 2012 | CSL | Definability of linear equation systems over groups and rings. | Anuj Dawar, Erich Grdel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa |
| 2012 | ICALP | Pebble Games with Algebraic Rules. | Anuj Dawar, Bjarki Holm |
| 2009 | LICS | Logics with Rank Operators. | Anuj Dawar, Martin Grohe, Bjarki Holm, Bastian Laubner |