Juan Zhai

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Zhenhao Tang

> Home > Persons > Juan Zhai

Publications

2018
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/TangZPAM0Z18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/TangZPAM0Z18
Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, Jianhua Zhao:
Dual-force: understanding WebView malware via cross-language forced execution. ASE 2018: 714-725
2017
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/LiZTTZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/LiZTTZ17
Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao:
A Framework for Array Invariants Synthesis in Induction-Loop Programs. APSEC 2017: 21-30
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/TangZLZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/TangZLZ17
Zhenhao Tang, Juan Zhai, Bin Li, Jianhua Zhao:
Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java. QRS 2017: 208-215
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/LiTZZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/LiTZZ16
Bin Li, Zhenhao Tang, Juan Zhai, Jianhua Zhao:
Automatic Invariant Synthesis for Arrays in Simple Programs. QRS 2016: 108-119
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/ZhaiLTZL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/ZhaiLTZL16
Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li:
Precondition Calculation for Loops Iterating over Data Structures. QRS 2016: 132-143
2015
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/internetware/TangWLZZL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/internetware/TangWLZZL15
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li:
Analyzing Inductively Defined Properties for Recursive Data Structures. Internetware 2015: 221-228
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/TangWLZZL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/TangWLZZL15
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li:
Node-Set Analysis for Linked Recursive Data Structures. QRS 2015: 59-64

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.