:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Wu, YD
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.20002104
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

NTUFM_PA2_2 CPAchecker Evaluation on SV-COMP ReachSafety Benchmark
by: Wu, Ying-Chi
Published: (2026)

NTUEE FM PA2 Part2 — CPAchecker ReachSafety reproduction artifact
by: Sun, Shuo-Heng
Published: (2026)

Container Image for SV-COMP 2022 (OCI Format)
by: Beyer, Dirk
Published: (2026)

YAML Verification Witnesses from SV-COMP 2024
by: Saan, Simmo
Published: (2025)

Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP
by: Moloney, Charles, et al.
Published: (2026)

Abundance and Reproductive Biology of the Penaeid Prawns of Bagamoyo Coastal Waters, Tanzania
by: Mgaya, Y.D., et al.
Published: (2003)

The Fishery of Portunus pelagicus and Species Diversity of Portunid Crabs along the Coast of Dar es Salaam, Tanzania
by: Chande, A.I., et al.
Published: (2003)

Food habits of the blue swimming crab portunus pelagicus along the coast of Dar es Salaam, Tanzania
by: Mgaya, Y.D., et al.
Published: (2004)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
by: Baier, Daniel, et al.
Published: (2024)

On the bulk compaction of brittle granular materials, Part II: Representing interparticle comminution by K COMP *
by: Andrew A. Wereszczak, et al.
Published: (2025)

CHC-COMP 2023: Competition Report
by: De Angelis, Emanuele, et al.
Published: (2024)

Tree-ring width of Quercus species from historical object sample HOH5122-2188
by: Friedrich, Michael
Published: (2007)

Tree-ring width of Quercus species from historical object sample HOH5122-2189
by: Friedrich, Michael
Published: (2007)

Tree-ring width of Quercus species from historical object sample HOH5122-2190
by: Friedrich, Michael
Published: (2007)

Tree-ring width of Quercus species from historical object sample HOH5122-2194
by: Friedrich, Michael
Published: (2007)

Tree-ring width of Quercus species from historical object sample HOH5122-2195
by: Friedrich, Michael
Published: (2007)

Tree-ring width of Quercus species from historical object sample HOH5122-2187
by: Friedrich, Michael
Published: (2007)

Tree-ring width of Quercus species from historical object sample HOH5122-2191
by: Friedrich, Michael
Published: (2007)

Tree-ring width of Quercus species from historical object sample HOH5122-2193
by: Friedrich, Michael
Published: (2007)

hj6-sanger/GEL_SV: GEL-SV code
by: hj6-sanger
Published: (2025)

bv_decide SMT-COMP 2025 Submission
by: Böving, Henrik, et al.
Published: (2025)

ARCH-COMP25 Category Report: Stochastic Models
by: Abate, Alessandro, et al.
Published: (2025)

Kintsugi: Decentralized E2EE Key Recovery
by: Ma, Emilie, et al.
Published: (2025)

Reaching Part-Time Distance Students in Diverse Environments
by: Whitehair, Kristin J.
Published: (2010)

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
by: Brix, Christopher, et al.
Published: (2024)

Beyond Voltage: Independent Validation of the SV3 + SV4 Criterion for LVH Detection
by: Fernando De la Garza Salazar
Published: (2025)

Reproduction Package for Evaluation of Bachleors Thesis 'Integrate Solver Indepenedent Quantifier Elimination using UltimateEliminator in JavaSMT with Subsequent Evaluation in CPAchecker'
by: Gurevich, Anastasia
Published: (2025)

Mask Factory: Towards High-quality Synthetic Data Generation for Dichotomous Image Segmentation
by: Qian, Haotian, et al.
Published: (2024)

EE II 2 1220A39–B6
by: Paulo Ferreira
Published: (2017)

Safety, feasibility, and tolerability of psilocybin in older adults with amnestic MCI: Preliminary data from a SV2a PET imaging study
by: Danielle Bukovsky, et al.
Published: (2025)

Adaptation, Comparison, and Improvement of Metaheuristic Algorithms to the Part-of-Speech Tagging Problem
by: Miguel-Alexis Solano-Jiménez
Published: (2020)

Surface meteorological observations during intercomparison campaign COMP015 in 1987
by: Imfeld, Noemi, et al.
Published: (2026)

Skyrme SV density-functional analysis of the $2νββ$ decay in $^{76}$Ge
by: Miśkiewicz, Jan, et al.
Published: (2026)

Ajax en J2EE / Antonio J. Martín Sierra
by: Martín Sierra, Antonio J

ReachAgent: Enhancing Mobile Agent via Page Reaching and Operation
by: Wu, Qinzhuo, et al.
Published: (2025)

SV6 Selects volume six

Geochemistry of sediment core SV09
by: Lorenschat, Julia
Published: (2013)

EE UU: LAS TRASNACIONALES
Published: (1975)

Fostering Youth Participation in the EE24: Informing, Debating, Acting (ActiveYouth_EE24)
by: Vancea, Mihaela
Published: (2025)

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
by: Kaulen, Konstantin, et al.
Published: (2025)