| 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- |
| 13.6.2018 | Identifying Combinatorial Structures for Binary Strings and Set Partitions | James Thomas Robb 1989-; Sigurður Helgason 1995- |
| 14.6.2019 | Automatic discovery of descriptions of permutation statistics | Martha Guðrún Bjarnadóttir 1997- |
| 9.2.2022 | Automated bijections with combinatorial exploration | Jón Steinn Elíasson 1987- |
| 10.2.2022 | Proof-number search in automated enumeration of combinatorial classes | Ragnar Páll Árdal 1989- |
| 19.6.2025 | Chitinolytic bacteria in healthy and diseased lichen : a study on the microbiota of Peltigera malacea and Peltigera hymenina | Vilji Ragnarsson 2002- |