26 citations · 27 across the 2 of their papers we have counts for
2 papers
astro-ph.IM2022★ 26 cited
ETpathfinder: a cryogenic testbed for interferometric gravitational-wave detectors
A. Utina, A. Amato, J. Arends +112
The third-generation of gravitational wave observatories, such as the Einstein Telescope (ET) and Cosmic Explorer (CE), aim for an improvement in sensitivity of at least a factor o…
cs.LO2009★ 1 cited
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
Suzana Andova, Annabelle McIver, Pedro D'Argenio +4
This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory and Applications, which was held in Eindhoven on 3 November 2009 as part of the…