Nikita Danilenko

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 2

Top Topics

Condition Action Rules

Indirect Effects

Relation Algebra

Cardinality Constraints

Top Venues

Trends in Functional Programming

Publications

Rudolf Berghammer, Nikita Danilenko, Peter Höfner, Insa Stucke
Cardinality of relations with applications. Discret. Math. 339 (12) (2016)
Jan Christiansen, Nikita Danilenko, Sandra Dylus
All sorts of permutations (functional pearl). ICFP (2016)
Nikita Danilenko
Graph Problems and Vector-Matrix Multiplications in Haskell. Trends in Functional Programming (2014)
Rudolf Berghammer, Nikita Danilenko, Henning Schnoor
Relation Algebra and RelView Applied to Approval Voting. RAMiCS (2014)
Nikita Danilenko
Exploring Non-Determinism in Graph Algorithms. WLP/WFLP (2014)
Nikita Danilenko
Functional Kleene Closures. LOPSTR (2014)
Nikita Danilenko
And... Action! - Monoid Actions and (Pre)orders. KDPD (2013)
Nikita Danilenko
Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings. RAMiCS (2012)