The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Hassan Hatefi" ( http://dblp.L3S.de/Authors/Hassan_Hatefi )

  Author page on DBLP  Author page in RDF  Community of Hassan Hatefi in ASPL-2

Publication years (Num. hits)
2012 (2) 2013 (3) 2014 (4) 2015 (5) 2017 (1)
Publication types (Num. hits)
article(6) inproceedings(9)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 16 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker 0001, Holger Hermanns Cost vs. time in stochastic games and Markov automata. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hassan Hatefi, Holger Hermanns Improving time bounded reachability computations in interactive Markov chains. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál Optimal Continuous Time Markov Decisions. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál Optimal Continuous Time Markov Decisions. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker 0001, Holger Hermanns Abstraction-Based Computation of Reward Measures for Markov Automata. Search on Bibsonomy VMCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker 0001 Cost vs. Time in Stochastic Games and Markov Automata. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer Analysis of Timed and Long-Run Objectives for Markov Automata. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vahid Hashemi, Hassan Hatefi, Jan Krcál Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version). Search on Bibsonomy SynCoP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker 0001, Holger Hermanns MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga Modelling and Analysis of Markov Reward Automata. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer Modelling, Reduction and Analysis of Markov Automata (extended version) Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Hassan Hatefi, Holger Hermanns Improving Time Bounded Reachability Computations in Interactive Markov Chains. Search on Bibsonomy FSEN The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer Modelling, Reduction and Analysis of Markov Automata. Search on Bibsonomy QEST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hassan Hatefi, Holger Hermanns Model Checking Algorithms for Markov Automata. Search on Bibsonomy ECEASST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Florian Arnold, Daniel Gebler, Dennis Guck, Hassan Hatefi A Tutorial on Interactive Markov Chains. Search on Bibsonomy ROCKS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license