• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 12 matches

• 2024
• 
  Pengxiang Liu, Zhi Wu, Wei Gu, Yuping Lu, Qirun Sun, Yujian Ye, Goran Strbac:
  Fast Resilience Assessment of Integrated Electricity-Gas Systems Considering Non-Convex Gas Flow Dynamics. IEEE Trans. Smart Grid 15(4): 3514-3527 (2024)
• 
  Qirun Sun, Zhi Wu, Wei Gu, Xiao-Ping Zhang, Yuping Lu, Pengxiang Liu, Shuai Lu, Haifeng Qiu:
  Resilience Assessment for Integrated Energy System Considering Gas-Thermal Inertia and System Interdependency. IEEE Trans. Smart Grid 15(2): 1509-1524 (2024)
• 2023
• 
  Haifeng Wan, Lei Gao, Zhaodi Yuan, Hui Qu, Qirun Sun, Hao Cheng, Ruibao Wang:
  A novel transformer model for surface damage detection and cognition of concrete bridges. Expert Syst. Appl. 213(Part C): 119019 (2023)
• 
  Yuanxi Wu, Zhi Wu, Wei Gu, Zheng Xu, Shu Zheng, Qirun Sun:
  Decentralized Energy Market Integrating Carbon Allowance Trade and Uncertainty Balance in Energy Communities. CoRR abs/2301.12129 (2023)
• 2022
• 
  Haifeng Qiu, Lu Wang, Wei Gu, Guangsheng Pan, Chao Ning, Zhi Wu, Qirun Sun:
  Multistage Scheduling of Regional Power Grids Against Sequential Outage and Power Uncertainties. IEEE Trans. Smart Grid 13(6): 4624-4637 (2022)
• 2021
• 
  Haifeng Wan, Lei Gao, Manman Su, Qinglong You, Hui Qu, Qirun Sun:
  A Novel Neural Network Model for Traffic Sign Detection and Recognition under Extreme Conditions. J. Sensors 2021: 9984787:1-9984787:16 (2021)
• 2020
• 
  Zhi Wu, Qirun Sun, Wei Gu, Yiwei Chen, Hua Xu, Jing Zhang:
  AC/DC Hybrid Distribution System Expansion Planning Under Long-Term Uncertainty Considering Flexible Investment. IEEE Access 8: 94956-94967 (2020)
• 2019
• 
  Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su:
  Practical GUI testing of Android applications via model abstraction and refinement. ICSE 2019: 269-280
• 2018
• 
  Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su:
  Perses: syntax-guided program reduction. ICSE 2018: 361-371
• 2017
• 
  Qirun Zhang, Chengnian Sun, Zhendong Su:
  Skeletal program enumeration for rigorous compiler testing. PLDI 2017: 347-361
• 2016
• 
  Chengnian Sun, Vu Le, Qirun Zhang, Zhendong Su:
  Toward understanding compiler bugs in GCC and LLVM. ISSTA 2016: 294-305
• 
  Qirun Zhang, Chengnian Sun, Zhendong Su:
  Skeletal Program Enumeration for Rigorous Compiler Testing. CoRR abs/1610.03148 (2016)