Autor der Publikation

Analyzing multi-agent systems with probabilistic model checking approach.

, , , , , und . ICSE, Seite 1337-1340. IEEE Computer Society, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Semantic Data Parallel Query Method Based on Hadoop., , , , , und . WISE (1), Volume 10041 von Lecture Notes in Computer Science, Seite 396-404. (2016)Iterative compensated MMSE channel estimation in LTE systems., und . ICC, Seite 4862-4866. IEEE, (2012)Defending Sensor Worm Attack Using Software Diversity Approach., , , und . ICC, Seite 1-5. IEEE, (2011)Intelligent Model-Based Speed Controller Design for PMSM., , und . BIC-TA, Volume 472 von Communications in Computer and Information Science, Seite 435-439. Springer, (2014)Expert Self-tuning Using Fuzzy Reasoning for PID Controller., , und . BIC-TA, Volume 472 von Communications in Computer and Information Science, Seite 138-141. Springer, (2014)Information Fusion of crossing network communities based on analyzing interests., , , und . BIC-TA, Seite 835-839. IEEE, (2010)The characteristics of induced force for an in-line vibrating cylinder in a cross flow., , , und . BIC-TA, Seite 1202-1207. IEEE, (2010)A robust multivariate reranking algorithm for Question Answering enrichment., , , und . ICIP, Seite 1917-1920. IEEE, (2012)Identification of functional miRNA regulatory modules and their associations via dynamic miRNA regulatory function., , , , und . BIBM, Seite 1-7. IEEE Computer Society, (2014)CUDA Implementation of a Euler Solver for Cartesian Grid., , , , und . HPCC/EUC, Seite 1308-1314. IEEE, (2013)