Xingyuan Zhang

Available identifiers

Publication	Date of Publication	Type
Dual-Branch Network With a Subtle Motion Detector for Microaction Recognition in Videos	2022-09-16	Paper
Two-photon blockade with second-order nonlinearity in cavity systems	2022-03-14	Paper
Priority inheritance protocol proved correct	2020-03-03	Paper
A formalisation of the Myhill-Nerode theorem based on regular expressions	2015-06-23	Paper
A Formal Model and Correctness Proof for an Access Control Policy Framework	2015-01-13	Paper
Mechanising Turing Machines and Computability Theory in Isabelle/HOL	2013-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4901551	2013-01-24	Paper
Priority Inheritance Protocol Proved Correct	2012-09-20	Paper
A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl)	2011-08-17	Paper
Liveness Reasoning with Isabelle/HOL	2009-10-20	Paper
Mechanical proofs about BW multi-party contract signing protocol	2007-06-01	Paper
Bayesian and non-Bayesian analysis of gamma stochastic frontier models by Markov chain Monte Carlo methods	2006-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q4484349	2003-06-12	Paper
POSTERIOR ANALYSIS OF THE MULTIPLICATIVE HETEROSCEDASTICITY MODEL	2002-07-28	Paper
Type system in programming languages	2001-09-09	Paper

This page was built for person: Xingyuan Zhang