22 citations · 51 across the 6 of their papers we have counts for
3 papers · 1 filter
Implementation and first results of the KM3NeT real-time core-collapse supernova neutrino search
KM3NeT Collaboration, S. Aiello, A. Albert +242
The KM3NeT research infrastructure is under construction in the Mediterranean Sea. KM3NeT will study atmospheric and astrophysical neutrinos with two multi-purpose neutrino detecto…
Combined sensitivity of JUNO and KM3NeT/ORCA to the neutrino mass ordering
KM3NeT Collaboration, S. Aiello, A. Albert +275
This article presents the potential of a combined analysis of the JUNO and KM3NeT/ORCA experiments to determine the neutrino mass ordering. This combination is particularly interes…
Visual Analysis of Hyperproperties for Understanding Model Checking Results
Tom Horak, Norine Coenen, Niklas Metzger +6
Model checkers provide algorithms for proving that a mathematical model of a system satisfies a given specification. In case of a violation, a counterexample that shows the erroneo…