Department Informatik

Computerized Automatic Modeling of Medical Prostheses (2013) Sickel K Thesis Performance Investigations of Genetic Algorithms on Graphics Cards (2013) Hofmann J, Limmer S, Fey D Journal article Selective Imaging Revisited (2013) Stüttgen J, Dewald A, Freiling F Conference contribution, Original article i3sched – Ein OpenNebula Scheduler für die Oracle Grid Engine (2013) Ditter A, Limmer S, Fey D Conference contribution, Conference Contribution A Scalable Backend for True MMORPGs -- Bringing Supercomputer Tech Back to Gaming (2013) Schäfer A, Heller T Conference contribution 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