Department Informatik

Well-pointed Coalgebras (2013) Adámek J, Milius S, Moss L, Sousa L Journal article Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds (2013) Hertzberg C, Wagner R, Frese U, Schröder L Journal article, Original article Exploring the Boundaries of Monad Tensorability on Set (2013) Bowler N, Goncharov S, Levy P, Schröder L Journal article, Original article A coinductive calculus for asynchronous side-effecting processes (2013) Goncharov S, Schröder L Journal article, Original article Abstract GSOS rules and a Modular Treatment of Recursive Definitions (2013) Milius S, Moss L, Schwencke D Journal article How Commercial Involvement Affects Open Source Projects: Three Case Studies on Issue Reporting (2013) Ma X, Zhou M, Riehle D Journal article, Original article Effects of disorder and contacts on transport through graphene nanoribbons (2013) Pieper A, Schubert G, Wellein G, Fehske H Journal article, Original article A survey of checkpoint/restart techniques on distributed memory systems (2013) Shahzad F, Wittmann M, Kreutzer M, Zeiser T, Hager G, Wellein G Journal article An image processing approach to approximating interface textures of microcrystalline silicon layers grown on existing aluminum-doped zinc oxide textures (2013) Hertel K, Hüpkes J, Pflaum C Journal article, Original article A Multi-objective Genetic Algorithm for Build Order Optimization in StarCraft II (2013) Köstler H, Gmeiner B Journal article, Original article