( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Locating hydrothermal acoustic sources at Old Faithful Geyser using Matched Field Processing

, , , и . Geophysical Journal International, 187 (1): 385--393 (октября 2011)
DOI: 10.1111/j.1365-246X.2011.05147.x

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jayalakshmi Kedarisetti

Kedar Shrikant Ranade

Kedar Nath Prasad Sinha

S Danischewski

S Fröhlich

 

Другие публикации лиц с тем же именем

Locating hydrothermal acoustic sources at Old Faithful Geyser using Matched Field Processing, , , и . Geophysical Journal International, 187 (1): 385--393 (октября 2011)Securing a compiler transformation., и . Formal Methods Syst. Des., 53 (2): 166-188 (2018)Symmetry Reduction for the Local Mu-Calculus., и . CoRR, (2019)Incremental Algorithms for Inter-procedural Analysis of Safety Properties., , , и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 449-461. Springer, (2005)An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking.. CAV, том 3114 из Lecture Notes in Computer Science, стр. 57-69. Springer, (2004)Lifting Temporal Proofs through Abstractions.. VMCAI, том 2575 из Lecture Notes in Computer Science, стр. 174-188. Springer, (2003)Uncovering Symmetries in Irregular Process Networks., и . VMCAI, том 7737 из Lecture Notes in Computer Science, стр. 496-514. Springer, (2013)Securing the SSA Transform., и . SAS, том 10422 из Lecture Notes in Computer Science, стр. 88-105. Springer, (2017)A Simple Characterization of Stuttering Bisimulation.. FSTTCS, том 1346 из Lecture Notes in Computer Science, стр. 284-296. Springer, (1997)Robust and Fast Pattern Matching for Intrusion Detection., и . INFOCOM, стр. 740-748. IEEE, (2010)