14 citations · 18 across the 4 of their papers we have counts for
4 papers
AWESAM: A Python Module for Automated Volcanic Event Detection Applied to Stromboli
Darius Fenner, Georg Ruempker, Wei Li +5
Many active volcanoes in the world exhibit Strombolian activity, which is typically characterized by relatively frequent mild events and also by rare and much more destructive majo…
EPick: Multi-Class Attention-based U-shaped Neural Network for Earthquake Detection and Seismic Phase Picking
Wei Li, Megha Chakraborty, Darius Fenner +5
Earthquake detection and seismic phase picking not only play a crucial role in travel time estimation of body waves(P and S waves) but also in the localisation of the epicenter of…
Sunda-arc seismicity: continuing increase of high-magnitude earthquakes since 2004
Nishtha Srivastava, Jonas Koehler, F. Alejandro Nava +9
Spatial and temporal data for earthquakes with magnitude M greater than or equal to 6.5 can provide crucial information about the seismic history and potential for large earthquake…
Automatic Verification of Parametric Specifications with Complex Topologies
Johannes Faber, Carsten Ihlemann, Swen Jacobs +1
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica…