( en | de | ru )

 

Disambiguation of "Kedar, S."

Author of the publication

copydeleteadd this publication to your clipboard
Locating hydrothermal acoustic sources at Old Faithful Geyser using Matched Field Processing

, , , and . Geophysical Journal International, 187 (1): 385--393 (October 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. You can also use the button next to the name to display some publications already assigned to the person.

Jayalakshmi Kedarisetti

Kedar Shrikant Ranade

Kedar Nath Prasad Sinha

S Hilt

S Ulrich

 

Other publications of authors with the same name

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