default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJia-Guang Sun 0001
Jiaguang Sun 0001
Person information
- affiliation: Tsinghua University, School of Software, Beijing, China
Other persons with the same name
- Jia-Guang Sun (aka: Jiaguang Sun) — disambiguation page
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j120]Chen Wang
, Jialin Qiao, Xiangdong Huang, Shaoxu Song, Haonan Hou, Tian Jiang, Lei Rui, Jianmin Wang, Jiaguang Sun:
Apache IoTDB: A Time Series Database for IoT Applications. Proc. ACM Manag. Data 1(2): 195:1-195:27 (2023)- [j119]Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, Jia-Guang Sun:
Building Dynamic System Call Sandbox with Partial Order Analysis. Proc. ACM Program. Lang. 7(OOPSLA2): 1253-1280 (2023) - [j118]Zhuo Su, Dongyan Wang, Zehong Yu, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Wen Li, Aiguo Cui, Jia-Guang Sun:
PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(4): 1072-1084 (2023) - [j117]Fuchen Ma, Meng Ren, Lerong Ouyang, Yuanliang Chen, Juan Zhu, Ting Chen, Yingli Zheng, Xiao Dai, Yu Jiang, Jiaguang Sun:
Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts. ACM Trans. Softw. Eng. Methodol. 32(3): 61:1-61:24 (2023) - [c124]Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Jingxuan Sun, Zhuo Su, Yu Jiang, Jiaguang Sun, Huizhong Li:
Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos. CCS 2023: 1182-1196 - [c123]Quan Zhang, Yongqiang Tian, Yifeng Ding, Shanshan Li, Chengnian Sun, Yu Jiang, Jiaguang Sun:
CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems. ISSTA 2023: 753-765 - [c122]Fuchen Ma, Yuanliang Chen, Meng Ren, Yuanhang Zhou, Yu Jiang, Ting Chen, Huizhong Li, Jiaguang Sun:
LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. NDSS 2023 - [c121]Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Yu Jiang, Ting Chen, Jia-Guang Sun:
Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model. SP 2023: 2517-2532 - [c120]Zhengxiong Luo, Junze Yu, Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting Chen, Abhik Roychoudhury, Jiaguang Sun:
Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations. USENIX Security Symposium 2023: 4481-4498 - 2022
- [j116]Zhuo Su, Dongyan Wang, Yixiao Yang, Yu Jiang, Wanli Chang, Liming Fang, Wen Li, Jia-Guang Sun:
Code Synthesis for Dataflow-Based Embedded Software Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(1): 49-61 (2022) - [j115]Zhuo Su, Dongyan Wang, Yixiao Yang, Zehong Yu, Wanli Chang, Wen Li, Aiguo Cui, Yu Jiang, Jiaguang Sun:
MDD: A Unified Model-Driven Design Framework for Embedded Control Software. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(10): 3252-3265 (2022) - [j114]Jianmin Guo, Quan Zhang, Yue Zhao, Heyuan Shi, Yu Jiang, Jia-Guang Sun:
RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems. IEEE Trans. Software Eng. 48(10): 4167-4180 (2022) - [j113]Fuchen Ma, Zhenyang Xu, Meng Ren, Zijing Yin, Yuanliang Chen, Lei Qiao, Bin Gu, Huizhong Li, Yu Jiang, Jia-Guang Sun:
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios. IEEE Trans. Software Eng. 48(11): 4380-4396 (2022) - [c119]Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Jia-Guang Sun:
HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis. DAC 2022: 1033-1038 - [c118]Jie Liang, Mingzhe Wang, Chijin Zhou, Zhiyong Wu, Yu Jiang, Jianzhong Liu, Zhe Liu, Jiaguang Sun:
PATA: Fuzzing with Path Aware Taint Analysis. SP 2022: 1-17 - [i8]Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun:
Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker. CoRR abs/2211.05441 (2022) - 2021
- [j112]Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Automatic Integer Error Repair by Proper-Type Inference. IEEE Trans. Dependable Secur. Comput. 18(2): 918-935 (2021) - [j111]Jian Gao, Xin Yang, Yu Jiang, Houbing Song, Kim-Kwang Raymond Choo, Jiaguang Sun:
Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT Devices. IEEE Trans. Ind. Informatics 17(2): 971-979 (2021) - [j110]Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun:
Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker. IEEE Trans. Software Eng. 47(11): 2575-2589 (2021) - [c117]Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang, Rui Wang, Chengnian Sun, Jiaguang Sun:
RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. USENIX ATC 2021: 147-159 - 2020
- [j109]Chen Wang, Xiangdong Huang, Jialin Qiao, Tian Jiang, Lei Rui, Jinrui Zhang, Rong Kang, Julian Feinauer, Kevin Mcgrail, Peng Wang, Diaohan Luo, Jun Yuan, Jianmin Wang, Jiaguang Sun:
Apache IoTDB: Time-series database for Internet of Things. Proc. VLDB Endow. 13(12): 2901-2904 (2020) - [j108]Jian Gao, Yiwen Xu, Yu Jiang, Zhe Liu, Wanli Chang, Xun Jiao, Jiaguang Sun:
EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3420-3432 (2020) - [c116]Ying Jin, Yunbo Wang, Mingsheng Long, Jianmin Wang, Philip S. Yu, Jiaguang Sun:
A Multi-Player Minimax Game for Generative Adversarial Networks. ICME 2020: 1-6 - [c115]Zhiyu Yao, Yunbo Wang, Mingsheng Long, Jianmin Wang, Philip S. Yu, Jiaguang Sun:
Multi-Task Learning of Generalizable Representations for Video Action Recognition. ICME 2020: 1-6
2010 – 2019
- 2019
- [j107]Yixiao Yang, Xiang Chen, Jiaguang Sun:
Improve Language Modeling for Code Completion Through Learning General Token Repetition of Source Code with Optimized Memory. Int. J. Softw. Eng. Knowl. Eng. 29(11&12): 1801-1818 (2019) - [j106]Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Tolerating C Integer Error via Precision Elevation. IEEE Trans. Computers 68(2): 270-286 (2019) - [j105]Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha:
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Trans. Cyber Phys. Syst. 3(1): 12:1-12:31 (2019) - [j104]Zhengxiong Luo, Feilong Zuo, Yu Jiang, Jian Gao, Xun Jiao, Jiaguang Sun:
Polar: Function Code Aware Fuzz Testing of ICS Protocol. ACM Trans. Embed. Comput. Syst. 18(5s): 93:1-93:22 (2019) - [j103]Heyuan Shi, Runzhe Wang, Ying Fu, Yu Jiang, Jian Dong, Kun Tang, Jiaguang Sun:
Vulnerable Code Clone Detection for Operating System Through Correlation-Induced Learning. IEEE Trans. Ind. Informatics 15(12): 6551-6559 (2019) - [j102]Heyuan Shi, Yubo Zhang, Zizhao Zhang, Nan Ma, Xibin Zhao, Yue Gao, Jiaguang Sun:
Hypergraph-Induced Convolutional Networks for Visual Classification. IEEE Trans. Neural Networks Learn. Syst. 30(10): 2963-2972 (2019) - [c114]Yuexing Wang, Min Zhou, Ming Gu, Jiaguang Sun:
Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis. APSEC 2019: 268-275 - [c113]Rui Wang, Houbing Song, Yu Jing, Kang Yang, Yong Guan, Jiaguang Sun:
A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors. ICII 2019: 219-226 - [c112]Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun:
Vetting API usages in C programs with IMChecker. ICSE (Companion Volume) 2019: 91-94 - [c111]Jie Liang, Yuanliang Chen, Mingzhe Wang, Yu Jiang, Zijiang Yang, Chengnian Sun, Xun Jiao, Jiaguang Sun:
Engineering a Better Fuzzer with Synergically Integrated Optimizations. ISSRE 2019: 82-92 - [c110]Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun:
Go-clone: graph-embedding based clone detector for Golang. ISSTA 2019: 374-377 - [c109]Guang Chen, Yuexing Wang, Min Zhou, Jiaguang Sun:
VFQL: combinational static analysis as query language. ISSTA 2019: 378-381 - [c108]Yu Jiang, Mingzhe Wang, Xun Jiao, Houbing Song, Hui Kong, Rui Wang, Yongxin Liu, Jian Wang, Jiaguang Sun:
Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design. iThings/GreenCom/CPSCom/SmartData 2019: 208-215 - [c107]Han Liu, Zhiqiang Yang, Yu Jiang, Wenqi Zhao, Jiaguang Sun:
Enabling clone detection for ethereum via smart contract birthmarks. ICPC 2019: 105-115 - [c106]Yuexing Wang, Guang Chen, Min Zhou, Ming Gu, Jiaguang Sun:
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis. ASE 2019: 1170-1173 - [c105]Heyuan Shi, Runzhe Wang, Ying Fu, Mingzhe Wang, Xiaohai Shi, Xun Jiao, Houbing Song, Yu Jiang, Jiaguang Sun:
Industry practice of coverage-guided enterprise Linux kernel fuzzing. ESEC/SIGSOFT FSE 2019: 986-995 - [i7]Ying Fu, Meng Ren, Fuchen Ma, Yu Jiang, Heyuan Shi, Jiaguang Sun:
EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine. CoRR abs/1903.08483 (2019) - [i6]Fuchen Ma, Ying Fu, Meng Ren, Wanting Sun, Zhe Liu, Yu Jiang, Jun Sun, Jiaguang Sun:
GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. CoRR abs/1910.02945 (2019) - [i5]Jianmin Guo, Yue Zhao, Xueying Han, Yu Jiang, Jiaguang Sun:
RNN-Test: Adversarial Testing Framework for Recurrent Neural Network Systems. CoRR abs/1911.06155 (2019) - 2018
- [j101]Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Parallelizing SMT solving: Lazy decomposition and conciliation. Artif. Intell. 257: 127-157 (2018) - [j100]Min Zhou, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Temporal Coverage Analysis for Dynamic Verification. IEEE Trans. Circuits Syst. II Express Briefs 65-II(1): 66-70 (2018) - [j99]Yuexing Wang, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm. IEEE Trans. Evol. Comput. 22(3): 334-346 (2018) - [j98]Xibin Zhao, Nan Wang, Yubo Zhang, Shaoyi Du, Yue Gao, Jiaguang Sun:
Beyond Pairwise Matching: Person Reidentification via High-Order Relevance Learning. IEEE Trans. Neural Networks Learn. Syst. 29(8): 3701-3714 (2018) - [c104]Guang Chen, Dexi Wang, Tianchi Li, Chao Zhang, Ming Gu, Jiaguang Sun:
Scalable Verification Framework for C Program. APSEC 2018: 129-138 - [c103]Guang Chen, Min Zhou, Jiaguang Sun, Xiaoyu Song:
Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path. APSEC 2018: 298-304 - [c102]Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang, Xun Jiao, Han Liu, Xibin Zhao, Jiaguang Sun:
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. ICSE (Companion Volume) 2018: 61-64 - [c101]Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. ICSE (Companion Volume) 2018: 69-72 - [c100]Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, Jiaguang Sun:
S-gram: towards semantic-aware security auditing for Ethereum smart contracts. ASE 2018: 814-819 - [c99]Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Jiaguang Sun:
VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary. ASE 2018: 896-899 - [c98]Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun:
DLFuzz: differential fuzzing testing of deep learning systems. ESEC/SIGSOFT FSE 2018: 739-743 - [c97]Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Heyuan Shi, Jiaguang Sun:
VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation. ESEC/SIGSOFT FSE 2018: 803-808 - [c96]Jie Liang, Yu Jiang, Yuanliang Chen, Mingzhe Wang, Chijin Zhou, Jiaguang Sun:
PAFL: extend fuzzing optimizations of single mode to industrial parallel mode. ESEC/SIGSOFT FSE 2018: 809-814 - [c95]Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, Jiaguang Sun:
EClone: detect semantic clones in Ethereum via symbolic transaction sketch. ESEC/SIGSOFT FSE 2018: 900-903 - [i4]Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun:
DLFuzz: Differential Fuzzing Testing of Deep Learning Systems. CoRR abs/1808.09413 (2018) - [i3]Jiyuan Wang, Ming Gao, Yu Jiang, Jian-Guang Lou, Yue Gao, Dongmei Zhang, Jiaguang Sun:
QuanFuzz: Fuzz Testing of Quantum Program. CoRR abs/1810.10310 (2018) - 2017
- [j97]Dexi Wang, Yu Jiang, Houbing Song, Fei He, Ming Gu, Jiaguang Sun:
Verification of Implementations of Cryptographic Hash Functions. IEEE Access 5: 7816-7825 (2017) - [j96]Heyuan Shi, Kun Tang, Chengbao Liu, Xiaoyu Song, Chao Hu, Jiaguang Sun:
Memetic-based schedule synthesis for communication on time-triggered embedded systems. Int. J. Distributed Sens. Networks 13(10) (2017) - [j95]Ronglu Yang, Lifan Su, Xibin Zhao, Hai Wan, Jiaguang Sun:
Representative band selection for hyperspectral image classification. J. Vis. Commun. Image Represent. 48: 396-403 (2017) - [j94]Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. IEEE Trans. Ind. Electron. 64(4): 3239-3249 (2017) - [j93]Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, Lui Sha:
Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. IEEE Trans. Ind. Informatics 13(4): 1900-1909 (2017) - [c94]Yuexing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
A Constraint-Pattern Based Method for Reachability Determination. COMPSAC (1) 2017: 85-90 - [c93]Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun:
Assertion Recommendation for Formal Program Verification. COMPSAC (1) 2017: 154-159 - [c92]Yu Jiang, Mingzhe Wang, Han Liu, Mohammad Hosseini, Jiaguang Sun:
Dependable integrated clinical system architecture with runtime verification. ICCAD 2017: 951-956 - [c91]Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun:
Stochastic optimization of program obfuscation. ICSE 2017: 221-231 - [c90]Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun:
Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. IJCAI 2017: 2779-2785 - [c89]Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu:
A language model for statements of software code. ASE 2017: 682-687 - [c88]Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
A static analysis tool with optimizations for reachability determination. ASE 2017: 925-930 - [c87]Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
IntPTI: automatic integer error repair with proper-type inference. ASE 2017: 996-1001 - 2016
- [j92]Heyuan Shi, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Task and Participant Scheduling of Trading Platforms in Vehicular Participatory Sensing Networks. Sensors 16(12): 2013 (2016) - [j91]Jin Huang, Yangdong Deng, Qinwen Yang, Jia-Guang Sun:
An Energy-Efficient Train Control Framework for Smart Railway Transportation. IEEE Trans. Computers 65(5): 1407-1417 (2016) - [j90]Mingsheng Long, Jianmin Wang, Yue Cao, Jia-Guang Sun, Philip S. Yu:
Deep Learning of Transferable Representation for Scalable Domain Adaptation. IEEE Trans. Knowl. Data Eng. 28(8): 2027-2040 (2016) - [j89]Jianmin Wang, Shaoxu Song, Xiaochen Zhu, Xuemin Lin, Jiaguang Sun:
Efficient Recovery of Missing Events. IEEE Trans. Knowl. Data Eng. 28(11): 2943-2957 (2016) - [c86]Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Automatic Fix for C Integer Errors by Precision Improvement. COMPSAC 2016: 2-11 - [c85]Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha:
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM 2016: 757-763 - [c84]Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun:
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. FM 2016: 764-771 - [c83]Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha:
Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) 2016: 112-121 - [c82]Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun:
Model driven design of heterogeneous synchronous embedded systems. ASE 2016: 774-779 - [c81]Yixiao Yang, Yu Jiang, Ming Gu, Jia-Guang Sun:
Verifying simulink stateflow model: timed automata approach. ASE 2016: 852-857 - [c80]Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun:
Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. D&P@MoDELS 2016: 32-39 - [c79]Dexi Wang, Chao Zhang, Guang Chen, Ming Gu, Jiaguang Sun:
C Code Verification based on the Extended Labeled Transition System Model. D&P@MoDELS 2016: 48-55 - [c78]Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha:
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. RTAS 2016: 231-241 - 2015
- [j88]Yamei Wen, Hui Zhang, Fangtao Li, Jiaguang Sun:
Identifying and constructing elemental parts of shafts based on conditional random fields model. Comput. Aided Des. 62: 10-19 (2015) - [j87]Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Generalized interface automata with multicast synchronization. Frontiers Comput. Sci. 9(1): 1-14 (2015) - [j86]Qian Wang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(1): 150-154 (2015) - [j85]Yu Jiang, Hehua Zhang, Zonghui Li, Yangdong Deng, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques. IEEE Trans. Ind. Electron. 62(2): 1270-1278 (2015) - [j84]Mingsheng Long, Jianmin Wang, Jia-Guang Sun, Philip S. Yu:
Domain Invariant Transfer Kernel Learning. IEEE Trans. Knowl. Data Eng. 27(6): 1519-1532 (2015) - [j83]Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Trans. Parallel Distributed Syst. 26(8): 2220-2232 (2015) - [j82]Lan Zhang, Xiang-Yang Li, Jingsheng Lei, Jiaguang Sun, Yunhao Liu:
Mechanism Design for Finding Experts Using Locally Constructed Social Referral Web. IEEE Trans. Parallel Distributed Syst. 26(8): 2316-2326 (2015) - [j81]Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun:
First, Debug the Test Oracle. IEEE Trans. Software Eng. 41(10): 986-1000 (2015) - [c77]Litian Xiao, Mengyuan Li, Ming Gu, Jiaguang Sun:
PLC programs' checking method and strategy based on module state transfer. ICIA 2015: 702-706 - 2014
- [j80]Kan-Le Shi, Jun-Hai Yong, Yang Lu, Jia-Guang Sun, Jean-Claude Paul:
Polynomial spline interpolation of incompatible boundary conditions with a single degenerate surface. Comput. Aided Des. 53: 28-35 (2014) - [j79]Hui Kong, Xiaoyu Song, Dong Han, Ming Gu, Jiaguang Sun:
A New Barrier Certificate for Safety Verification of Hybrid Systems. Comput. J. 57(7): 1033-1045 (2014) - [j78]Qian Wang, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
Functional Verification of High Performance Adders in COQ. J. Appl. Math. 2014: 197252:1-197252:9 (2014) - [j77]Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun:
Modeling a Heterogeneous Embedded System in Coloured Petri Nets. J. Appl. Math. 2014: 943094:1-943094:8 (2014) - [j76]Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun:
Array Theory of Bounded Elements and its Applications. J. Autom. Reason. 52(4): 379-405 (2014) - [j75]Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
Symbolic Analysis of Programmable Logic Controllers. IEEE Trans. Computers 63(10): 2563-2575 (2014) - [j74]Kan-Le Shi, Jun-Hai Yong, Jia-Guang Sun, Jean-Claude Paul:
Continuity Transition with a Single Regular Curved-Knot Spline Surface. ACM Trans. Graph. 33(5): 164:1-164:5 (2014) - [c76]Jin Huang, Jia-Guang Sun, Xibin Zhao, Ming Gu:
Optimal robust control for generalized fuzzy dynamical systems: A novel use on fuzzy uncertainties. CICA 2014: 53-60 - [c75]Jin Huang, Xibin Zhao, Xinjie Chen, Jia-Guang Sun, Qinwen Yang:
From offline to onboard system solution for a control sequence optimization problem. CIES 2014: 67-73 - [c74]Mingsheng Long, Jianmin Wang, Guiguang Ding, Jiaguang Sun, Philip S. Yu:
Transfer Joint Matching for Unsupervised Domain Adaptation. CVPR 2014: 1410-1417 - [c73]Xiaochen Zhu, Shaoxu Song, Jianmin Wang, Philip S. Yu, Jiaguang Sun:
Matching heterogeneous events with patterns. ICDE 2014: 376-387 - [c72]Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun:
Clause Replication and Reuse in Incremental Temporal Induction. ICECCS 2014: 108-115 - [c71]Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. SIGSOFT FSE 2014: 711-714 - [c70]Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. TASE 2014: 131-134 - [c69]Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. TASE 2014: 193-200 - 2013
- [j73]Kan-Le Shi, Jun-Hai Yong, Lei Tang, Jia-Guang Sun, Jean-Claude Paul:
Polar NURBS Surface with Curvature Continuity. Comput. Graph. Forum 32(7): 363-370 (2013) - [j72]Wenshan Fan, Bin Wang, Jean-Claude Paul, Jia-Guang Sun:
An octree-based proxy for collision detection in large-scale particle systems. Sci. China Inf. Sci. 56(1): 1-10 (2013) - [j71]Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun:
Formal component-based modeling and synthesis for PLC systems. Comput. Ind. 64(8): 1022-1034 (2013) - [j70]Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun:
A Unified Framework for DPLL(T) + Certificates. J. Appl. Math. 2013: 964682:1-964682:13 (2013) - [j69]Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun:
Bayesian-Network-Based Reliability Analysis of PLC Systems. IEEE Trans. Ind. Electron. 60(11): 5325-5336 (2013) - [c68]Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Sequential dependency and reliability analysis of embedded systems. ASP-DAC 2013: 423-428 - [c67]Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Verification and Implementation of the Protocol Standard in Train Control System. COMPSAC 2013: 549-558 - [c66]Mingsheng Long, Guiguang Ding, Jianmin Wang, Jiaguang Sun, Yuchen Guo, Philip S. Yu:
Transfer Sparse Coding for Robust Image Representation. CVPR 2013: 407-414 - [c65]Mingsheng Long, Jianmin Wang, Guiguang Ding, Jiaguang Sun, Philip S. Yu:
Transfer Feature Learning with Joint Distribution Adaptation. ICCV 2013: 2200-2207 - [c64]Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
System reliability calculation based on the run-time analysis of ladder program. ESEC/SIGSOFT FSE 2013: 695-698 - [c63]Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Design and optimization of multi-clocked embedded systems using formal technique. ESEC/SIGSOFT FSE 2013: 703-706 - 2012
- [j68]Haining Fan, Ming Gu, Jiaguang Sun, Kwok-Yan Lam:
Obtaining more Karatsuba-like formulae over the binary field. IET Inf. Secur. 6(1): 14-19 (2012) - [j67]Litian Xiao, Rui Wang, Ming Gu, Jiaguang Sun:
Semantic characterization of programmable logic controller programs. Math. Comput. Model. 55(5-6): 1819-1824 (2012) - [j66]Hehua Zhang, Yu Jiang, William N. N. Hung, Guowu Yang, Ming Gu, Jiaguang Sun:
New strategies for reliability analysis of Programmable Logic Controllers. Math. Comput. Model. 55(7-8): 1916-1931 (2012) - [j65]Wenshan Fan, Bin Wang, Bin Chan, Jean-Claude Paul, Jiaguang Sun:
Recovering Geometric Detail by Octree Normal Maps. Trans. Edutainment 7: 62-73 (2012) - [c62]Zijia Lin, Guiguang Ding, Mingqing Hu, Jianmin Wang, Jiaguang Sun:
Automatic image annotation using tag-related random search over visual neighbors. CIKM 2012: 1784-1788 - [c61]Yu Jiang, Hehua Zhang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Uncertain Model and Algorithm for Hardware/Software Partitioning. ISVLSI 2012: 243-248 - [c60]Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga:
Modeling and Validation of PLC-Controlled Systems: A Case Study. TASE 2012: 161-166 - 2011
- [j64]Kan-Le Shi, Sen Zhang, Hui Zhang, Jun-Hai Yong, Jia-Guang Sun, Jean-Claude Paul:
G2 B-spline interpolation to a closed mesh. Comput. Aided Des. 43(2): 145-160 (2011) - [j63]Yamei Wen, Hui Zhang, Jiaguang Sun, Jean-Claude Paul:
A new method for identifying and validating features from 2D sectional views. Comput. Aided Des. 43(6): 677-686 (2011) - [j62]Kan-Le Shi, Jun-Hai Yong, Jia-Guang Sun, Jean-Claude Paul:
E.G2 B-spline surface interpolation. Comput. Aided Geom. Des. 28(6): 368-381 (2011) - [j61]Wenshan Fan, Bin Wang, Jean-Claude Paul, Jiaguang Sun:
A Hierarchical Grid Based Framework for Fast Collision Detection. Comput. Graph. Forum 30(5): 1451-1459 (2011) - [j60]Kan-Le Shi, Jun-Hai Yong, Jia-Guang Sun, Jean-Claude Paul:
Gn filling orbicular N-sided holes using periodic B-spline surfaces. Sci. China Inf. Sci. 54(7): 1383-1394 (2011) - [j59]Haiping Zha, Wil M. P. van der Aalst, Jianmin Wang, Lijie Wen, Jiaguang Sun:
Verifying workflow processes: a transformation-based approach. Softw. Syst. Model. 10(2): 253-264 (2011) - [c59]Wenshan Fan, Bin Wang, Jianliang Zhou, Jiaguang Sun:
Parallel Spatial Hashing for Collision Detection of Deformable Surfaces. CAD/Graphics 2011: 288-295 - [c58]Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Proving Computational Geometry Algorithms in TLA+2. TASE 2011: 251-254 - 2010
- [j58]Jie-Hui Gong, Hui Zhang, Bin Jiang, Jia-Guang Sun:
Identification of sections from engineering drawings based on evidence theory. Comput. Aided Des. 42(2): 139-150 (2010) - [j57]Kan-Le Shi, Jun-Hai Yong, Jia-Guang Sun, Jean-Claude Paul:
Gn blending multiple surfaces in polar coordinates. Comput. Aided Des. 42(6): 479-494 (2010) - [j56]Haiping Zha, Jianmin Wang, Lijie Wen, Chaokun Wang, Jiaguang Sun:
A workflow net similarity measure based on transition adjacency relations. Comput. Ind. 61(5): 463-471 (2010) - [j55]Lijie Wen, Jianmin Wang, Wil M. P. van der Aalst, Biqing Huang, Jiaguang Sun:
Mining process models with prime invisible tasks. Data Knowl. Eng. 69(10): 999-1021 (2010) - [j54]Sheng Yang, Jun-Hai Yong, Jiaguang Sun, He-Jin Gu, Jean-Claude Paul:
A point-in-polygon method based on a quasi-closest point. Comput. Geosci. 36(2): 205-213 (2010) - [j53]Sheng Yang, Jun-Hai Yong, Jia-Guang Sun, He-Jin Gu, Jean-Claude Paul:
A cell-based algorithm for evaluating directional distances in GIS. Int. J. Geogr. Inf. Sci. 24(4): 577-590 (2010) - [j52]Haining Fan, Jia-Guang Sun, Ming Gu, Kwok-Yan Lam:
Overlap-free Karatsuba-Ofman polynomial multiplication algorithms. IET Inf. Secur. 4(1): 8-14 (2010) - [j51]Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. IEEE Trans. Computers 59(1): 116-126 (2010) - [j50]Kan-Le Shi, Jun-Hai Yong, Jia-Guang Sun, Jean-Claude Paul, He-Jin Gu:
Filling n-sided regions with G1 triangular Coons B-spline patches. Vis. Comput. 26(6-8): 791-800 (2010) - [c57]Peng Zou, Chaokun Wang, Zhang Liu, Jianmin Wang, Jia-Guang Sun:
A cloud based SIM DRM scheme for the mobile internet. CCS 2010: 759-761 - [c56]Junning Fu, Chaokun Wang, Zhiwei Yu, Jianmin Wang, Jia-Guang Sun:
A Watermark-Aware Trusted Running Environment for Software Clouds. ChinaGrid 2010: 144-151 - [c55]Yamei Wen, Hui Zhang, Zhongmian Yu, Jiaguang Sun, Jean-Claude Paul:
Reconstructing 3D Objects from 2D Sectional Views of Engineering Drawings Using Volume-Based Method. Shape Modeling International 2010: 13-24 - [c54]Kan-Le Shi, Jun-Hai Yong, Peng Liu, Jia-Guang Sun, Jean-Claude Paul:
The Transition Between Sharp and Rounded Features and the Manipulation of Incompatible Boundary in Filling n-sided Holes. Shape Modeling International 2010: 131-142
2000 – 2009
- 2009
- [j49]Xiao-Ming Liu, Lei Yang, Jun-Hai Yong, He-Jin Gu, Jia-Guang Sun:
A torus patch approximation approach for point projection on surfaces. Comput. Aided Geom. Des. 26(5): 593-598 (2009) - [j48]Yahui Lu, Li Zhang, Jiaguang Sun:
Task-activity based access control for process collaboration environments. Comput. Ind. 60(6): 403-415 (2009) - [j47]Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
Heuristic-Guided Abstraction Refinement. Comput. J. 52(3): 280-287 (2009) - [j46]Bangyu Wu, Chi-Hung Chi, Zhe Chen, Ming Gu, Jiaguang Sun:
Workflow-based resource allocation to optimize overall performance of composite services. Future Gener. Comput. Syst. 25(3): 199-212 (2009) - [j45]Bangyu Wu, Chi-Hung Chi, Shijie Xu, Ming Gu, Jia-Guang Sun:
QoS Requirement Generation and Algorithm Selection for Composite Service Based on Reference Vector. J. Comput. Sci. Technol. 24(2): 357-372 (2009) - [j44]Lijie Wen, Jianmin Wang, Wil M. P. van der Aalst, Biqing Huang, Jiaguang Sun:
A novel approach for process mining based on event types. J. Intell. Inf. Syst. 32(2): 163-190 (2009) - [i2]Haining Fan, Ming Gu, Jiaguang Sun, Kwok-Yan Lam:
Obtaining More Karatsuba-Like Formulae over The Binary Field. IACR Cryptol. ePrint Arch. 2009: 636 (2009) - 2008
- [j43]Yi-Jun Yang, Song Cao, Jun-Hai Yong, Hui Zhang, Jean-Claude Paul, Jia-Guang Sun, He-Jin Gu:
Approximate computation of curves on B-spline surfaces. Comput. Aided Des. 40(2): 223-234 (2008) - [j42]Wen-Ke Wang, Hui Zhang, Hyungjun Park, Jun-Hai Yong, Jean-Claude Paul, Jia-Guang Sun:
Reducing control points in lofted B-spline surface interpolation using common knot vector determination. Comput. Aided Des. 40(10-11): 999-1008 (2008) - [j41]Yingbo Liu, Jianmin Wang, Yun Yang, Jiaguang Sun:
A semi-automatic approach for workflow staff assignment. Comput. Ind. 59(5): 463-476 (2008) - [j40]Hong-Wei Sun, Kwok-Yan Lam, Dieter Gollmann, Siu Leung Chung, Jian-Bin Li, Jia-Guang Sun:
Efficient Fingercode Classification. IEICE Trans. Inf. Syst. 91-D(5): 1252-1260 (2008) - [c53]Yahui Lu, Li Zhang, Jiaguang Sun:
Towards trace semantics for WS-CDL with alignments. SAC 2008: 95-99 - [c52]Jie-Hui Gong, Hui Zhang, Bin Jiang, Jia-Guang Sun:
Identification of sections from engineering drawings based on evidence theory. Symposium on Solid and Physical Modeling 2008: 13-24 - 2007
- [j39]Xiao-Diao Chen, Hua Su, Jun-Hai Yong, Jean-Claude Paul, Jia-Guang Sun:
A counterexample on point inversion and projection for NURBS curve. Comput. Aided Geom. Des. 24(5): 302 (2007) - [j38]Xu-Zheng Liu, Jun-Hai Yong, Guo-Qin Zheng, Jia-Guang Sun:
An offset algorithm for polyline curves. Comput. Ind. 58(3): 240-254 (2007) - [j37]Lijie Wen, Wil M. P. van der Aalst, Jianmin Wang, Jiaguang Sun:
Mining process models with non-free-choice constructs. Data Min. Knowl. Discov. 15(2): 145-180 (2007) - [j36]Chaokun Wang, Jianmin Wang, Jia-Guang Sun, Shengfei Shi, Hong Gao:
AbIx: An Approach to Content-Based Approximate Query Processing in Peer-to-Peer Data Systems. J. Comput. Sci. Technol. 22(2): 280-286 (2007) - [c51]Xiao-Diao Chen, Jun-Hai Yong, Jean-Claude Paul, Jiaguang Sun:
Intersection Testing between an Ellipsoid and an Algebraic Surface. CAD/Graphics 2007: 43-46 - [c50]Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Effective heuristics for counterexample-guided abstraction refinement. ACM Great Lakes Symposium on VLSI 2007: 393-398 - [c49]Yingbo Liu, Jianmin Wang, Jiaguang Sun:
Using Decision Tree Learning to Predict Workflow Activity Time Consumption. ICEIS (2) 2007: 69-75 - [c48]Hong-Wei Sun, Kwok-Yan Lam, Jia-Guang Sun, Siu Leung Chung:
Dynamically Constructing Mixed Pyramid for Fast VQ Encoding. IIH-MSP 2007: 449-452 - [c47]Chaokun Wang, Jianmin Wang, Jianzhong Li, Jia-Guang Sun, Shengfei Shi:
MuSQL: A Music Structured Query Language. MMM (2) 2007: 216-225 - [c46]Yingbo Liu, Jianmin Wang, Jiaguang Sun:
A machine learning approach to semi-automating workflow staff assignment. SAC 2007: 340-345 - [c45]Jie-Hui Gong, Hui Zhang, Yiwen Zhang, Jia-Guang Sun:
Converting hybrid wire-frames to B-rep models. Symposium on Solid and Physical Modeling 2007: 283-289 - [c44]Lijie Wen, Jianmin Wang, Jiaguang Sun:
Mining Invisible Tasks from Event Logs. APWeb/WAIM 2007: 358-365 - [i1]Haining Fan, Jiaguang Sun, Ming Gu, Kwok-Yan Lam:
Overlap-free Karatsuba-Ofman Polynomial Multiplication Algorithms. IACR Cryptol. ePrint Arch. 2007: 393 (2007) - 2006
- [j35]Yu-Shen Liu, Jun-Hai Yong, Hui Zhang, Dong-Ming Yan, Jia-Guang Sun:
A quasi-Monte Carlo method for computing areas of point-sampled surfaces. Comput. Aided Des. 38(1): 55-68 (2006) - [j34]Jie-Hui Gong, Hui Zhang, Gui-Fang Zhang, Jia-Guang Sun:
Solid reconstruction using recognition of quadric surfaces from orthographic views. Comput. Aided Des. 38(8): 821-835 (2006) - [j33]Xiao-Diao Chen, Jun-Hai Yong, Guo-Qin Zheng, Jean-Claude Paul, Jia-Guang Sun:
Computing minimum distance between two implicit algebraic surfaces. Comput. Aided Des. 38(10): 1053-1061 (2006) - [j32]Yi-Jun Yang, Jun-Hai Yong, Hui Zhang, Jean-Claude Paul, Jia-Guang Sun:
A rational extension of Piegl's method for filling n-sided holes. Comput. Aided Des. 38(11): 1166-1178 (2006) - [j31]Yu-Shen Liu, Jean-Claude Paul, Jun-Hai Yong, Pi-Qiang Yu, Hui Zhang, Jia-Guang Sun, Karthik Ramani:
Automatic least-squares projection of points onto point clouds with applications in reverse engineering. Comput. Aided Des. 38(12): 1251-1263 (2006) - [j30]Jie-Hui Gong, Gui-Fang Zhang, Hui Zhang, Jia-Guang Sun:
Reconstruction of 3D curvilinear wire-frame from three orthographic views. Comput. Graph. 30(2): 213-224 (2006) - [j29]Fei He, Xiaoyu Song, Ming Gu, Lerong Cheng, Guowu Yang, Zhiwei Tang, Jiaguang Sun:
A combinatorial congestion estimation approach with generalized detours. Comput. Math. Appl. 51(6-7): 1113-1126 (2006) - [j28]Fei He, Xiaoyu Song, Ming Gu, Guowu Yang, William N. N. Hung, Jia-Guang Sun:
Probabilistic optimization for FPGA board level routing problems. IEEE Trans. Circuits Syst. II Express Briefs 53-II(4): 264-268 (2006) - [c43]Lei Wang, Junyi Li, J. M. Yang, Yaping Lin, Jia-Guang Sun:
Hierarchical Hypercube-Based Pairwise Key Establishment Schemes for Sensor Networks. APWeb Workshops 2006: 186-195 - [c42]Lijie Wen, Jianmin Wang, Jia-Guang Sun:
Detecting Implicit Dependencies Between Tasks from Event Logs. APWeb 2006: 591-603 - [c41]Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. ATVA 2006: 39-50 - [c40]Yahui Lu, Li Zhang, Yinbo Liu, Jiaguang Sun:
A Distributed Domain Administration of RBAC Model in Collaborative Environments. CSCWD 2006: 935-940 - [c39]Xiaoming Jin, Xinqiang Zuo, Kwok-Yan Lam, Jianmin Wang, Jia-Guang Sun:
Efficient Discovery of Emerging Frequent Patterns in ArbitraryWindows on Data Streams. ICDE 2006: 113 - [c38]Yahui Lu, Li Zhang, Yinbo Liu, Jiaguang Sun:
Using pi-Calculus to Formalize Domain Administration of RBAC. ISPEC 2006: 278-289 - [c37]Wen-Ke Wang, Hui Zhang, Jun-Hai Yong, Jia-Guang Sun:
Surface Fitting to Curves with Energy Control. ISVC (1) 2006: 569-578 - [c36]Yi-Jun Yang, Jun-Hai Yong, Hui Zhang, Jean-Claude Paul, Jiaguang Sun:
Optimal Parameterizations of Bézier Surfaces. ISVC (1) 2006: 672-681 - [c35]Yi-Jun Yang, Hui Zhang, Jun-Hai Yong, Wei Zeng, Jean-Claude Paul, Jiaguang Sun:
Constrained Delaunay Triangulation Using Delaunay Visibility. ISVC (1) 2006: 682-691 - [c34]Hong-Wei Sun, Kwok-Yan Lam, Ming Gu, Jia-Guang Sun:
An Efficient Algorithm for Fingercode-Based Biometric Identification. OTM Workshops (1) 2006: 469-478 - 2005
- [j27]Zhiqiang Xu, Xiaoshen Wang, Xiao-Diao Chen, Jia-Guang Sun:
A robust algorithm for finding the real intersections of three quadric surfaces. Comput. Aided Geom. Des. 22(6): 515-530 (2005) - [j26]Yu Peng, Jun-Hai Yong, Wei-Ming Dong, Hui Zhang, Jia-Guang Sun:
A new algorithm for Boolean operations on general polygons. Comput. Graph. 29(1): 57-70 (2005) - [j25]Yi-Jun Yang, Jun-Hai Yong, Jia-Guang Sun:
An algorithm for tetrahedral mesh generation based on conforming constrained Delaunay tetrahedralization. Comput. Graph. 29(4): 606-615 (2005) - [j24]Ming Gu, Guowu Yang, Xiaoyu Song, Jiaguang Sun:
On synthesis of 3 × 3 reversible logic functions. Int. J. Comput. Math. 82(4): 385-390 (2005) - [j23]Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
On Theoretical Upper Bounds for Routing Estimation. J. Univers. Comput. Sci. 11(6): 916-925 (2005) - [j22]Ming Gu, Fei He, Xiaoyu Song, Jiaguang Sun:
Multiterminal net assignments by scatter search. Math. Comput. Model. 41(8-9): 997-1004 (2005) - [j21]Hongwei Sun, Kwok-Yan Lam, Siu Leung Chung, Wei-Ming Dong, Ming Gu, Jia-Guang Sun:
Efficient vector quantization using genetic algorithm. Neural Comput. Appl. 14(3): 203-211 (2005) - [j20]Yu-Shen Liu, Hui Zhang, Jun-Hai Yong, Pi-Qiang Yu, Jia-Guang Sun:
Mesh blending. Vis. Comput. 21(11): 915-927 (2005) - [c33]Zhiyun Xin, Jizhong Zhao, Ming Gu, Jiaguang Sun:
Integrating Collaborate and Content-Based Filtering for Personalized Information Recommendation. CIS (1) 2005: 476-482 - [c32]Lei Wang, Beiji Zou, Jia-Guang Sun:
Facial Features Location by Analytic Boosted Cascade Detector. CIS (2) 2005: 959-964 - [c31]Zhiyun Xin, Jizhong Zhao, Chihong Chi, Jiaguang Sun:
Information Push-Delivery for User-Centered and Personalized Service. FSKD (1) 2005: 594-602 - [c30]Hong-Wei Sun, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun:
An Efficient Anomaly Detection Algorithm for Vector-Based Intrusion Detection Systems. ICCNMC 2005: 817-825 - [c29]Zhiqiang Xu, Guoliang Xu, Jia-Guang Sun:
Convergence Analysis of Discrete Differential Geometry Operators over Surfaces. IMA Conference on the Mathematics of Surfaces 2005: 448-457 - [c28]Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Segmented channel routing with pin rearrangements via satisfiability. ISCAS (6) 2005: 6248-6251 - [c27]Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun:
A Hierachical Method for Wiring and Congestion Prediction. ISVLSI 2005: 307-308 - [c26]Zhaofeng Ma, Xibin Zhao, Zhi Guo, Ming Gu, Jiaguang Sun:
Secure Anonymous Communication with Conditional Traceability. NPC 2005: 405-408 - [c25]Bin Wang, Wenping Wang, Jun-Hai Yong, Jiaguang Sun:
Synthesizing 2D directional moving texture. SCCG 2005: 177-183 - 2004
- [j19]Xiao-Diao Chen, Jun-Hai Yong, Guo-Qin Zheng, Jia-Guang Sun:
Automatic G1 arc spline interpolation for closed point set. Comput. Aided Des. 36(12): 1205-1218 (2004) - [j18]Tao Wang, Yong Rui, Jia-Guang Sun:
Constraint Based Region Matching for Image Retrieval. Int. J. Comput. Vis. 56(1-2): 37-45 (2004) - [j17]Tao Wang, Yong Rui, Jia-Guang Sun:
Improving Retrieval Performance by Region Constraints and Relevance Feedback. J. Comput. Sci. Technol. 19(3): 413-422 (2004) - [j16]Fei He, Ming Gu, Jiaguang Sun, Xiaoyu Song:
A stochastic model for cellassignments in PCS networks. Math. Comput. Model. 40(7-8): 745-755 (2004) - [j15]Bin Wang, Wenping Wang, Huaiping Yang, Jia-Guang Sun:
Efficient Example-Based Painting and Synthesis of 2D Directional Texture. IEEE Trans. Vis. Comput. Graph. 10(3): 266-277 (2004) - [c24]Xibin Zhao, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun:
Authorization Mechanisms for Virtual Organizations in Distributed Computing Systems. ACISP 2004: 414-426 - [c23]Xing-Yun He, Kwok-Yan Lam, Siu Leung Chung, Chi-Hung Chi, Jia-Guang Sun:
Real-Time Emulation of Intrusion Victim in HoneyFarm. AWCC 2004: 143-154 - [c22]Jian-Ping Yong, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun:
Enhancing the Scalability of the Community Authorization Service for Virtual Organizations. AWCC 2004: 182-193 - [c21]Xu-Zheng Liu, Xia Cui, Jun-Hai Yong, Jia-Guang Sun:
Alternating Direction Finite Element Method for a Class of Moving Boundary Problems. CIS 2004: 44-50 - [c20]Dong-Ming Yan, Hui Zhang, Jun-Hai Yong, Yu Peng, Jia-Guang Sun:
Shelling Algorithm in Solid Modeling. CIS 2004: 292-297 - [c19]Yu-Shen Liu, Pi-Qiang Yu, Jun-Hai Yong, Hui Zhang, Jia-Guang Sun:
Bilateral Filter for Meshes Using New Predictor. CIS 2004: 1093-1099 - [c18]Xiao-Xin Zhang, Jun-Hai Yong, Lie-Hang Gong, Guo-Qin Zheng, Jia-Guang Sun:
Alternate Pattern Fill. CIS 2004: 1127-1133 - [c17]Bin Wang, Jun-Hai Yong, Jia-Guang Sun:
Real-Time Texture Synthesis with Patch Jump Maps. CIS 2004: 1155-1160 - [c16]Yu Peng, Hui Zhang, Jun-Hai Yong, Jia-Guang Sun:
Up to Face Extrusion Algorithm for Generating B-Rep Solid. CIS 2004: 1195-1200 - [c15]Xiaoming Jin, Jianmin Wang, Jia-Guang Sun:
Symbolization of Mobile Object Trajectories with the Support to Motion Data Mining. ER (Workshops) 2004: 103-113 - [c14]Hong-Wei Sun, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun:
Anomaly Detection in Grid Computing Based on Vector Quantization. GCC 2004: 883-886 - [c13]Xiaoming Jin, Jianmin Wang, Jia-Guang Sun:
Dynamic Symbolization of Streaming Time Series. IDEAL 2004: 559-564 - [c12]Kedong Luo, Jianmin Wang, Jia-Guang Sun:
Rules Discovery from Cross-Sectional Short-Length Time Series. PAKDD 2004: 604-614 - [c11]Yi-Yuan Huang, Kwok-Yan Lam, Siu Leung Chung, Chi-Hung Chi, Jia-Guang Sun:
Application of Content Computing in Honeyfarm. WISA 2004: 211-222 - 2003
- [j14]Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun:
Lightweight security for mobile commerce transactions. Comput. Commun. 26(18): 2052-2060 (2003) - [j13]Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun:
Security middleware for enhancing interoperability of Public Key Infrastructure. Comput. Secur. 22(6): 535-546 (2003) - [j12]Tao Wang, Yong Rui, Shi-Min Hu, Jia-Guang Sun:
Adaptive tree similarity learning for image retrieval. Multim. Syst. 9(2): 131-143 (2003) - [c10]Zhi Guo, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun:
Efficient Presentation of Multivariate Audit Data for Intrusion Detection of Web-Based Internet Services. ACNS 2003: 63-75 - [c9]Qinghu Li, Jianmin Wang, Jia-Guang Sun:
GFS-Btree: A Scalable Peer-to-Peer Overlay Network for Lookup Service. GCC (1) 2003: 340-347 - [c8]Qinghu Li, Jianmin Wang, Kwok-Yan Lam, Jia-Guang Sun:
GridFS: A Web-Based Data Grid with P2P Concepts and Writable Replicas. ICADL 2003: 639-642 - [c7]Qinghu Li, Jianmin Wang, Kwok-Yan Lam, Jia-Guang Sun:
GridFS: A Web-Based Data Grid for the Distributed Sharing of Educational Resource Files. ICWL 2003: 81-92 - [c6]Kedong Luo, Jianmin Wang, Deyi Li, Jia-Guang Sun:
Clustering Individuals in Non-vector Data and Predicting: A Novel Model-Based Approach. IDEAL 2003: 431-435 - [c5]Jing Zhang, Jianmin Wang, Deyi Li, Huacan He, Jia-Guang Sun:
A New Heuristic Reduct Algorithm Base on Rough Sets Theory. WAIM 2003: 247-253 - [c4]Kwok-Yan Lam, Xibin Zhao, Siu Leung Chung, Ming Gu, Jia-Guang Sun:
Enhancing Grid Security Infrastructure to Support Mobile Computing Nodes. WISA 2003: 42-54 - 2002
- [j11]Yan-Tao Li, Shi-Min Hu, Jia-Guang Sun:
A constructive approach to solving 3-D geometric constraint systems using dependence analysis. Comput. Aided Des. 34(2): 97-108 (2002) - [j10]Dongsheng Liu, Jianmin Wang, Stephen C. F. Chan, Jiaguang Sun, Li Zhang:
Modeling workflow processes with colored Petri nets. Comput. Ind. 49(3): 267-281 (2002) - [j9]Shi-Xia Liu, Shi-Min Hu, Jia-Guang Sun:
Two Accelerating Techniques for 3D Reconstruction. J. Comput. Sci. Technol. 17(3): 362-368 (2002) - 2001
- [j8]Shi-Min Hu, Rou-Feng Tong, Tao Ju, Jia-Guang Sun:
Approximate merging of a pair of Bézier curves. Comput. Aided Des. 33(2): 125-136 (2001) - [j7]Shi-Xia Liu, Shi-Min Hu, Yujian Chen, Jia-Guang Sun:
Reconstruction of curved solids from engineering drawings. Comput. Aided Des. 33(14): 1059-1072 (2001) - [j6]Jun-Hai Yong, Shi-Min Hu, Jia-Guang Sun, Xing-Yu Tan:
Degree reduction of B-spline curves. Comput. Aided Geom. Des. 18(2): 117-127 (2001) - [j5]Jun-Hai Yong, Shi-Min Hu, Jia-Guang Sun:
CIM Algorithm for Approximating Three-Dimensional Polygonal Curves. J. Comput. Sci. Technol. 16(6): 552-559 (2001) - [j4]Shi-Min Hu, Hui Zhang, Chiew-Lan Tai, Jia-Guang Sun:
Direct manipulation of FFD: efficient explicit solutions and decomposible multiple point constraints. Vis. Comput. 17(6): 370-379 (2001) - [c3]Jianhua Wu, Shi-Min Hu, Jia-Guang Sun, Chiew-Lan Tai:
An Effective Feature-Preserving Mesh Simplification Scheme Based on Face Constriction. PG 2001: 12-21 - [c2]Yan-Tao Li, Shi-Min Hu, Jia-Guang Sun:
On the Numerical Redundancies of Geometric Constraint Systems. PG 2001: 118-123 - 2000
- [j3]Jun-Hai Yong, Shi-Min Hu, Jia-Guang Sun:
Bisection algorithms for approximating quadratic Bézier curves by G1 arc splines. Comput. Aided Des. 32(4): 253-260 (2000) - [c1]Shi-Xia Liu, Shi-Min Hu, Jia-Guang Sun, Chiew-Lan Tai:
A Matrix-Based Approach to Reconstruction of 3D Objects from Three Orthographic Views. PG 2000: 254-261
1990 – 1999
- 1999
- [j2]Jun-Hai Yong, Shi-Min Hu, Jia-Guang Sun:
A note on approximation of discrete data by G1 arc splines. Comput. Aided Des. 31(14): 911-915 (1999) - 1996
- [j1]Changgui Yang, Yujian Chen, Jiaguang Sun:
Advanced geometric modeler with hybrid representation. J. Comput. Sci. Technol. 11(1): 1-8 (1996)
Coauthor Index
[j112] [j106] [j105] [c114] [c112] [c110] [c106] [j101] [j100] [j99] [c104] [c101] [j97] [j94] [j93] [c94] [c93] [c91] [c90] [c89] [c88] [c87] [j92] [c86] [c85] [c84] [c82] [c81] [c80] [c79] [c78] [j87] [j86] [j85] [j83] [j81] [c77] [j79] [j78] [j77] [j76] [j75] [c76] [c72] [c71] [c70] [c69] [j71] [j70] [j69] [c68] [c67] [c64] [c63] [j68] [j67] [j66] [c61] [c60] [c58] [j52] [j51] [j47] [j46] [j45] [i2] [c50] [i1] [j29] [j28] [c41] [c34] [j24] [j23] [j22] [j21] [c33] [c30] [c28] [c27] [c26] [j16] [c24] [c22] [c14] [j14] [j13] [c10] [c4]
[j119] [j118] [j117] [c124] [c123] [c122] [c121] [c120] [j116] [j115] [j114] [j113] [c119] [c118] [i8] [j111] [j110] [c117] [j108] [j105] [j104] [j103] [c112] [c111] [c110] [c108] [c107] [c105] [i7] [i6] [i5] [c102] [c101] [c100] [c99] [c98] [c97] [c96] [c95] [i4] [i3] [j97] [j93] [c93] [c92] [c91] [c89] [c88] [c85] [c84] [c83] [c82] [c81] [c80] [c78] [j85] [j83] [j75] [c71] [c70] [c69] [j69] [c68] [c67] [c64] [c63] [j66] [c61]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-13 02:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
