Department Informatik

Making PVS accessible to generic services by interpretation in a universal format (2017) Kohlhase M, Müller D, Owre S, Rabe F Conference contribution, Original article Preconditioned Krylov solvers on GPUs (2017) Anzt H, Gates M, Dongarra J, Kreutzer M, Wellein G, Köhler M Journal article, Original article Identity-based encryption from the diffie-hellman assumption (2017) Döttling N Authored book, Volume of book series Concurrently composable security with shielded super-polynomial simulators (2017) Döttling N Authored book, Volume of book series Symbolic Parallelization of Nested Loop Programs (2017) Tanase AP Thesis Redactable Blockchain -- or -- Rewriting History in Bitcoin and Friends (2017) Ateniese G, Magri B, Venturi D, Andrade E Conference contribution, Conference Contribution Convoy Tracking for ADAS on Embedded GPUs (2017) Fickenscher J, Reinhart S, Bouzouraa ME, Hannig F, Teich J Conference contribution Finite behaviours and finitary corecursion (2017) Urbat H Conference contribution, Conference Contribution Knowledge-Based Interoperability for Mathematical Software Systems (2017) Kohlhase M, Müller D, Pfeiffer M, Rabe F, Thiery N, Vasilyev V, Wiesing T Conference contribution, Original article FrameIT reloaded: Serious math games from modular math ontologies (2017) Kohlhase M, Müller D, Rochau D Conference contribution, Original article