Similar Items
github.com/hall-lab/sv-pipeline/sv-pre-merge
by: hall-lab
Published: (2018)
by: hall-lab
Published: (2018)
FluxEngine v2.0 and v3.0 reference and verification data
by: Holding, Thomas, et al.
Published: (2018)
by: Holding, Thomas, et al.
Published: (2018)
HIDEKI-SQ/verification-gated-persuasion: v1.0.0 — Initial release for manuscript reproducibility
by: HIDEKI
Published: (2026)
by: HIDEKI
Published: (2026)
rokitalab/OpenPedCan-manuscript: v2.0.1 - Editorial revisions
by: Jo Lynne Rokita, et al.
Published: (2025)
by: Jo Lynne Rokita, et al.
Published: (2025)
Semi-formal specifications and formal verification improving the digital design: some statistics
by: D. Torres
Published: (2009)
by: D. Torres
Published: (2009)
github.com/broadinstitute/gatk-sv/GatherSampleEvidence
by: broadinstitute
Published: (2026)
by: broadinstitute
Published: (2026)
github.com/broadinstitute/gatk-sv/module00c
by: broadinstitute
Published: (2021)
by: broadinstitute
Published: (2021)
github.com/Genometric/gatk-sv-dockstore/AnnotateVcf
by: Genometric
Published: (2023)
by: Genometric
Published: (2023)
github.com/broadinstitute/gatk-sv/GatherSampleEvidence
by: broadinstitute
Published: (2025)
by: broadinstitute
Published: (2025)
github.com/broadinstitute/gatk-sv/str_temp_reviewer
by: broadinstitute
Published: (2023)
by: broadinstitute
Published: (2023)
github.com/broadinstitute/gatk-sv/module00c
by: broadinstitute
Published: (2021)
by: broadinstitute
Published: (2021)
CASP: An evaluation dataset for formal verification of C code
by: Hertzberg, Niclas, et al.
Published: (2025)
by: Hertzberg, Niclas, et al.
Published: (2025)
fulcrumgenomics/prymer: 2.0.1
by: Matt Stone, et al.
Published: (2024)
by: Matt Stone, et al.
Published: (2024)
m2sv: A Scalable Benchmark for Map-to-Street-View Spatial Reasoning
by: Shin, Yosub, et al.
Published: (2026)
by: Shin, Yosub, et al.
Published: (2026)
github.com/fabio-cunial/sv-merging/TruvariBenchSample
by: fabio-cunial
Published: (2024)
by: fabio-cunial
Published: (2024)
Software is infrastructure: failures, successes, costs, and the case for formal verification
by: Bernardi, Giovanni, et al.
Published: (2025)
by: Bernardi, Giovanni, et al.
Published: (2025)
A comprehensive survey of UPPAAL‐assisted formal modeling and verification
by: Wenbo Zhou, et al.
Published: (2024)
by: Wenbo Zhou, et al.
Published: (2024)
ilyamaclean/microclimf: microclimf 2.0.1
by: Ilya Maclean, et al.
Published: (2026)
by: Ilya Maclean, et al.
Published: (2026)
Taking empirical evidence seriously v.2.01
by: Terje Tilden, et al.
Published: (2024)
by: Terje Tilden, et al.
Published: (2024)
github.com/CuriousTim/gatk-sv-utils/SetGenotypesNull
by: CuriousTim
Published: (2026)
by: CuriousTim
Published: (2026)
Chapter Capo Mele: a story-telling experimental beach in Laigueglia (sv)
by: Ghersi, Adriana
Published: (2022)
by: Ghersi, Adriana
Published: (2022)
Alignment and optical verification of DESHIMA 2.0 at ASTE
by: Moerman, A., et al.
Published: (2025)
by: Moerman, A., et al.
Published: (2025)
Massless representation of massive superfields and tree amplitudes with the pure spinor formalism
by: Kashyap, Sitender Pratap, et al.
Published: (2024)
by: Kashyap, Sitender Pratap, et al.
Published: (2024)
KindHML: formal verification of smart contracts based on Hennessy-Milner logic
by: Bartoletti, Massimo, et al.
Published: (2026)
by: Bartoletti, Massimo, et al.
Published: (2026)
O problema da formação do “cinturão pentecostal” em uma metrópole da América do Sul
by: Clara Mafra
Published: (2011)
by: Clara Mafra
Published: (2011)
UM ORIENTALISTA ALEMÃO NO BRASIL IMPERIAL. CHRISTIAN FRIEDRICH SEYBOLD, O TUTOR DE D. PEDRO II
by: Adriano Mafra
Published: (2015)
by: Adriano Mafra
Published: (2015)
À Sombra do Precursor: produção e recepção da obra O Negro no Pará, de Vicente Salles
by: Alessandra Mafra
Published: (2016)
by: Alessandra Mafra
Published: (2016)
Análise descritiva da tradução do Hitopadeśa por D. Pedro II e Sebastião Dalgado
by: Adriano Mafra
Published: (2014)
by: Adriano Mafra
Published: (2014)
O projeto pastoral de Edir Macedo. Uma igreja benevolente para indivíduos ambiciosos?
by: Clara Mafra
Published: (2012)
by: Clara Mafra
Published: (2012)
Jesus Cristo Senhor e Salvador da Cidade - Imaginário Crente e Utopia Política
by: Clara Mafra
Published: (2006)
by: Clara Mafra
Published: (2006)
WKS v1.0.2
by: Tinghua, Huang
Published: (2025)
by: Tinghua, Huang
Published: (2025)
S-Kanzari/vGFit-1.0: vGFit-1.0
by: S-Kanzari
Published: (2025)
by: S-Kanzari
Published: (2025)
svPITE: A Python package for the state-vector-based probabilistic imaginary-time evolution algorithm
by: Sievers, Pascal, et al.
Published: (2026)
by: Sievers, Pascal, et al.
Published: (2026)
SidSin0809/AO-EB_batch_quant: v2.01
by: Siddharth Singh
Published: (2025)
by: Siddharth Singh
Published: (2025)
fliphilipp/ICESat2Sentinel2: v0.1.0
by: Philipp Arndt
Published: (2025)
by: Philipp Arndt
Published: (2025)
arend95/tiempo2: v0.1.0
by: arend95
Published: (2024)
by: arend95
Published: (2024)