:: Library Catalog

Cover Image

Saved in:

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

Similar Items

ProVerif Scripts for the Formal Analysis of our Protocol
by: AdilKhan000
Published: (2025)

Wyz000/HIARM: HIARM
by: Wuyuze000
Published: (2025)

CalCOFI/MURI-d_loop-PCR-protocol: v1.0.2
by: Nastassia Patin
Published: (2025)

Formalization and security analysis of the Bridgeless protocol
by: Alpos, Orestis, et al.
Published: (2025)

WKS v1.0.2
by: Tinghua, Huang
Published: (2025)

The Voynich Protocol v3.0: Statistical Analysis of MS408 as a Formal Technical System
by: Bezvesilnyi, Bohdan
Published: (2026)

Formal Stability Proof of the Absolute(0) Stability Framework v3.0.1
by: Morrison, Kemar Armando
Published: (2026)

Formal verification of higher dimensional quantum protocols
by: Puthoor, Ittoop Vergheese
Published: (2024)

davdittrich/fastqnsn: v1.0.2
by: Dennis Alexis Valin Dittrich
Published: (2026)

LarsenClose/cmp-lean: CMP Lean 4 Formalization v1.0.0
by: Larsen-Close
Published: (2026)

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
by: Bryant, Dustin, et al.
Published: (2025)

SkyScript-100M: 1,000,000,000 Pairs of Scripts and Shooting Scripts for Short Drama
by: Tang, Jing, et al.
Published: (2024)

jabo17/kadisredu: v1.0.2
by: Jannick Borowitz
Published: (2025)

takum-arithmetic/libtakum: v1.0.2
by: Laslo Hunhold
Published: (2025)

muhammedalkhalaf/mvardlurt: mvardlurt v1.0.2
by: Muhammad Al Khalaf
Published: (2026)

alirezahdd/ispass-artifact: v1.0.2
by: Alireza Haddadi, et al.
Published: (2026)

kubakrukar/3dsmpaper: v1.0.2
by: kubakrukar
Published: (2026)

Formal Verification of Permission Voucher
by: Reaz, Khan, et al.
Published: (2024)

Formal Concept Analysis and Homotopical Combinatorics
by: Balchin, Scott, et al.
Published: (2025)

Rational Inference in Formal Concept Analysis
by: Carr, Lucas, et al.
Published: (2025)

The Artifact of TEE Formal Specification and Analysis
by: Yu, Geunyeol
Published: (2026)

Formal Primal-Dual Algorithm Analysis
by: Abdulaziz, Mohammad, et al.
Published: (2026)

A Formal Analysis of Iterated TDD
by: Ruparel, Hemil, et al.
Published: (2024)

Meta-Modelling in Formal Concept Analysis
by: Wang, Yingjian
Published: (2024)

Formal Modelling and Analysis of Slot Machines
by: Groote, Jan Friso, et al.
Published: (2024)

Database Dependencies and Formal Concept Analysis
by: Baixeries, Jaume
Published: (2024)

xtaohub/fvm2d: v.1.0.2
by: Xin Tao
Published: (2025)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
by: Monniaux, David
Published: (2024)

HG Analysis Scripts v1.0 — Code for "Housekeeping Genes as the Cellular Maintenance Layer of Ontogenesis and Aging"
by: Salnikov, Lev, et al.
Published: (2026)

ppotoc/Fundamentals-of-Neural-Networks: v1.0.2
by: Primož Potočnik
Published: (2025)

salehghotbani/PoomsaeMachineLearning: v1.0.2
by: Seyed Mohammad Saleh Ghotbani
Published: (2026)

shash-sharma/OpenBEM: v1.0.2
by: Shashwat Sharma
Published: (2026)

r-lib/lintr: lintr v1.0.2
by: Michael Chirico, et al.
Published: (2017)

A Formal Analysis of Algorithms for Matroids and Greedoids
by: Abdulaziz, Mohammad, et al.
Published: (2025)

Formally Verified Binary-level Pointer Analysis
by: Verbeek, Freek, et al.
Published: (2025)

Formal Analysis of Metastable Failures in Software Systems
by: Alvaro, Peter, et al.
Published: (2025)

Continuous Sensitivity Analysis for $δN$ Formalism
by: Ahmadi, S. Mohammad
Published: (2026)

Subsequence Matching and Analysis Problems for Formal Languages
by: Fazekas, Szilárd Zsolt, et al.
Published: (2024)

Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
by: Govindankutty, Arun, et al.
Published: (2026)

Patterns of direct foreign investment in china / Zafar Shah Khan
by: Shah Khan, Zafar