Department Informatik

Coproducts of Monads on Set (2012) Adámek J, Bowler N, Levy P, Milius S Conference contribution Coalgebraic Predicate Logic (2012) Litak TM, Pattinson D, Sano K, Schröder L Conference contribution, Original article A framework for formal verification of systems of synchronous components (2012) Günther H, Hedayati R, Löding H, Milius S, Möller O, Peleska J, Sulzmann M, Zechner A Conference contribution A Coalgebraic Perspective on Minimization and Determinization (2012) Adámek J, Bonchi F, Hülsbusch M, König B, Milius S, Silva A Conference contribution Performance Patterns and Hardware Metrics on Modern Multicore Processors: Best Practices for Performance Engineering (2012) Eitzinger J, Hager G, Wellein G Conference contribution Evaluation of the Coarray Fortran Programming Model on the Example of a Lattice Boltzmann Code (2012) Sembritzki K, Hager G, Krammer B, Eitzinger J, Wellein G Conference contribution waLBerla: Simulation of Complex Flows on Supercomputers (2012) Götz J, Donath S, Feichtinger C, Iglberger K, Köstler H, Rüde U Conference contribution Stability analysis of solid state lasers regarding thermal lensing effect (2012) Graupeter T, Pflaum C Conference contribution, Conference Contribution Unreliable Data Transmissions and Limited Hardware Communication Buffers in Automotive E/E Virtual Prototypes (2012) Graf S, Glaß M, Teich J Conference contribution System Level Synthesis Flow for Self-adaptive Multi-mode Reconfigurable Systems (2012) Wildermann S, Reimann F, Ziener D, Teich J Conference contribution