Observing Asymmetry and Mismatch. - Xiaoju Dong; Yuxi Fu (APLAS, 2003)

Formalizing the Environment View of Process Equivalence. - Yuxi Fu; Xiaoju Dong (CIS, 2004)

A Generic Model for Symbolic Analyzing Security Protocols. - Yonggen Gu; Yuxi Fu; Yang Li; Xiaoju Dong (CIT, 2005)

An Implementation for Mapping SBML to BioSPI. - Zhupeng Dong; Xiaoju Dong; Xian Xu 001; Yuxi Fu; Zhizhou Zhang 003; Lin He 007 (FSKD (2), 2005)

Bisimulation Congruence for Asymmetric chi ^ e -Calculus. - Farong Zhong; Yuxi Fu; Xiaoju Dong (ISPDC, 2006)

A Model in kappa for DNA Addition. - Xian Xu 001; Xiaoju Dong; Yuxi Fu (MeCBIC@ICALP, 2006)

Barbed Congruence of Asymmetry and Mismatch. - Xiaoju Dong; Yuxi Fu (J. Comput. Sci. Technol., 2007)

A Fully Abstract View for Local Cause Semantics. - Jianxin Xue; Xiaoju Dong (GPC, 2012)

Strategy-Proof Data Auctions with Negative Externalities: (Extended Abstract). - Xiang Wang 011; Zhenzhe Zheng; Fan Wu 006; Xiaoju Dong; Shaojie Tang 001; Guihai Chen (AAMAS, 2016)

Place Bisimulation and Liveness for Open Petri Nets. - Xiaoju Dong; Yuxi Fu; Daniele Varacca (SETTA, 2016)

DFDVis: A Visual Analytics System for Understanding the Semantics of Data Flow Diagram. - Hao Xiong; Haocheng Zhang; Xiaoju Dong; Lingxi Meng; Wenyang Zhao (ICPCSEE (1), 2017)

An Efficient Privacy-Preserving Fingerprint-Based Localization Scheme Employing Oblivious Transfer. - Mengxuan Sun; Xiaoju Dong; Fan Wu 006; Guihai Chen (MSN, 2017)

Visual Analysis of Scientific Life of Scholars Based on Digital Humanities. - Wei Liu; Xinying Han; Xiaoju Dong; Zhiwen Qiang; Xuwei Chen (Big Data (CCF), 2018)

A Network Visualization System for Anomaly Detection and Attack Tracing. - Xin Fan; Wenjie Luo; Xiaoju Dong; Rui Su (ICPCSEE (1), 2018)

PBSVis: A Visual System for Studying Behavior Patterns of Pseudo Base Stations. - Haocheng Zhang; Xiang Tang; Chenlu Li; Yiming Bian; Xiaoju Dong; Xin Fan (ICPCSEE (1), 2018)

Research on Visualization Systems for DDoS Attack Detection. - Shiying Sheng; Chunyuan Wu; Xiaoju Dong (SMC, 2018)

Metro-Wordle: An Interactive Visualization for Urban Text Distributions Based on Wordle. - Chenlu Li; Xiaoju Dong; Xiaoru Yuan (Vis. Informatics, 2018)

Analyzing data flow diagrams by combination of formal methods and visualization techniques. - Haocheng Zhang; Wei Liu; Hao Xiong; Xiaoju Dong (J. Vis. Lang. Comput., 2018)

Award for Outstanding Comprehensive Mini-Challenge 2 Solution - RadiationMonitor: An Interactive System for Visualizing and Exploring Spatial-Temporal Data. - Datong Wei; Hanning Shao; Zijing Tan; Chenlu Li; Zhixian Lin; Xiaoju Dong; Xiaoru Yuan (VAST, 2019)

Research on Dynamic Graph Layout by Parallel Computing and Markov Process. - Shiying Sheng; Chunyuan Wu; Xiaoju Dong; Shengtao Chen (ISPA/BDCloud/SocialCom/SustainCom, 2019)

Online dynamic graph drawing with inverse Markov analysis. - Shiying Sheng; Xiaoju Dong; Chunyuan Wu (VINCI, 2019)

Extensional Petri net. - Xiaoju Dong; Yuxi Fu; Daniele Varacca (Formal Aspects Comput., 2019)

A real-time network security visualization system based on incremental learning (ChinaVis 2018). - Xin Fan; Chenlu Li; Xiaoju Dong (J. Vis., 2019)

An interactive visual analytics approach for network anomaly detection through smart labeling. - Xin Fan; Chenlu Li; Xiaoru Yuan; Xiaoju Dong; Jie Liang 004 (J. Vis., 2019)

IntruDTS: Interactive Visual Analysis System for Intrusion Detection in Time Series. - Xuefei Tian; Chenlu Li; Aijuan Qian; Xiaoju Dong (ISPA/BDCloud/SocialCom/SustainCom, 2020)

Feature-oriented Design of Visual Analytics System for Interpretable Deep Learning based Intrusion Detection. - Chunyuan Wu; Aijuan Qian; Xiaoju Dong; Yanling Zhang (TASE, 2020)

SSRDVis: Interactive visualization for event sequences summarization and rare detection. - Chenlu Li; Xiaoju Dong; Wei Liu; Shiying Sheng; Aijuan Qian (J. Vis., 2020)

SLAMVis: An Interactive Visualization Approach for Smart Labeling on Multidimensional Data. - Aijuan Qian; Chenlu Li; Xiaoju Dong; Shengtao Chen; Yanling Zhang; Guoqiang Li 001 (ISPA/BDCloud/SocialCom/SustainCom, 2021)

Inverse Markov Process Based Constrained Dynamic Graph Layout. - Shiying Sheng; Shengtao Chen; Xiaoju Dong; Chunyuan Wu; Xiaoru Yuan (J. Comput. Sci. Technol., 2021)

SensorAware: visual analysis of both static and mobile sensor information. - Datong Wei; Chenlu Li; Hanning Shao; Zijing Tan; Zhixian Lin; Xiaoju Dong; Xiaoru Yuan (J. Vis., 2021)

RCDVis: interactive rare category detection on graph data. - Aijuan Qian; Xiaoju Dong; Yanling Zhang; Chenlu Li (J. Vis., 2022)

HyIDSVis: hybrid intrusion detection visualization analysis based on rare category and association rules. - Yanling Zhang; Haolin Liu; Xiaoju Dong; Chenlu Li; Zexi Zhang (J. Vis., 2022)

CAGviz: A Visual Analysis Method to Explore Cyber Asset Graphs of Cybercrime Gangs. - Yinuo Liu; Yifan Li; Binhao Zhao; Tianyi Zhou; Shengtao Chen; Xiaoju Dong (CGI (3), 2023)

MBTIviz: A Visualization System for Research on Psycho-Demographics and Personality. - Yutong Yang; Xiaoju Dong; Xuefei Tian; Yanling Zhang; Meng Zhou (ICPCSEE (1), 2023)

ILIDViz: An Incremental Learning-Based Visual Analysis System for Network Anomaly Detection. - Xuefei Tian; Zhiyuan Wu; Junxiang Cao; Shengtao Chen; Xiaoju Dong (Virtual Real. Intell. Hardw., 2023)

SEBWatcher: Visual Analysis System for Subject, Environment and Behavior in Traffic Scenes. - Zhiyuan Wu; Junxiang Cao; Xuefei Tian; Xiaoju Dong (ICPCSEE (1), 2024)

EmoGeoCity: Interactive Visual Exploration of City's Historical and Cultural Evolution Based on Emotional Geography. - Yutong Yang; Yinuo Liu; Qishuo Bai; Tianyi Zhou; Ziduo Ye; Xiaoju Dong (PacificVis, 2024)