Holger Hermanns - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 6 von 6

)

[ ] Recharging Probably Keeps Batteries Alive

arxiv.org

Authors: Holger Hermanns, Jan Krčál, Gilles Nies. (Submitted on 25 Feb 2015). Abstract: The kinetic battery model is a popular model of the dynamic behavior of ...

SCHATTENBLICK - FORSCHUNG/081: Der Weg zur fehlerfreien Software (idw)

www.schattenblick.de

7. Jan Ein Experte für das Thema "Fehlerfreie Software" ist Holger Hermanns, Professor für "Verlässliche Systeme und Software" der Universität des ...

From jmarino at fi.upm.es Tue Jan 3 09:18: From: jmarino at ...

lists.seas.upenn.edu

... TACAS invited speaker: Holger Hermanns (Saarland University, Germany) Google, U.S.A. http://www.linkedin.com/in/wgrieskamp * Jacques Julliand, ...

[ ] Probabilistic Bisimulation: Naturally on Distributions

arxiv.org

Title: Probabilistic Bisimulation: Naturally on Distributions. Authors: Holger Hermanns, Jan Krčál, Jan Křetínský. (Submitted on 21 Apr (v1), last revised

From venanzio at duplavis.com Wed Jan 1 09:13: From ...

lists.seas.upenn.edu

... Holger Hermanns, Saarland University Neil Immerman, University of Mass http://www.linkedin.com/groups/SPLASH-Conference Sponsored by ...

Verwandte Suchanfragen zu Holger Hermanns

Christel Baier
Hassan Hatefi
Joost-Pieter Katoen

Bernd Becker
Ralf Wimmer
Werner Damm

Ernst Moritz Hahn
Christian Eisentraut
Moritz Hahn

Person "Hermanns" (14)
Vorname "Holger" (27292)
Name "Hermanns" (990)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Holger Hermanns

[ ] Recharging Probably Keeps Batteries Alive

SCHATTENBLICK - FORSCHUNG/081: Der Weg zur fehlerfreien Software (idw)

From jmarino at fi.upm.es Tue Jan 3 09:18: From: jmarino at ...

[ ] Probabilistic Bisimulation: Naturally on Distributions

From venanzio at duplavis.com Wed Jan 1 09:13: From ...