A Novel Probabilistic Model for Link Unification Grammar. - Fuliang Weng; Naiyong Jin; Jie Meng; Yujia Zhu (IWPT, 2001)

Integrating Variants of DC. - Jifeng He 001; Naiyong Jin (ICTAC, 2004)

Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. - Naiyong Jin; Jifeng He 001 (SEFM, 2004)

Towards A Truly Concurrent Model for Processes Sharing Resources. - Naiyong Jin; Jifeng He 001 (SEFM, 2005)

An Operational Semantics of an Event-Driven System-Level Simulator. - Xiaoqing Peng; Huibiao Zhu; Jifeng He 001; Naiyong Jin (SEW, 2006)

Interface Specification Assurance Methods. - Naiyong Jin; Taoyong Ni (ISQED, 2007)

Dynamic Verifying The Properties of The Simple Subset of PSL. - Naiyong Jin; Chengjie Shen (TASE, 2007)

Engineering of An Assertion-based PSLSimple-Verilog Dynamic Verifier by Alternating Automata. - Naiyong Jin; Chengjie Shen; Jun Chen; Taoyong Ni (TTSS, 2007)

Witness and Counter-Example on 3-Valued Model Checking. - Jian Guo; Jungang Han; Naiyong Jin (FSKD (2), 2008)

iPSL: An Environment for IP-Based PSL Specification. - Naiyong Jin; Juan Zhou; Taoyong Ni (ICECCS, 2008)

ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. - Naiyong Jin; Huibiao Zhu (ISoLA, 2008)

Denotational Approach to an Event-Driven System-Level Language. - Huibiao Zhu; Jifeng He 001; Xiaoqing Peng; Naiyong Jin (UTP, 2008)

An Antichain Algorithm for LTL Realizability. - Emmanuel Filiot; Naiyong Jin; Jean-François Raskin (CAV, 2009)

Compositional Algorithms for LTL Synthesis. - Emmanuel Filiot; Naiyong Jin; Jean-François Raskin (ATVA, 2010)

Antichains and compositional algorithms for LTL synthesis. - Emmanuel Filiot; Naiyong Jin; Jean-François Raskin (Formal Methods Syst. Des., 2011)

Acacia+, a Tool for LTL Synthesis. - Aaron Bohy; Véronique Bruyère; Emmanuel Filiot; Naiyong Jin; Jean-François Raskin (CAV, 2012)

SVA and PSL Local Variables - A Practical Approach. - Roy Armoni; Dana Fisman; Naiyong Jin (CAV, 2013)

Exploiting structure in LTL synthesis. - Emmanuel Filiot; Naiyong Jin; Jean-François Raskin (Int. J. Softw. Tools Technol. Transf., 2013)