1
0
0
(1 - 19 von 20
)
!!Holger Hermanns - Publications * Reza Pulungan, Holger Hermanns ...
www.ae-info.org
VMCAI 2015: * Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer: Analysis of Timed and Long-Run Objectives for ...
Publications - Academy of Europewww.ae-info.org › User › Publicati...
www.ae-info.org
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer: Analysis of Timed and Long-Run Objectives for Markov ...
Dependable Software Systems Engineering - Google Books
books.google.de
Jerzy Filar and Koos Vrieze. Competitive Markov Decision Processes. Springer, Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, and ...
[ v2] Analysis of Timed and Long-Run Objectives for Markov...
arxiv.org
Authors:Dennis Guck (University of Twente), Hassan Hatefi (Saarland University), Holger Hermanns (Saarland University), Joost-Pieter Katoen ...
Modelling, Reduction and Analysis of Markov Automata (extended...
www.scienceopen.com
Authors: Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Publication date (Created): Source: ...
[ ] Modelling, Reduction and Analysis of Markov Automata...
arxiv.org
Authors: Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. (Submitted on 30 May 2013). Abstract: Markov ...
Publications | Informatik 2
moves.rwth-aachen.de
[bibtex] · Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Analysis of Timed and Long-Run Objectives in Markov Automata.
Hassan Hatefi - dblpdblp.uni-trier.de › Persons
dblp.uni-trier.de
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen , Mark Timmer : Modelling, Reduction and Analysis of Markov Automata.
Modelling, Reduction and Analysis of Markov Automata | SpringerLink
link.springer.com
Institut für Technische Informatik, Universität der Bundeswehr München; Dennis Guck (20) (22); Hassan Hatefi (21); Holger Hermanns (21); Joost-Pieter ...
Modelling, Reduction and Analysis of Markov Automata
link.springer.com
von D Guck · · Zitiert von: 56 — Dennis Guck & Joost-Pieter Katoen. Dependable Systems and Software, Saarland University, Germany. Hassan Hatefi & Holger Hermanns. Formal Methods and Tools, ... von D Guck · · Zitiert von: 61 — RWTH Aachen University, Germany. Dennis Guck & Joost-Pieter Katoen · University of Oxford, UK. Tingting Han · Saarland University, Germany. Martin R. Neuhäußer. › chapter
Schloss Dagstuhl : Participant List
www.dagstuhl.de
Dennis Guck (University of Twente, NL) [dblp] Boudewijn Haverkort (University of Twente, NL) [dblp] Holger Hermanns (Universität des Saarlandes, DE) [dblp] Mauro Iacono (The Second University of Naples, IT) [dblp] Marijn R. Jongerden (University of Twente, NL) [dblp] Zbigniew Kalbarczyk (University of Illinois – Urbana Champaign, US) [dblp]
10th International Conference on the Quantitative Evaluation ...
www.qest.org
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen and Mark Timmer. Modelling, Reduction and Analysis of Markov Automata. › accepted
10th International Conference on Quantitative Evaluation of ...lmcs.episciences.org › public
lmcs.episciences.org
Analysis of Timed and Long-Run Objectives for Markov Automata. Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen and Mark Timmer.
HTML - Electronic Proceedings in Theoretical Computer Science
cgi.cse.unsw.edu.au
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen & Mark Timmer (2013): Modelling, Reduction and Analysis of Markov Automata. In: Proc. of ...
Data Structures and Algorithms
scirate.com
The social networking revolution, with online tools like Linkedin, made ... Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, ...
au:Hatefi_H in:cs - SciRate Search
scirate.com
Analysis of Timed and Long-Run Objectives for Markov Automata · Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer.
Alle Infos zum Namen "Dennis Guck"
sortiert nach Relevanz / Datum