17 Infos zu Maximilian Odenbrett

1 Aktuelle Nachrichten

1 Bücher zum Namen

CNKI学术搜索是一个基于海量资源的跨学科、跨语种、跨文献类型的学术资源搜索平台，其资源库涵盖各类学术期刊、论文、报纸、专利、标准、年鉴、工具书等，旨在为国内外研究人员提供全面、权威、系统的知识网络。

3 Wissenschaftliche Publikationen

List of computer science publications by Dragan Bonaki

Schubfachprinzip und doppeltes Aufzählen, Thomas Ströder. Gut genug gemischt? Sebastian Siebertz. Kommunikation ohne Fehler, Maximilian Odenbrett.

1 Allgemeine Veröffentlichungen

Background Techniques for reconstruction of biological networks which are based on perturbation experiments often predict direct interactions between nodes...

12 Webfunde aus dem Netz

Maximilian R. Odenbrett Diplom-Informatiker

Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processorsDragan Bonaki, Maximilian R. Odenbrett, Anton ...

, Maximilian Odenbrett - Poinier St, Newark, New Jersey , Camaya Oesterreich - Oriental St, Newark, New Jersey

Finally, I thank Maximilian Odenbrett, Bernhard Ern and Bart Postma, who earned their Masters degree under my supervision. Their fresh perspectives have led ...

Dragan Bošnački, Willem Ligtenberg, Maximilian Odenbrett, Anton Wijs and Peter Hilbers, Parallel Algorithms for Transitive Reduction for Weighted Graphs,

Maximilian Odenbrett · Falak Sher · Technische Universität Dresden (DE) · Algebraic and Logical Foundations of Computer Science · Christel Baier · INRIA (FR) ...

... probabilistic systems. This presentation is based on a joint work with Maximilian Odenbrett, Anton Wijs, Willem Ligtenberg, and Peter Hilbers.

In article <39d756c2_2@dnews>, Maximilian Odenbrett wrote: > Take a look at the following code: -snip- > I tried to change the last parameter ...

appropriateness for specific applications, ... ⇒ Software Engineering. Historic development: Formal syntax since 1960s ...

Partially funded by ESA/ESTEC under Contract No /07/NL/JD Slicing AADL Specifications for Model Checking Maximilian Odenbrett 1,2 Viet Yen Nguyen

@MISC{Odenbrett_slicingaadl, author = {Maximilian Odenbrett and Viet Yen and Nguyen Thomas Noll}, title = {Slicing AADL Specifications for Model Checking ...