Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic. - Gilles Dowek; Ying Jiang 001 (Mathematics, Logic and Computation @ ICALP, 2003)

Eigenvariables, bracketing and the decidability of positive minimal predicate logic. - Gilles Dowek; Ying Jiang 001 (Theor. Comput. Sci., 2006)

Enumerating Proofs of Positive Formulae. - Gilles Dowek; Ying Jiang 001 (Comput. J., 2009)

On the expressive power of schemes. - Gilles Dowek; Ying Jiang 001 (Inf. Comput., 2011)

Cut-elimination and the decidability of reachability in alternating pushdown systems. - Gilles Dowek; Ying Jiang 001 (CoRR, 2014)

A Completion Method to Decide Reachability in Rewrite Systems. - Guillaume Burel; Gilles Dowek; Ying Jiang 001 (FroCos, 2015)

Decidability, Introduction Rules and Automata. - Gilles Dowek; Ying Jiang 001 (LPAR, 2015)

SCTL: Towards Combining Model Checking and Proof Checking. - Jian Liu; Gilles Dowek; Kailiang Ji; Ying Jiang 001 (CoRR, 2016)

Towards Combining Model Checking and Proof Checking. - Ying Jiang 001; Jian Liu; Gilles Dowek; Kailiang Ji (Comput. J., 2019)

Complementation: a bridge between finite and infinite proofs. - Gilles Dowek; Ying Jiang 001 (CoRR, 2023)