Autor der Publikation

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

Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge., , und . AICI (1), Volume 6319 von Lecture Notes in Computer Science, Seite 209-221. Springer, (2010)SAT-based Bounded Model Checking for SE-LTL., und . SNPD (3), Seite 582-587. IEEE Computer Society, (2007)QBF-Based Symbolic Model Checking for Knowledge and Time., , und . TAMC, Volume 4484 von Lecture Notes in Computer Science, Seite 386-397. Springer, (2007)Blockchain-Enabled Technique for Privacy- Preserved Medical Recommender System., , , , und . IEEE Access, (2023)Deep Reinforcement Learning for Video Summarization with Semantic Reward., , und . QRS Companion, Seite 754-755. IEEE, (2022)车载网中可抵制合谋攻击的批量认证方案 (Batch Verification Scheme Defensing Collusive Attack in VANET)., , , und . 计算机科学, 43 (6): 135-140 (2016)A Novel Hierarchical Deep Matrix Completion Method., , , , , , , und . IEEE Access, (2021)SAT-based Algorithmic Verification of Noninterference., , , und . J. Comput., 6 (11): 2310-2320 (2011)Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking., , , , und . TASE, Seite 55-62. IEEE Computer Society, (2015)State Space Reduction for Verifying Noninterference., , , und . SSIRI, Seite 132-138. IEEE Computer Society, (2009)