1
0
0
(1 - 17 von 23
)
hhatefi (Hassan Hatefi) · GitHub
github.com
I am a software engineer passionate about using mathematics and computer science to solve problems. - hhatefi
Martin Zimmermann - Department of Computer Sciencepeople.cs.aau.dk › ~mzi
people.cs.aau.dk
— Hassan Hatefi Ardakani (Saarland University) Rayna Dimitrova (Saarland University) Rüdiger Ehlers (Saarland University).
Advances in Computer Science and Engineering | E-kirja - Ellibswww.ellibs.com › book › advances-in-computer-sci...
www.ellibs.com
Hassan Hatefi-Ardakani, Amir Masoud Gharehbaghi, Shaahin Hessabi The Effect of Core Number and Core Diversity on Power and Performance in Multicore ...
Advances in Computer Science and Engineering | Ebook | Ellibs...
www.ellibs.com
Ellibs Ebookstore - Ebook: Advances in Computer Science and Engineering - Author: Hessabi, Shaahin - Price: 142,54€
Advances in Computer Science and Engineering: 13th International CSI...
books.google.ca
Scientia Iranica 10(4), 383–391 (2003) System-Level Assertion-Based Performance Verification for Embedded Systems Hassan Hatefi-Ardakani, Amir 242 G.
Advances in Computer Science and Engineering: 13th International ...
books.google.com
System-Level Assertion-Based Performance Verification for Embedded Systems Hassan Hatefi-Ardakani, Amir Masoud Gharehbaghi, and Shaahin Hessabi Department ...
Main Page
dcms.cs.uni-saarland.de
Quantitative Model Checking. Jan Krčál (instructor). Holger Hermanns (instructor). Hassan Hatefi (assistant). Vahid Hashemi (assistant). Yuliya Butkova (assistant). Audience. This advanced course addresses Bachelor and Master students in Computer Science, Bioinformatics, CuK or Computerlinguistics.Background in probability theory and the module Verification are of …
dblp: Hassan Hatefi-Ardakani
dblp.uni-trier.de
List of computer science publications by Hassan Hatefi-Ardakani
13th International CSI Computer Conference - CSICC'08 ::cglab.ca › ~mfarshi › CSICC08-accepted-papers
cglab.ca
747, System-Level Assertion-Based Performance Verification for Embedded Systems, Hassan Hatefi-Ardakani - Amir Masoud Gharehbaghi - Shaahin Hessabi ...
Electronic Communication of The European Association of Software ...oa.mg › journal › electronic-communication-of-the-...
oa.mg
Hassan Hatefi, Holger Hermanns. Markov chain. Reachability. Computer science · DOI: tuj.eceasst Electronic Communication of The European ...
References - Electronic Proceedings in Theoretical Computer ...eptcs.web.cse.unsw.edu.au › refere...
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 ...
Sven Schewe - Computer Science - The University of Liverpoolcgi.csc.liv.ac.uk › ~sven
cgi.csc.liv.ac.uk
Hassan Hatefi Ardakani. Finite Horizon Analysis of Markov Automata. PhD thesis, Saarland University (2016); Marie van den Bogaard.
[PDF] Finite horizon analysis of Markov automata | Semantic Scholarwww.semanticscholar.org › paper › Finite-horizon-a...
www.semanticscholar.org
Hassan Hatefi-Ardakani; Published 2017; Computer Science. Markov automata constitute an expressive continuous-time compositional modelling formalism, ...
Alle Infos zum Namen "Hassan Hatefi"
Verwandte Suchanfragen zu Hassan Hatefi
Amir Masoud Ralf Wimmer Bettina Braitling | Bernd Becker Mark Timmer Dennis Guck | Joost-Pieter Katoen Jerzy Filar |
Personen Vorname "Hassan" (4096) Name "Hatefi" (12) |
sortiert nach Relevanz / Datum