default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGuoqiang Li 0001
Person information
- affiliation: Shanghai Jiao Tong University, School of Software, China
- affiliation (former): Nagoya University, Japan
- affiliation (former): Japan Advanced Institute of Science and Technology, Japan
Other persons with the same name
- Guoqiang Li — disambiguation page
- Guoqiang Li 0002
![[0000-0001-5513-395X]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0001-5513-395X")
— Yanshan University, Qinhuangdao, China - Guoqiang Li 0003 — Beijing institute of Technology, China (and 1 more)
- Guoqiang Li 0004 — Chinese Academy of Sciences, Institute of Acoustics, Beijing, China
- Guoqiang Li 0005 — Chinese Academy of Medical Sciences, Institute of Medicinal Plant Development, China
- Guoqiang Li 0006 — Beijing University of Posts and Telecommunications, China
- Guoqiang Li 0007 — Norwegian University of Science and Technology, Gjøvik, Norway
- Guoqiang Li 0008 — Huawei Technologies, Shenzhen, China
- Guoqiang Li 0009 — University of Kaiserslautern, Kaiserslautern, Germany
- Guoqiang Li 0010 — Fudan University, Shanghai, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c60]Yuchen Li, Hongfei Fu, Haowen Long, Guoqiang Li:
Constraint Based Invariant Generation with Modular Operations. SETTA 2024: 64-84- [c59]Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue:
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs. SETTA 2024: 102-121 - [c58]Hongming Liu, Guoqiang Li:
Empirically Scalable Invariant Generation Leveraging Divide-and-Conquer with Pruning. TASE 2024: 324-342 - [i10]Hao Chen, Minyu Chen, Ruibang Liu, Guoqiang Li:
AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs. CoRR abs/2403.15676 (2024) - [i9]Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue:
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs. CoRR abs/2403.16097 (2024) - 2023
- [j51]Saharat Saengsawang, Guoqiang Li:
Theoretical analysis of norm selection for robustness verification of neural networks. Phys. Commun. 58: 102019 (2023) - [j50]Yun Zhang, Qianqian Duan, Guoqiang Li, Jianzhen Wu:
Robustness quantification method for network intrusion detection models. Phys. Commun. 58: 102025 (2023) - [c57]Jingyang Li, Guoqiang Li:
HOBAT: Batch Verification for Homogeneous Structural Neural Networks. ASE 2023: 1276-1287 - [c56]Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li:
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. PRDC 2023: 191-197 - [i8]Hongming Liu, Jingyu Ke, Hongfei Fu, Liqian Chen, Guoqiang Li:
Affine Disjunctive Invariant Generation with Farkas' Lemma. CoRR abs/2307.13318 (2023) - [i7]Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li:
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. CoRR abs/2309.04274 (2023) - 2022
- [j49]Xing Hu, Zhe Fan, Linhua Jiang, Jiawei Xu, Guoqiang Li, Wenming Chen, Xinhua Zeng, Genke Yang, Dawei Zhang:
TOP-ALCM: A novel video analysis method for violence detection in crowded scenes. Inf. Sci. 606: 313-327 (2022) - [j48]Huanghao Yin, Jiacheng Liu, Xiaohong Chen, Guoqiang Li:
WeAnimate: Motion-coherent animation generation from video data. Multim. Tools Appl. 81(15): 20685-20703 (2022) - [j47]Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, Guoqiang Li:
Scalable linear invariant generation with Farkas' lemma. Proc. ACM Program. Lang. 6(OOPSLA2): 204-232 (2022) - [j46]Yun Zhang, Guoqiang Li, Qianqian Duan, Jianzhen Wu:
An interpretable intrusion detection method based on few-shot learning in cloud-ground interconnection. Phys. Commun. 55: 101931 (2022) - [j45]Xing Hu, Chun Xie, Zhe Fan, Qianqian Duan, Dawei Zhang, Linhua Jiang, Xian Wei, Danfeng Hong, Guoqiang Li, Xinhua Zeng, Wenming Chen, Dongfang Wu, Jocelyn Chanussot:
Hyperspectral Anomaly Detection Using Deep Learning: A Review. Remote. Sens. 14(9): 1973 (2022) - [j44]Tongyao Jia, Jiafeng Li, Li Zhuo, Guoqiang Li:
Effective Meta-Attention Dehazing Networks for Vision-Based Outdoor Industrial Systems. IEEE Trans. Ind. Informatics 18(3): 1511-1520 (2022) - [c55]Minyu Chen, Guoqiang Li, Chen Ma, Jingyang Li, Hongfei Fu:
Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories. COLING 2022: 1580-1592 - [i6]Sinka Gao, Guoqiang Li, Hong Fei Fu, Heng Zhang:
A multi-chain synchronization protocol that leverage zero knowledge proof to minimize communication trust base. CoRR abs/2209.02974 (2022) - 2021
- [j43]Junfang Jia, Valeriia Tumanian, Guoqiang Li:
In favour of or against multi-lingual Q&A sites? Exploring the evidence from user and knowledge perspectives. Behav. Inf. Technol. 40(13): 1390-1405 (2021) - [j42]Junfang Jia, Guoqiang Li:
Learning natural ordering of tags in domain-specific Q&A sites. Frontiers Inf. Technol. Electron. Eng. 22(2): 170-184 (2021) - [j41]Junfang Jia, Valeriia Tumanian, Guoqiang Li:
Discovering semantically related technical terms and web resources in Q&A discussions. Frontiers Inf. Technol. Electron. Eng. 22(7): 969-985 (2021) - [j40]Suyu Ma, Zhenchang Xing, Chunyang Chen, Cheng Chen, Lizhen Qu, Guoqiang Li:
Easy-to-Deploy API Extraction by Multi-Level Feature Embedding and Transfer Learning. IEEE Trans. Software Eng. 47(10): 2296-2311 (2021) - [j39]Xiaohong Wu, Yonggen Gu, Jie Tao, Guoqiang Li, Jingti Han, Naixue Xiong:
An Effective Data-Driven Cloud Resource Procurement Scheme With Personalized Reserve Prices. IEEE Trans. Syst. Man Cybern. Syst. 51(8): 4693-4705 (2021) - [j38]Xiao Sun, Zhengmeng Pei, Chen Zhang, Guoqiang Li, Jianhua Tao:
Design and Analysis of a Human-Machine Interaction System for Researching Human's Dynamic Emotion. IEEE Trans. Syst. Man Cybern. Syst. 51(10): 6111-6121 (2021) - [c54]Ruiqi Shi, Chang Liu, Jiang Tao, Guoqiang Li, Kai Xiao, Zhangqian Xie, Jian Wang, Bahram Gharabaghi:
Panoramic Radiographic X-Ray Image Tooth Root Segmentation Based on LeNet-5 Networks. AMLTA 2021: 134-144 - [c53]Aijuan Qian, Chenlu Li, Xiaoju Dong, Shengtao Chen, Yanling Zhang, Guoqiang Li:
SLAMVis: An Interactive Visualization Approach for Smart Labeling on Multidimensional Data. ISPA/BDCloud/SocialCom/SustainCom 2021: 19-26 - [c52]Chunyan Mu, Guoqiang Li:
Integrating Information Flow Analysis in Unifying Theories of Programming. PRDC 2021: 67-76 - [c51]Qunhao Sha, Qizhe Yang, Guoqiang Li:
A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints. TASE 2021: 103-110 - [i5]Ruoyu Wang, Daniel Sun, Guoqiang Li, Raymond K. Wong, Shiping Chen:
Essence of Factual Knowledge. CoRR abs/2107.00729 (2021) - [i4]Ying Zhao, Jinhao Tan, Guoqiang Li:
BPPChecker: An SMT-based Model Checker on Basic Parallel Processes. CoRR abs/2110.09414 (2021) - 2020
- [j37]Ruoyu Wang, Daniel Sun, Guoqiang Li, Raymond K. Wong, Shiping Chen:
Pipeline provenance for cloud-based big data analytics. Softw. Pract. Exp. 50(5): 658-674 (2020) - [j36]Jiafeng Li, Li Zhuo, Hong Zhang, Guoqiang Li, Naixue Xiong:
Effective Data-Driven Technology for Efficient Vision-Based Outdoor Industrial Systems. IEEE Trans. Ind. Informatics 16(7): 4344-4354 (2020) - [j35]Xing Hu, Guoqiang Li:
Temporal Tensor Local Binary Pattern: A Novel Local Tensor Time Series Descriptor. IEEE Trans. Ind. Informatics 16(10): 6393-6402 (2020) - [j34]Qianqian Duan, Daniel Sun, Guoqiang Li, Genke Yang, Weiwu Yan:
IoT-Enabled Service for Crude-Oil Production Systems Against Unpredictable Disturbance. IEEE Trans. Serv. Comput. 13(4): 759-768 (2020) - [c50]Ruoyu Wang, Xiaobo Hu, Daniel Sun, Guoqiang Li, Raymond K. Wong, Shiping Chen, Jianquan Liu:
Statistical Detection Of Collective Data Fraud. ICME 2020: 1-6 - [c49]Jieshan Chen, Chunyang Chen, Zhenchang Xing, Xiwei Xu, Liming Zhu, Guoqiang Li, Jinshui Wang:
Unblind your apps: predicting natural-language labels for mobile GUI components by deep learning. ICSE 2020: 322-334 - [c48]Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li, Jinshui Wang:
Seenomaly: vision-based linting of GUI animation effects against design-don't guidelines. ICSE 2020: 1286-1297 - [c47]Jieshan Chen, Mulong Xie, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li:
Object detection for graphical user interface: old fashioned or deep learning or a combination? ESEC/SIGSOFT FSE 2020: 1202-1214 - [i3]Ruoyu Wang, Daniel Sun, Guoqiang Li:
Statistical Detection of Collective Data Fraud. CoRR abs/2001.00688 (2020) - [i2]Jieshan Chen, Chunyang Chen, Zhenchang Xing, Xiwei Xu, Liming Zhu, Guoqiang Li, Jinshui Wang:
Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep Learning. CoRR abs/2003.00380 (2020) - [i1]Jieshan Chen, Mulong Xie, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li:
Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination? CoRR abs/2008.05132 (2020)
2010 – 2019
- 2019
- [j33]Yifan Yang, Hong Zhang, Ding Yuan, Daniel Sun, Guoqiang Li, Rajiv Ranjan, Mingui Sun:
Hierarchical extreme learning machine based image denoising network for visual Internet of Things. Appl. Soft Comput. 74: 747-759 (2019) - [j32]Hong Zhang, Yifan Yang, Ding Yuan, Daniel Sun, Jun Zhang, Guoqiang Li, Mingui Sun:
Video denoising for security and privacy in fog computing. Concurr. Comput. Pract. Exp. 31(22) (2019) - [j31]Chengxi Huang, Li Da Xu, Hongming Cai, Guoqiang Li, Jiawei Du, Lihong Jiang:
A context-based service matching approach towards functional reliability for industrial systems. Enterp. Inf. Syst. 13(2): 196-218 (2019) - [j30]Daniel Sun, Guoqiang Li, Yuanyuan Zhang, Liming Zhu, Raj Gaire:
Statistically managing cloud operations for latency-tail-tolerance in IoT-enabled smart cities. J. Parallel Distributed Comput. 127: 184-195 (2019) - [j29]Zhong Wang, Daniel Sun, Guangtao Xue, Shiyou Qian, Guoqiang Li, Minglu Li:
Ada-Things: An adaptive virtual machine monitoring and migration strategy for internet of things applications. J. Parallel Distributed Comput. 132: 164-176 (2019) - [j28]Chenxiao Dou, Yi Cui, Daniel Sun, Raymond K. Wong, Muhammad Atif, Guoqiang Li, Rajiv Ranjan:
Unsupervised blocking and probabilistic parallelisation for record matching of distributed big data. J. Supercomput. 75(2): 623-645 (2019) - [j27]Daniel Sun, Shiping Chen, Guoqiang Li, Yuanyuan Zhang, Muhammad Atif:
Multi-objective Optimisation of Online Distributed Software Update for DevOps in Clouds. ACM Trans. Internet Techn. 19(3): 43:1-43:20 (2019) - [j26]Shunting Huang, Ling Li, Hongming Cai, Boyi Xu, Guoqiang Li, Lihong Jiang:
A Configurable WoT Application Platform Based on Spatiotemporal Semantic Scenarios. IEEE Trans. Syst. Man Cybern. Syst. 49(1): 123-135 (2019) - [c46]Haitao Zhang, Ayang Tuo, Guoqiang Li:
Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems. DATE 2019: 594-597 - [c45]Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xin Xia, Guoqiang Li:
ActionNet: vision-based workflow action recognition from programming screencasts. ICSE 2019: 350-361 - [c44]Muhammad Jahanzeb Khan, Adeel Zafar, Valeriia Tumanian, Ding Yue, Guoqiang Li:
Object Detection Boosting using Object Attributes in Detect and Describe Framework. ICTAI 2019: 886-893 - [c43]Xiaoxue Ren, Zhenchang Xing, Xin Xia, Guoqiang Li, Jianling Sun:
Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites. ASE 2019: 151-162 - [c42]Yingying Wang, Guoqiang Li:
Detect Triangle Attack on Blockchain by Trace Analysis. QRS Companion 2019: 316-321 - [c41]Muhammad Jahanzeb Khan, Ruoyu Wang, Daniel Sun, Guoqiang Li:
Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning. SOFL+MSVL 2019: 279-295 - 2018
- [j25]Yue Ding, Dong Wang, Xin Xin, Guoqiang Li, Daniel Sun, Xuezhi Zeng, Rajiv Ranjan:
SCFM: Social and crowdsourcing factorization machines for recommendation. Appl. Soft Comput. 66: 548-556 (2018) - [j24]Guoqiang Li, Yunqing Wen, Shoji Yuen:
Updatable timed automata with one updatable clock. Sci. China Inf. Sci. 61(1): 012102:1-012102:14 (2018) - [j23]Haitao Zhang, Zhuo Cheng, Guoqiang Li, Shaoying Liu:
autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications. Sci. China Inf. Sci. 61(5): 052102:1-052102:15 (2018) - [j22]Ling Fang, Chunyan Mu, Zhuo Cheng, Guoqiang Li:
Evaluation of redundancy-based system: a model checking approach. Sci. China Inf. Sci. 61(6): 069101:1-069101:3 (2018) - [j21]Ruoyu Wang, Guoqiang Li, Jianwen Xiang, Hongming Cai:
A customised automata algorithm and toolkit for language learning and application. Int. J. Big Data Intell. 5(1/2): 114-123 (2018) - [j20]Xiao Sun, Chen Zhang, Guoqiang Li, Daniel Sun, Fuji Ren, Albert Y. Zomaya, Rajiv Ranjan:
Detecting users' anomalous emotion using social media for business intelligence. J. Comput. Sci. 25: 193-200 (2018) - [j19]Qingbo Zhang, Wei Lu, Ruxin Wang, Guoqiang Li:
Digital image splicing detection based on Markov features in block DWT domain. Multim. Tools Appl. 77(23): 31239-31260 (2018) - [j18]Jixian Li, Wei Lu, Jian Weng, Yijun Mao, Guoqiang Li:
Double JPEG compression detection based on block statistics. Multim. Tools Appl. 77(24): 31895-31910 (2018) - [j17]Chunyang Chen, Xi Chen, Jiamou Sun, Zhenchang Xing, Guoqiang Li:
Data-Driven Proactive Policy Assurance of Post Quality in Community q&a Sites. Proc. ACM Hum. Comput. Interact. 2(CSCW): 33:1-33:22 (2018) - [j16]Qi Zhao, Boxue Zhang, Shuchang Lyu, Hong Zhang, Daniel Sun, Guoqiang Li, Wenquan Feng:
A CNN-SIFT Hybrid Pedestrian Navigation Method Based on First-Person Vision. Remote. Sens. 10(8): 1229 (2018) - [j15]Guoqiang Li, Li Liu, Akira Fukuda:
Asynchronous multi-process timed automata. Softw. Qual. J. 26(3): 961-989 (2018) - [j14]Haitao Zhang, Guoqiang Li, Zhuo Cheng, Jinyun Xue:
Verifying OSEK/VDX automotive applications: A Spin-based model checking approach. Softw. Test. Verification Reliab. 28(3) (2018) - [j13]Lifei Lu, Lida Xu, Boyi Xu, Guoqiang Li, Hongming Cai:
Fog Computing Approach for Music Cognition System Based on Machine Learning Algorithm. IEEE Trans. Comput. Soc. Syst. 5(4): 1142-1151 (2018) - [j12]Daniel Sun, Alan D. Fekete, Vincent Gramoli, Guoqiang Li, Xiwei Xu, Liming Zhu:
R2C: Robust Rolling-Upgrade in Clouds. IEEE Trans. Dependable Secur. Comput. 15(5): 811-823 (2018) - [c40]Congcong Ye, Guoqiang Li, Hongming Cai, Yonggen Gu, Akira Fukuda:
Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting. DSA 2018: 15-24 - [c39]Yun Guo, Daniel Sun, Guoqiang Li, Shiping Chen:
Examine Manipulated Datasets with Topology Data Analysis: A Case Study. ICICS 2018: 358-373 - [c38]Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu:
An efficient approach for verifying automobile distributed application systems on timing property. ICSE (Companion Volume) 2018: 230-231 - [c37]Akira Fukuda, Tsuneo Nakanishi, Kenji Hisazumi, Kunihiko Kaneko, Shigeaki Tagashira, Tsunenori Mine, Yutaka Arakawa, Shigemi Ishida, Takahiro Ando, Shuichi Ashihara, Masakatsu Ura, Yoshimichi Nakamura, Soichiro Nakamura, Weiqiang Kong, Guoqiang Li:
Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -. IIAI-AAI 2018: 81-85 - [c36]Min Gao, Ruoyu Wang, Daniel Sun, Guoqiang Li:
Intelligent Healthcare Knowledge Resources in Chinese: A Survey. I-SPAN 2018: 318-324 - [c35]Jin Luo, Ruoyu Wang, Daniel Sun, Yingying Wang, Guoqiang Li:
Comparison among Four Prominent Text Processing Tools. I-SPAN 2018: 325-330 - 2017
- [j11]Xiuting Tao, Guoqiang Li, Daniel Sun, Hongming Cai:
A game-theoretic model and analysis of data exchange protocols for Internet of Things in clouds. Future Gener. Comput. Syst. 76: 582-589 (2017) - [j10]Haitao Zhang, Guoqiang Li, Daniel Sun, Yonggang Lu, Ching-Hsien Hsu:
Verifying cooperative software: A SMT-based bounded model checking approach for deterministic scheduler. J. Syst. Archit. 81: 7-16 (2017) - [j9]Cheng Xie, Guoqiang Li, Hongming Cai, Lihong Jiang, Neal N. Xiong:
Dynamic Weight-Based Individual Similarity Calculation for Information Searching in Social Computing. IEEE Syst. J. 11(1): 333-344 (2017) - [j8]Yue Ding, Dong Wang, Guoqiang Li, Daniel Sun, Xin Xin, Shiyou Qian:
Exploiting long-term and short-term preferences and RFID trajectories in shop recommendation. Softw. Pract. Exp. 47(6): 849-865 (2017) - [c34]Yi Cui, Guoqiang Li, Hao Cheng, Daoyuan Wang:
Indexing for Large Scale Data Querying Based on Spark SQL. ICEBE 2017: 103-108 - [c33]Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen:
Nested Timed Automata with Diagonal Constraints. ICFEM 2017: 396-412 - [c32]Congcong Ye, Chun Li, Guoqiang Li, Lihong Jiang, Hongming Cai:
A Behavior Analysis Method Towards Product Quality Management. CONFENIS 2017: 12-20 - [c31]Junli Yang, Bo Song, Bing Yan, Guoqiang Li:
A Novel Hidden Markov Model for Genome-Wide Association Studies. QRS Companion 2017: 500-506 - [c30]Yuwei Wang, Guoqiang Li, Shoji Yuen:
Nested Timed Automata with Invariants. SETTA 2017: 77-93 - [c29]Xiuting Tao, Guoqiang Li:
The Complexity of Linear-Time Temporal Logic Model Repair. SOFL+MSVL 2017: 69-87 - [c28]Chenxiao Dou, Daniel Sun, Guoqiang Li, Raymond K. Wong:
Active Learning with Density-Initialized Decision Tree for Record Matching. SSDBM 2017: 14:1-14:12 - 2016
- [j7]Yonggen Gu, Jie Tao, Guoqiang Li, Daniel W. Sun, Xiaohong Wu, Prem Prakash Jayaraman, Rajiv Ranjan:
A preemptive truthful VMs allocation online mechanism in private cloud. J. Comput. Sci. 17: 647-653 (2016) - [j6]Daniel Sun, Min Fu, Liming Zhu, Guoqiang Li, Qinghua Lu:
Non-Intrusive Anomaly Detection With Streaming Performance Metrics and Logs for DevOps in Public Clouds: A Case Study in AWS. IEEE Trans. Emerg. Top. Comput. 4(2): 278-289 (2016) - [j5]Xiaohong Wu, Yonggen Gu, Jie Tao, Guoqiang Li, Prem Prakash Jayaraman, Daniel Sun, Rajiv Ranjan, Albert Y. Zomaya, Jingti Han:
An online greedy allocation of VMs with non-increasing reservations in clouds. J. Supercomput. 72(2): 371-390 (2016) - [c27]Haitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li:
Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach. ICIS 2016: 1-6 - [c26]Ruoyu Wang, Daniel Sun, Guoqiang Li, Muhammad Atif, Surya Nepal:
LogProv: Logging events as provenance of big data analytics pipelines with trustworthiness. IEEE BigData 2016: 1402-1411 - [c25]Chenxiao Dou, Daniel Sun, Yi-Cheng Chen, Guoqiang Li, Jianquan Liu:
Probabilistic parallelisation of blocking non-matched records for big data. IEEE BigData 2016: 3465-3473 - [c24]Ruoyu Wang, Guoqiang Li, Daniel W. Sun, Jianwen Xiang, Hongming Cai:
CAT: A Customized Automata Toolkit. QRS Companion 2016: 171-177 - [c23]Bingbing Fang, Guoqiang Li, Daniel Sun, Hongming Cai:
Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET. SETTA 2016: 147-162 - [c22]Yuwei Wang, Xiuting Tao, Guoqiang Li:
On Termination and Boundedness of Nested Updatable Timed Automata. SOFL+MSVL 2016: 15-31 - 2015
- [j4]Lichao Wang, Guoqiang Li, Zhenjiang Hu:
Constructing format-preserving printing from syntax-directed definitions. Sci. China Inf. Sci. 58(11): 1-14 (2015) - [c21]Guoqiang Li, Mizuhito Ogawa, Shoji Yuen:
Nested Timed Automata with Frozen Clocks. FORMATS 2015: 189-205 - [c20]Bingbing Fang, Guoqiang Li, Ling Fang, Jianwen Xiang:
A Refined Algorithm for Reachability Analysis of Updatable Timed Automata. QRS Companion 2015: 230-236 - [c19]Yunqing Wen, Guoqiang Li, Shoji Yuen:
On Reachability Analysis of Updatable Timed Automata with One Updatable Clock. SOFL+MSVL 2015: 147-161 - 2014
- [c18]Ling Fang, Guoqiang Li, Yingjie You, Chaobin Chen, Liqin Hu:
Toward SIL Evaluation for a Resilience Strategy. ISSRE Workshops 2014: 473-477 - [c17]Xiaohong Wu, Yonggen Gu, Guoqiang Li, Jie Tao, Jingyu Chen, Xiaolong Ma:
Online Mechanism Design for VMs Allocation in Private Cloud. NPC 2014: 234-246 - [c16]Yunqing Wen, Guoqiang Li, Shoji Yuen:
An Over-Approximation Forward Analysis for Nested Timed Automata. SOFL+MSVL 2014: 62-80 - 2013
- [c15]Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen:
Nested Timed Automata. FORMATS 2013: 168-182 - [c14]Xiaohong Wu, Yonggen Gu, Guoqiang Li:
Game Analysis of Workload Factoring with the Hybrid Cloud. CANDAR 2013: 263-269 - 2012
- [j3]Jianzhi Jin, Kaihua Xu, Naixue Xiong, Yuhua Liu, Guoqiang Li:
Multi-index evaluation algorithm based on principal component analysis for node importance in complex networks. IET Networks 1(3): 108-115 (2012) - [j2]Guoqiang Li, Xiaojuan Cai, Shoji Yuen:
Modeling and Analysis of Real-Time Systems with Mutex Components. Int. J. Found. Comput. Sci. 23(4): 831-852 (2012) - [c13]Guoqiang Li:
Measuring Time Lag with Nested Preemptions and Resumptions. ISORC Workshops 2012: 19-24 - [c12]Yizhou Zhang, Hao Lin, Guoqiang Li:
Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems. QSIC 2012: 120-123 - [c11]Jianxin Xue, Huan Long, Guoqiang Li:
An Improved Full Abstraction Approach to Analyzing Locality Semantics. TASE 2012: 101-108 - 2011
- [c10]Guoqiang Li, Yonggen Gu, Xiuting Tao, Jie Tao:
A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols. TASE 2011: 243-246 - 2010
- [c9]Guoqiang Li, Xiaojuan Cai, Shoji Yuen:
Modeling and analysis of real -time systems with mutex components. IPDPS Workshops 2010: 1-8
2000 – 2009
- 2009
- [c8]Guoqiang Li, Shoji Yuen, Masakazu Adachi:
Environmental Simulation of Real-Time Systems with Nested Interrupts. TASE 2009: 21-28 - 2008
- [c7]Guoqiang Li, Mizuhito Ogawa:
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. ATVA 2008: 374-385 - 2007
- [j1]Guoqiang Li, Mizuhito Ogawa:
On-the-fly Model Checking of Security Protocols and Its Implementation by Maude. Inf. Media Technol. 2(3): 937-962 (2007) - [c6]Guoqiang Li, Mizuhito Ogawa:
On-the-Fly Model Checking of Fair Non-repudiation Protocols. ATVA 2007: 511-522 - 2006
- [c5]Min Zhang, Guoqiang Li, Yuxi Fu:
Secrecy of Signals by Typing in Signal Transduction. ICNC (2) 2006: 384-393 - 2005
- [c4]Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He:
Typing Aberrance in Signal Transduction. ICNC (3) 2005: 668-677 - [c3]Yonggen Gu, Yuxi Fu, Guoqiang Li:
A Simple Process Calculus for the analysis of Security Protocols. PDCAT 2005: 110-114 - 2004
- [c2]Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He:
Representation of the Signal Transduction with Aberrance Using Ipi Calculus. CIS 2004: 477-485 - [c1]Yonggen Gu, Guoqiang Li, Yuxi Fu:
Analyzing iKP Security in Applied Pi Calculus. CIS 2004: 879-887
Coauthor Index
Daniel Sun 0004
aka: Daniel W. Sun
aka: Daniel W. Sun
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 2024-12-13 20:07 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:
