| 2007 |
|---|
| 50 | EE | Yan Chen,
Yujing He,
Fei Xie,
Jin Yang:
Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.
FMCAD 2007: 111-118 |
| 49 | EE | Zhixiang Yin,
Jianzhong Cui,
Jin Yang:
A Surface-Based DNA Computing for the Positive Integer Linear Programming Problem.
ICIC (1) 2007: 1-9 |
| 48 | EE | Zhixiang Yin,
Jin Yang,
Jianzhong Cui,
Jiaxiu Zhang:
Evolutionary Model for Sequence Generation.
ICIC (1) 2007: 10-17 |
| 47 | EE | Weigang Wu,
Jiannong Cao,
Jin Yang,
Michel Raynal:
Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks.
IEEE Trans. Computers 56(8): 1055-1070 (2007) |
| 46 | EE | Jin Yang,
Tao Li,
SunJun Liu,
Tiefang Wang,
Diangang Wang,
Gang Liang:
Computer Forensics System Based on Artificial Immune Systems.
J. UCS 13(9): 1354-1365 (2007) |
| 2006 |
|---|
| 45 | EE | Jin Yang:
Verification Challenges and Opportunities in the New Era of Microprocessor Design.
ATVA 2006: 6-7 |
| 44 | EE | Jin Yang,
Jiannong Cao,
Weigang Wu:
Checkpoint Placement Algorithms for Mobile Agent System.
GCC 2006: 339-346 |
| 43 | EE | Zhixiang Yin,
Jianzhong Cui,
Jin Yang,
Jin Xu:
DNA Computing Model of the Integer Linear Programming Problem Based on Molecular Beacon.
ICIC (3) 2006: 238-247 |
| 42 | EE | Gang Liang,
Tao Li,
Jiancheng Ni,
Yaping Jiang,
Jin Yang,
Xun Gong:
An Immunity-Based Dynamic Multilayer Intrusion Detection System.
ICIC (3) 2006: 641-650 |
| 41 | EE | Xun Gong,
Tao Li,
Gang Liang,
Tiefang Wang,
Jin Yang,
Xiaoqin Hu:
Immunity and Mobile Agent Based Grid Intrusion Detection.
ICIC (3) 2006: 651-659 |
| 40 | EE | Gang Liang,
Tao Li,
Xun Gong,
Yaping Jiang,
Jin Yang,
Jiancheng Ni:
NASC: A Novel Approach for Spam Classification.
ICIC (3) 2006: 672-681 |
| 39 | EE | Tiefang Wang,
Tao Li,
Xun Gong,
Jin Yang,
Xiaoqin Hu,
Diangang Wang,
Hui Zhao:
Family Gene Based Grid Trust Model.
ICNC (2) 2006: 110-113 |
| 38 | EE | Xun Gong,
Tao Li,
Tiefang Wang,
Jin Yang,
Gang Liang,
Xiaoqin Hu:
Grid Intrusion Detection Based on Immune Agent.
ICNC (2) 2006: 73-82 |
| 37 | EE | Jin Yang,
Jiannong Cao,
Weigang Wu,
Corentin Travers:
The notification based approach to implementing failure detectors in distributed systems.
Infoscale 2006: 14 |
| 36 | EE | Weigang Wu,
Jiannong Cao,
Jin Yang,
Michel Raynal:
A Hierarchical Consensus Protocol for Mobile Ad Hoc Networks.
PDP 2006: 64-72 |
| 35 | EE | Xun Gong,
Tao Li,
Ji Lu,
Tiefang Wang,
Gang Liang,
Jin Yang,
Feixian Sun:
Immunity and Mobile Agent Based Intrusion Detection for Grid.
PRIMA 2006: 187-198 |
| 34 | EE | Xun Gong,
Tao Li,
Tiefang Wang,
Jin Yang,
SunJun Liu,
Gang Liang:
An Immune Mobile Agent Based Grid Intrusion Detection Model.
SEAL 2006: 112-119 |
| 33 | EE | SunJun Liu,
Tao Li,
Kui Zhao,
Jin Yang,
Xun Gong,
JianHua Zhang:
Immune-Based Dynamic Intrusion Response Model.
SEAL 2006: 96-103 |
| 32 | EE | Jin Yang,
Jiannong Cao,
Weigang Wu:
CIC: An Integrated Approach to Checkpointing in Mobile Agent Systems.
SKG 2006: 4 |
| 31 | EE | Guowu Yang,
Jin Yang,
Xiaoyu Song,
Fei Xie:
Maximal Models of Assertion Graph in GSTE.
TAMC 2006: 684-693 |
| 30 | EE | William N. N. Hung,
Xiaoyu Song,
Guowu Yang,
Jin Yang,
Marek A. Perkowski:
Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis.
IEEE Trans. on CAD of Integrated Circuits and Systems 25(9): 1652-1663 (2006) |
| 29 | EE | Michael L. Blinov,
Jin Yang,
James R. Faeder,
William S. Hlavacek:
Graph Theory for Rule-Based Modeling of Biochemical Networks.
T. Comp. Sys. Biology: 89-106 (2006) |
| 2005 |
|---|
| 28 | EE | Guowu Yang,
Jin Yang,
William N. N. Hung,
Xiaoyu Song:
Implication of assertion graphs in GSTE.
ASP-DAC 2005: 1060-1063 |
| 27 | EE | Jin Yang,
Avi Puder:
Tightly integrate dynamic verification with formal verification: a GSTE based approach.
ASP-DAC 2005: 327-330 |
| 26 | EE | Xiushan Feng,
Alan J. Hu,
Jin Yang:
Partitioned model checking from software specifications.
ASP-DAC 2005: 583-587 |
| 25 | EE | Jin Yang,
Jiannong Cao,
Weigang Wu,
Cheng-Zhong Xu:
A Framework for Transactional Mobile Agent Execution.
GCC 2005: 1002-1008 |
| 24 | EE | Jin Yang,
Jiannong Cao,
Weigang Wu,
Cheng-Zhong Xu:
Parallel Algorithms for Fault-Tolerant Mobile Agent Execution.
ICA3PP 2005: 246-256 |
| 23 | EE | Jiannong Cao,
Jin Yang,
Wai Ting Chan,
Cheng-Zhong Xu:
Exception Handling in Distributed Workflow Systems Using Mobile Agents.
ICEBE 2005: 48-55 |
| 2004 |
|---|
| 22 | EE | Jin Yang,
Carl-Johan H. Seger:
Compositional Specification and Model Checking in GSTE.
CAV 2004: 216-228 |
| 21 | | Jin Yang,
Ming Huang:
A Case Study on Research Assistant System From Knowledge Management Perspective.
CELDA 2004: 241-248 |
| 20 | EE | William N. N. Hung,
Xiaoyu Song,
Guowu Yang,
Jin Yang,
Marek A. Perkowski:
Quantum logic synthesis by symbolic reachability analysis.
DAC 2004: 838-841 |
| 19 | EE | Kelvin Ng,
Alan J. Hu,
Jin Yang:
Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs.
ICCD 2004: 409-416 |
| 18 | EE | Jiannong Cao,
Liang Zhang,
Jin Yang,
Sajal K. Das:
A Reliable Mobile Agent Communication Protocol.
ICDCS 2004: 468-475 |
| 17 | | Juanru Wang,
Songzheng Zhao,
Jin Yang:
Study on the Cultivation of Core Competence Based on Tacit Knowledge.
ICEB 2004: 987-989 |
| 2003 |
|---|
| 16 | EE | Alan J. Hu,
Jeremy Casas,
Jin Yang:
Reasoning about GSTE Assertion Graphs.
CHARME 2003: 170-184 |
| 15 | EE | Alan J. Hu,
Jeremy Casas,
Jin Yang:
Efficient Generation of Monitor Circuits for GSTE Assertion Graphs.
ICCAD 2003: 154-160 |
| 14 | EE | Jin Yang,
Carl-Johan H. Seger:
Introduction to generalized symbolic trajectory evaluation.
IEEE Trans. VLSI Syst. 11(3): 345-353 (2003) |
| 2002 |
|---|
| 13 | EE | Jin Yang,
Carl-Johan H. Seger:
Generalized Symbolic Trajectory Evaluation - Abstraction in Action.
FMCAD 2002: 70-87 |
| 12 | EE | Jin Yang,
Amit Goel:
GSTE through a case study.
ICCAD 2002: 534-541 |
| 2001 |
|---|
| 11 | | Jin Yang,
Carl-Johan H. Seger:
Introduction to Generalized Symbolic Trajectory Evaluation.
ICCD 2001: 360-367 |
| 2000 |
|---|
| 10 | EE | John Weisgerber,
Jin Yang,
Pete Fisher:
Pacific Rim Portable Translator.
AMTA 2000: 196-201 |
| 9 | EE | Jin Yang,
Andreas Tiemeyer:
Lazy symbolic model checking.
DAC 2000: 35-38 |
| 1999 |
|---|
| 8 | EE | Jin Yang,
Ioannis Kriaras:
Wireless VoIP: Opportunities and Challenges.
MDA 1999: 3-13 |
| 1998 |
|---|
| 7 | EE | Jin Yang,
Elke D. Lange:
SYSTRAN on AltaVista: A User Study on Real-Time Machine Translation on the Internet.
AMTA 1998: 275-285 |
| 1997 |
|---|
| 6 | EE | Jin Yang,
Aloysius K. Mok,
Farn Wang:
Symboloc Model Checking for Event-Driven Real-Time Systems.
ACM Trans. Program. Lang. Syst. 19(2): 386-412 (1997) |
| 1996 |
|---|
| 5 | | Peter Au,
John Darlington,
Moustafa Ghanem,
Yike Guo,
Hing Wing To,
Jin Yang:
Co-ordinating Heterogeneous Parallel Computation.
Euro-Par, Vol. I 1996: 601-614 |
| 1995 |
|---|
| 4 | | John Darlington,
Yike Guo,
Hing Wing To,
Jin Yang:
Functional Skeletons for Parallel Coordination.
Euro-Par 1995: 55-66 |
| 3 | EE | Jin Yang,
Aloysius K. Mok,
Douglas A. Stuart:
A new generation modechart verifie.
IEEE Real Time Technology and Applications Symposium 1995: 116-125 |
| 2 | | John Darlington,
Yike Guo,
Hing Wing To,
Jin Yang:
Parallel Skeletons for Structured Composition.
PPOPP 1995: 19-28 |
| 1993 |
|---|
| 1 | | Jin Yang,
Aloysius K. Mok,
Farn Wang:
Symbolic Model Checking for Event-Driven Real-Time Systems.
IEEE Real-Time Systems Symposium 1993: 23-33 |
