List of works - Hiroshi Unno - Paulina

List of works by Hiroshi Unno

Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System

scientific article published on 15 August 2024

Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification

scientific article published on 08 October 2024

Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification

scientific article published on 11 January 2023

Optimal CHC Solving via Termination Proofs

scientific article published on 11 January 2023

Paulina is supported by:

About Paulina

Help