:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ádám, Zsófia, Ayaziová, Paulína, Bajczi, Levente, Beyer, Dirk, Jankola, Marek, Lingsch-Rosenfeld, Marian, Strejček, Jan
Format:	Recurso digital
Language:	English
Published:	Zenodo 2025
Online Access:	https://doi.org/10.5281/zenodo.17264464
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
by: Beyer, Dirk, et al.
Published: (2025)

Correctness Witnesses with Function Contracts
by: Heizmann, Matthias, et al.
Published: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
by: Beyer, Dirk, et al.
Published: (2025)

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

Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
by: Somorjai, Márk, et al.
Published: (2024)

Temporal Entanglement and Witnesses of Non-Classicality
by: Di Pietra, Giuseppe, et al.
Published: (2025)

Theta as a Horn Solver
by: Bajczi, Levente, et al.
Published: (2025)

A One-sided Witness for the Quantumness of Gravitational Dynamics
by: Beyer, Konstantin, et al.
Published: (2025)

Gray-Box Fuzzing in Local Space
by: Jonáš, Martin, et al.
Published: (2025)

CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
by: Dobos-Kovács, Mihály, et al.
Published: (2025)

Correctness Witness Validation by Abstract Interpretation
by: Saan, Simmo, et al.
Published: (2023)

Witness
Published: (2020)

RBFVN_08__Non_Trivial_Witnesses_of_the_Extraction_Program
by: Van Vi, Dam
Published: (2026)

Local and Non-local Entanglement Witnesses of Fermi Liquid
by: Wang, Yiming, et al.
Published: (2025)

Witnesses of non-Gaussian features as lower bounds of stellar rank
by: Provazník, Jan, et al.
Published: (2026)

Construction of a Non-Linear Entanglement Witness Operator in Arbitrary Dimension Using a Given Linear Witness Operator
by: Sonia, et al.
Published: (2026)

Enhancing MBSE Education with Version Control and Automated Feedback
by: Bajczi, Levente, et al.
Published: (2024)

Witness to Marvels
by: Stewart, Tony K.
Published: (2019)

Tragedy and the Witness
by: Parker, Fred
Published: (2025)

Invited to Witness
by: Lynn Kelly, Jennifer
Published: (2023)

Wits and Interpretation
by: Edlund, Bengt
Published: (2023)

Witness to Marvels
by: Stewart, Tony K.
Published: (2020)

The Witness as Object
by: de Jong, Steffi
Published: (2018)

Bearing Witness
Published: (2017)

Bearing Witness
by: Kirchhelle, Claas
Published: (2021)

Doctors as Witnesses
by: Anna McNeil
Published: (2025)

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)
by: Jonáš, Martin, et al.
Published: (2024)

Dynamics-Based Entanglement Witnesses for Non-Gaussian States of Harmonic Oscillators
by: Jayachandran, Pooja, et al.
Published: (2022)

Witnessing Flows in Arithmetic
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Strong Projective Witnesses
by: Fischer, Vera, et al.
Published: (2026)

Bearing Witness to the Holocaust.
by: Rochman, Hazel
Published: (1998)

Art as a Political Witness
Published: (2022)

‘Wit’s Wild Dancing Light’
by: Hutchings, William
Published: (2023)

Tragedy and the Witness: Shakespeare and Beyond
by: Parker, Fred
Published: (2026)

When Witnesses Defend: A Witness Graph Topological Layer for Adversarial Graph Learning
by: Arafat, Naheed Anjum, et al.
Published: (2024)

Minority Takeover in Majority Dynamics: Searching for Rare Initializations via the History Passing Algorithm
by: Jankola, Marek, et al.
Published: (2025)

Witnessing Disorder in Quantum Magnets
by: Sabharwal, Snigdh, et al.
Published: (2024)

Witnessing and guiding sets of tangles
by: Seibt, Annegret
Published: (2025)

Quantum Statistical Witness Indistinguishability
by: Nassar, Shafik, et al.
Published: (2025)

Witness Seminar: Writing to Politicians
by: Kit Kowol, et al.
Published: (2024)