Autor der Publikation

Analysis of Propagation and Distribution Characteristics of Leakage Acoustic Waves in Water Supply Pipelines.

, , , , , und . Sensors, 21 (16): 5450 (2021)

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

Backoff algorithm based on frame transmission efficiency in Ad hoc network., und . BMEI, Seite 734-739. IEEE, (2013)Formalizing SPARCv8 Instruction Set Architecture in Coq., , , und . SETTA, Volume 10606 von Lecture Notes in Computer Science, Seite 300-316. Springer, (2017)Using concurrent relational logic with helpers for verifying the AtomFS file system., , , , , und . SOSP, Seite 259-274. ACM, (2019)Reasoning about Optimistic Concurrency Using a Program Logic for History., , , , und . CONCUR, Volume 6269 von Lecture Notes in Computer Science, Seite 388-402. Springer, (2010)The Fractional Brownian Channel Model Considering the Statistical Characters in WCDMA., , , und . CSIE (1), Seite 73-76. IEEE Computer Society, (2009)A Concurrent Temporal Programming Model with Atomic Blocks., , , und . ICFEM, Volume 7635 von Lecture Notes in Computer Science, Seite 22-37. Springer, (2012)A Practical Verification Framework for Preemptive OS Kernels., , , , , und . CAV (2), Volume 9780 von Lecture Notes in Computer Science, Seite 59-79. Springer, (2016)Correlation between Acoustic Emission Behaviour and Dynamics Model during Three-Stage Deformation Process of Soil Landslide., , , , , , , , , und . Sensors, 21 (7): 2373 (2021)Discriminative Angle Feature Learning for Open-Set Deep Fault Classification., , , , , , und . IEEE Access, (2023)Formalizing SPARCv8 instruction set architecture in Coq., , , und . Sci. Comput. Program., (2020)