Autor der Publikation

Model Checking for Turn-Based Probability Epistemic Game Structure.

, , , , , , und . HCC, Volume 11354 von Lecture Notes in Computer Science, Seite 244-256. Springer, (2018)

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

On the Market Power of Network Coding in P2P Content Distribution Systems., und . IEEE Trans. Parallel Distributed Syst., 22 (12): 2063-2070 (2011)Heterogeneous Distance Learning Based on Kernel Analysis-Synthesis Dictionary for Semi-Supervised Image to Video Person Re-Identification., , , , , , und . IEEE Access, (2020)Application of non-equidistant GM(1, 1) model based on the fractional-order accumulation in building settlement monitoring., , , , , und . J. Intell. Fuzzy Syst., 42 (3): 1559-1573 (2022)The Attitude Control Algorithm of Agile Optical Satellite Oriented to Nonparallel-Ground-Track-Imaging., , , , und . IEEE Access, (2019)A low cost and un-cancelled laplace noise based differential privacy algorithm for spatial decompositions., , , , , , und . World Wide Web, 23 (1): 549-572 (2020)Intelligent Terminal Computation Offloading Method Based on the Incentive of Reputation Value., , , und . IEEE Access, (2022)A Highly Stealthy Adaptive Decay Attack Against Speaker Recognition., , , und . IEEE Access, (2022)Enhanced Association With Supervoxels in Multiple Hypothesis Tracking., , , , , und . IEEE Access, (2019)Improved UDE and LSO for a Class of Uncertain Second-Order Nonlinear Systems Without Velocity Measurements., , , und . IEEE Trans. Instrum. Meas., 69 (7): 4076-4092 (2020)Electrical Impedance Tomography Image Reconstruction With Attention-Based Deep Convolutional Neural Network., , , , , und . IEEE Trans. Instrum. Meas., (2023)