| 9.2.2022 | Automated bijections with combinatorial exploration | Jón Steinn Elíasson 1987- |
| 14.6.2019 | Automatic discovery of descriptions of permutation statistics | Martha Guðrún Bjarnadóttir 1997- |
| 12.6.2019 | Effective enumeration of permutation classes and their juxtapositions | Unnar Freyr Erlendsson 1993- |
| 7.7.2016 | Equivalence classes of mesh patterns with a dominating pattern | Murray Tannock 1992- |
| 2.5.2018 | Forced permutation patterns and applications to coincidence classification of mesh patterns and enumeration of permutation classes | Tómas Ken Magnússon 1992- |
| 30.8.2017 | Formalizing the translation method in Agda | Bjarki Ágúst Guðmundsson 1993- |
| 24.11.2016 | Generalized star polygons and star polygrams | Eiður Sveinn Gunnarsson 1993-; Karl Þorláksson 1993- |
| 20.2.2018 | Implementation of a planarity testing method using PQ-Trees | Alex William Cregten 1995-; Hannes Kristján Hannesson 1995- |
| 15.2.2018 | Implementation of a planarity testing method using PQ-Trees | Alex William Cregten 1995-; Hannes Hannesson 1995- |
| 10.2.2015 | Isomorphisms between consecutive pattern classes | Sigríður Lína Viðarsdóttir 1988- |
| 11.6.2015 | Occurrence graphs of patterns in permutations | Bjarni Jens Kristinsson 1991- |
| 4.9.2017 | PermPAL - Permutation Pattern Avoidance Library | Arnar Bjarni Arnarson 1995-; Álfur Birkir Bjarnason 1993-; Sigurjón Freyr Viktorsson 1994-; Unnar Freyr Erlendsson 1993- |
| 10.2.2022 | Proof-number search in automated enumeration of combinatorial classes | Ragnar Páll Árdal 1989- |
| 21.1.2020 | Searching for combinatorial covers using integer linear programming | Bjarni Jens Kristinsson 1991- |
| 23.1.2012 | A Smart Market for Study-Room Allocation at Reykjavik University | Anna Sigga Lúðvíksdóttir 1983-; Sævar Jónasson 1986- |
| 28.8.2013 | Sorting operators and their preimages | Hjalti Magnússon 1986- |
| 12.6.2019 | Substitution decomposition for permutation classes with infinitely many simple permutations | Arnar Bjarni Arnarson 1995- |
| 9.6.2011 | Wilf-classification of mesh patterns of short length | Sigríður Lína Viðarsdóttir 1988-; Ingibjörg Jónsdóttir 1988-; Ísak Hilmarsson 1988-; Steinunn Gróa Sigurðardóttir 1987- |
Íslenska
