Ying Jiang

Affiliations:

Chinese Academy of Sciences, Institute of Software, Beijing, China

According to our database¹, Ying Jiang authored at least 10 papers between 2003 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Complementation: a bridge between finite and infinite proofs.

[BibT_eX]

[DOI]

Gilles Dowek

Ying Jiang

CoRR, 2023

2019

Towards Combining Model Checking and Proof Checking.

[BibT_eX]

[DOI]

Comput. J., 2019

2016

SCTL: Towards Combining Model Checking and Proof Checking.

[BibT_eX]

[DOI]

CoRR, 2016

2015

Decidability, Introduction Rules and Automata.

[BibT_eX]

[DOI]

Gilles Dowek

Ying Jiang

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

A Completion Method to Decide Reachability in Rewrite Systems.

[BibT_eX]

[DOI]

Guillaume Burel

Gilles Dowek

Ying Jiang

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

Cut-elimination and the decidability of reachability in alternating pushdown systems.

[BibT_eX]

[DOI]

Gilles Dowek

Ying Jiang

CoRR, 2014

2011

On the expressive power of schemes.

[BibT_eX]

[DOI]

Gilles Dowek

Ying Jiang

Inf. Comput., 2011

2009

Enumerating Proofs of Positive Formulae.

[BibT_eX]

[DOI]

Gilles Dowek

Ying Jiang

Comput. J., 2009

2006

Eigenvariables, bracketing and the decidability of positive minimal predicate logic.

[BibT_eX]

[DOI]

Gilles Dowek

Ying Jiang

Theor. Comput. Sci., 2006

2003

Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic.

[BibT_eX]

[DOI]

Gilles Dowek

Ying Jiang

Proceedings of the Mathematics, 2003

Ying Jiang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...