Holger Hermanns und Saarbrücken - Info zur Person

(1 - 12 von 14

)

Heise.de: Test für bessere Akkuüberwachung: Batterietechnik aus dem Saarland im...

Ein Nano-Satellit ist auch dank Forschern aus Saarbrücken auf Weltraum-Mission. Und zwar sparsamer als andere Modelle. Auch Technik auf der Erde könnte von dem...

Campus Event Calendar: Holger Hermanns ( in vhs-Zentrum...

domino.mpi-inf.mpg.de

Speaker: Holger Hermanns. coming from: Fachrichtung Informatik - Saarbrücken. Speakers Bio: Event Type: Lecture. Visibility: D1, D2, D3, D4, ...

ICT.OPEN 2018: The Conference for ICT-Research in the Netherlands |...

www.rug.nl

We are delighted to announce the following keynote speakers: Holger Hermanns (Saarland University, Saarbrücken, Germany) Maarja Kruusmaa (Tallinn ...

Bild.de: Uni-Forscher stolz - Saar-Technik glänzt im Weltall! | Regional |...

Saarbrücken – Er ist klein, leicht und schafft es in 90 Minuten um die Erde! Seit einem Jahr fliegt Nano-Satellit GOMX-3 schon durchs Weltall – und macht...

Holger HERMANNS | Universität des Saarlandes, Saarbrücken | UKS...

www.researchgate.net

Holger Hermanns We propose Pareto optimal reachability analysis to solve multi-objective scheduling and planing problems using real-time model checking techniques.

Programming Languages and Systems: 20th European Symposium on...

books.google.de

This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011,...

DFG - GEPRIS - Professor Dr.-Ing. Holger Hermanns

gepris.dfg.de

Professor Dr.-Ing. Holger Hermanns, Fachrichtung Informatik, Campus, Geb. E1 3, Saarbrücken

TUD - Chair of Algebraic and Logical Foundations of Computer Science...

www.inf.tu-dresden.de

DAAD project PROALAR: academic research collaboration with Prof. Dr. Pedro D'Argenio (Argentina) (together with Prof. Dr. Holger Hermanns (Universität Saarbrücken))

Erneut 2-stellige Millionenförderung für Sonderforschungsbereich...

www.uni-saarland.de

5. Dez · In der Box passieren wundersame Dinge, die in der Regel zum gewünschten Ergebnis führen“, erklärt Holger Hermanns, Informatik-Professor der Universität des Saarlandes, die derzeitige Situation. In dem nun verlängerten transregionalen Sonderforschungsbereich „Grundlagen verständlicher Softwaresysteme“ arbeitet Hermanns gemeinsam mit den Kolleginnen und Kollegen in Saarbrücken und Dresden in 14 Teilprojekten daran, Methoden zu entwickeln, um diese „Blackbox“ zu ...