Xia Yin

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

DUdetector: A dual-granularity unsupervised model for network anomaly detection.

[BibT_eX]

[DOI]

Comput. Networks, 2025

Learning Configurations for Data-Driven Multi-Objective Optimization.

[BibT_eX]

[DOI]

Zhiyang Chen

Hailong Yao

Proceedings of the Forty-second International Conference on Machine Learning, 2025

PatLabor: Pareto Optimization of Timing-Driven Routing Trees.

[BibT_eX]

[DOI]

Zhiyang Chen

Hailong Yao

Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025

2024

NCLWO: Newton's cooling law-based weighted oversampling algorithm for imbalanced datasets with feature noise.

[BibT_eX]

[DOI]

Neurocomputing, 2024

Coyote optimisation algorithm for separable nonlinear models using chaotic maps technique.

[BibT_eX]

[DOI]

Xixi Ji

Jing Chen

Int. J. Model. Identif. Control., 2024

2023

MTL-FaultNet: Seismic Data Reconstruction Assisted Multitask Deep Learning 3-D Fault Interpretation.

[BibT_eX]

[DOI]

IEEE Trans. Geosci. Remote. Sens., 2023

The compound iterative algorithm for rational models based on the Coyote optimisation algorithm.

[BibT_eX]

[DOI]

Fei Xu

Jing Chen

Int. J. Comput. Appl. Technol., 2023

NeuroEscape: Ordered Escape Routing via Monte-Carlo Tree Search and Neural Network.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

SOAER: Self-Obstacle Avoiding Escape Routing for Paper-Based Digital Microfluidic Biochips.

[BibT_eX]

[DOI]

Proceedings of the Great Lakes Symposium on VLSI 2023, 2023

GAT-based Concentration Prediction for Random Microfluidic Mixers with Multiple Input Flow Rates.

[BibT_eX]

[DOI]

Proceedings of the Great Lakes Symposium on VLSI 2023, 2023

2022

Perspectives from the second Global Forum on Development of Computer Science.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2022

2019

互联网域内路由可用性综述 (Overview of Routing Availability in Intra-domain Routing Networks).

[BibT_eX]

[DOI]

Haijun Geng

Shuang Zhang

计算机科学, 2019

基于增量最短路径优先的域内高效路由保护算法 (Efficient Intra-domain Routing Protection Algorithm Based on i-SPF).

[BibT_eX]

[DOI]

Haijun Geng

计算机科学, 2019

2013

Managements of Generalized Congestions.

[BibT_eX]

[DOI]

IEEE Trans. Smart Grid, 2013

Study on Soft Groups.

[BibT_eX]

[DOI]

Zuhua Liao

J. Comput., 2013

2011

Modeling Predicate Abstraction of Timed Automata in PVS.

[BibT_eX]

[DOI]

Qingguo Xu

Kunliang Han

Proceedings of the 2011 IEEE International Conference on Internet of Things (iThings) & 4th IEEE International Conference on Cyber, 2011

2010

Can Longest Prefix Matching Make The Path Length Shorter?

[BibT_eX]

[DOI]

J. Digit. Content Technol. its Appl., 2010

Real Aggregation for Reducing Routing Information Base Size.

[BibT_eX]

[DOI]

J. Convergence Inf. Technol., 2010

2006

Network protocol system monitoring: a formal approach with passive testing.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2006

Experience of Conformance Testing on IPv6 Protocols.

[BibT_eX]

[DOI]

Yan Liu

Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 2006

2004

Distributed Testing of Multi Input/Output Transition System.

[BibT_eX]

[DOI]

Zhongjie Li

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Testing Multi Input/Output Transition System with All-Observer.

[BibT_eX]

[DOI]

Zhongjie Li

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

2003

Problems in the Information Dissemination of the Internet Routing.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2003

Towards Modeling and Testing of IP Routing Protocols.

[BibT_eX]

[DOI]

Zhongjie Li

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

2002

A Formal Approach for Passive Testing of Protocol Data Portions.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

2001

On-Line Test System Applied in Routing Protocol Test.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Modeling, 2001

OnLine Test System, an application of passive testing in routing protocols test.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 9th IEEE International Conference on Networks, 2001

Generating fully executable test suite automatically.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2001

IntegTTCN, a TTCN language extension for protocol integrated testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2001

From Active to Passive: Progress in Testing of Internet Routing Protocols.

[BibT_eX]