7 Mathematisch-Naturwissenschaftliche Fakultät: Recent submissions

Anzeige der Dokumente 2346-2350 von 5349

Towards Automated Refinement of TLM Properties to RTL

Herdt, Vladimir; Le, Hoang M.; Grosse, Daniel; Drechsler, Rolf (2018-03-13); Konferenzpaper
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext

Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd (2018-03-13); Konferenzpaper
Routing Partial Permutations in General Interconnection Networks based on Radix Sorting

Jain, Tripti; Schneider, Klaus (2018-03-13); Konferenzpaper
Spektralzerlegung und Reskalierung für den Bolthausen-Sznitman-Coalescent

Kukla, Jonas Valentin (2018-09-20); Dissertation
From DQBF to QBF by Dependency Elimination

Wimmer, Ralf; Karrenbauer, Andreas; Becker, Ruben; Scholl, Christoph; Becker, Bernd (2018-03-13); Konferenzpaper

Anzeige der Dokumente 2346-2350 von 5349

Stöbern