Zhé Hóu

Available identifiers

Publication	Date of Publication	Type
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring	2023-08-31	Paper
N-PAT: A Nested Model-Checker	2022-11-09	Paper
Fundamentals of logic and computation. With practical automated reasoning and verification	2021-11-04	Paper
An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model	2021-06-09	Paper
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs	2020-08-05	Paper
A labelled sequent calculus for BBI: proof theory and proof search	2019-01-31	Paper
Modular Labelled Sequent Calculi for Abstract Separation Logics	2018-08-10	Paper
Proof tactics for assertions in separation logic	2018-01-04	Paper
Completeness for a First-Order Abstract Separation Logic	2016-12-21	Paper
Automated Theorem Proving for Assertions in Separation Logic with All Connectives	2015-12-02	Paper
Oscillation properties of a simple pendulum in a viscous liquid	2015-06-04	Paper
Proof search for propositional abstract separation logics via labelled sequents	2014-04-10	Paper
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search	2013-10-04	Paper
New bounds on the minimum number of calls in failure‐tolerant gossiping	2009-07-28	Paper

This page was built for person: Zhé Hóu