Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings. - Nikita Danilenko (RAMiCS, 2012)

And... Action! - Monoid Actions and (Pre)orders. - Nikita Danilenko (KDPD, 2013)

Relation Algebra and RelView Applied to Approval Voting. - Rudolf Berghammer; Nikita Danilenko; Henning Schnoor (RAMiCS, 2014)

Functional Kleene Closures. - Nikita Danilenko (LOPSTR, 2014)

Graph Problems and Vector-Matrix Multiplications in Haskell. - Nikita Danilenko (Trends in Functional Programming, 2014)

Exploring Non-Determinism in Graph Algorithms. - Nikita Danilenko (WLP/WFLP, 2014)

Designing Functional Implementations of Graph Algorithms (Entwurf funktionaler Implementierungen von Graphalgorithmen) - Nikita Danilenko (2015)

All sorts of permutations (functional pearl). - Jan Christiansen; Nikita Danilenko; Sandra Dylus (ICFP, 2016)

Cardinality of relations with applications. - Rudolf Berghammer; Nikita Danilenko; Peter Höfner; Insa Stucke (Discret. Math., 2016)