Department Informatik

Concerning the Applicability of Computer Graphics for the Evaluation of Image Processing Algorithms (2012) Nentwig M, Miegler M, Stamminger M Conference contribution Efficient numerical methods for initial-value solid-state laser problems (2012) Feng F, Pflaum C Journal article Parallel multigrid for electrokinetic simulation in particle-fluid flows (2012) Bartuschat D, Ritter D, Rüde U Conference contribution The Aspect-Aware Design and Implementation of the CiAO Operating-System Family (2012) Lohmann D, Spinczyk O, Hofer W, Schröder-Preikschat W Journal article Asynchronous Checkpointing by Dedicated Checkpoint Threads (2012) Shahzad F, Wittmann M, Zeiser T, Wellein G Book chapter / Article in edited volumes On the specification of operations on the rational behaviour of systems (2012) Bonsangue M, Milius S, Rot J Conference contribution On the Formal Verification of Systems of Synchronous Software Components (2012) Günther H, Milius S, Möller O Conference contribution On Finitary Functors and Their Presentations (2012) Adámek J, Milius S, Moss L Conference contribution, Conference Contribution Narcissists Are Easy, Stepmothers Are Hard (2012) Gorin D, Schröder L Conference contribution, Original article Extending ALCQ With Bounded Self-Reference (2012) Gorin D, Schröder L Conference contribution, Original article