W1991567646

• Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back

  2025 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

  2

  citations
• Application of the extended Fourier amplitude sensitivity testing (FAST) method to inflated, axial stretched, and residually stressed cylinders

  2023 Applied Mathematics and Mechanics article Engineering Fatigue and fracture mechanics

  15

  citations
• Single‐Channel Noise Reduction

  2023 other Computer Science Speech and Audio Processing

  1

  citations
• Stochastic Signals and Estimation

  2023 other Computer Science Speech and Audio Processing

  0

  citations
• MEASUREMENTS IN ROOM ACOUSTICS HOW GOOD ARE WE AT IT

  2023 conference-paper Neuroscience Hearing Loss and Rehabilitation Open access

  0

  citations
• Some characterizations by conditional events of generalized order statistics

  2022 Ricerche di Matematica article Mathematics Statistical Distribution Estimation and Applications

  0

  citations
• Exemplary Multivariate Applications

  2021 SpringerBriefs in statistics book-chapter Mathematics Statistical Distribution Estimation and Applications

  0

  citations
• Minimum Volume Confidence Regions for Parameters of Exponential Distributions from Different Samples

  2020 Journal of Statistical Theory and Practice article Mathematics Statistical Distribution Estimation and Applications

  0

  citations

8 results