default search action

combined dblp search
author search
venue search
publication search

ask others

Jie Liu 0013

> Home > Persons

Person information

affiliation: East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, China
affiliation: University of South China, School of Computer Science and Technology, Hengyang, China

Other persons with the same name

see FAQ

Jie Liu — disambiguation page
Jie Liu 0001 — Harbin Institute of Technology, AI Research Institute, Harbin, China (and 3 more)
Jie Liu 0002 — National University of Defense Technology, Changsha, China
Jie Liu 0003 — National University of Singapore, Singapore
Jie Liu 0004 — Fourth Military Medical University, Tangdu Hospital, Xi'an, China (and 1 more)
Jie Liu 0005 — University of Paris-Saclay, CentraleSupélec, Chatenay-Malabry, France
Jie Liu 0006 — University of Washington, Seattle, WA, USA (and 1 more)
Jie Liu 0007 — Nankai University, Tianjin, China
Jie Liu 0008 — State Key Laboratory of Computer Science, Beijing, China (and 2 more)
Jie Liu 0009 — Xi'an University of Science and Technology, College of Science, Xi'an, China (and 1 more)

Jie Liu 0010 — Huazhong Agriculture University, Wuhan, China
Jie Liu 0011 — Naval Aeronautical and Astronautical University, Yantai, China
Jie Liu 0012 — North China University of Technology, Inverter Technologies Engineering Research Center of Beijing, China
Jie Liu 0014 — Jilin University, College of Computer Science and Technology / MOE Key Laboratory of Symbolic Computation and Knowledge Engineering, Changchun, China
Jie Liu 0015 — Northwestern Polytechnical University, School of Aeronautics, Xi'an, China (and 4 more)
Jie Liu 0016 — China University of Petroleum, College of Computer and Communication Engineering, Qingdao, China
Jie Liu 0017 — Huazhong University of Science and Technology, School of Hydropower and Information Engineering, Wuhan, China (and 1 more)
Jie Liu 0018 — University of Notre Dame, Department of Electrical Engineering, Notre Dame, IN, USA
Jie Liu 0019 — Baicheng Ordnance Test Center of China, Department of Tes, Baicheng, China
Jie Liu 0020 — University of New South Wales, Sydney, Australia
Jie Liu 0022 — Capital Normal University, Department of Information Engineering, Beijing, China
Jie Liu 0023 — Railway Engineering Research Institute, China Academic of Railway Science Corporation Ltd., Beijing, China
Jie Liu 0024 — Chinese Academy of Sciences, Institute of Remote Sensing and Digital Earth, Beijing, China (and 1 more)
Jie Liu 0025 — Chinese Academy of Sciences, Institute of Computing Technology, Key Lab of Intelligent Information Processing, Beijing, China
Jie Liu 0026 — Western Oregon University, Computer Science Division, Monmouth, OR, USA (and 1 more)
Jie Liu 0027 — Tsinghua University, Department of Computer Science and Technology, Beijing, China
Jie Liu 0028 — Chinese Academy of Sciences, Institute of Automation, Beijing, China
Jie Liu 0029 — Chinese Academy of Sciences, Institute of Software, Beijing, China
Jie Liu 0030 — National Huaqiao University, College of Computer Science and Technology, Xiamen, China
Jie Liu 0031 — Xi'an University of Technology, School of Printing Packaging and Digital Media, Xi'an, China (and 1 more)
Jie Liu 0032 — Chinese Academy of Sciences, Institute of Modern Physics, Lanzhou, China
Jie Liu 0033 — Shandong University of Science and Technology, College of Electrical Engineering and Automation, Qingdao, China
Jie Liu 0034 — Hunan University, College of Electrical and Information Engineering, Changsha, China
Jie Liu 0035 — Peking University, National Engineering Laboratory for Video Technology, Beijing, China
Jie Liu 0036 — Lehigh University, Department of Industrial and Systems Engineering, Bethlehem, PA, USA
Jie Liu 0037 — Nanjing ChangFeng Aerospace Electronic Technology Co., Nanjing, China (and 1 more)
Jie Liu 0038 — Harbin Institute of Technology, School of Computer Science and Technology, Weihai, China
Jie Liu 0039 — Shenyang Normal University, Software College, China
Jie Liu 0040 — Nanjing University, State Key Laboratory for Novel Software Technology, China
Jie Liu 0041 — Dalian Medical University, Second Hospital, Department of Anesthesiology, China
Jie Liu 0042 — Xidian University, School of Electronic Engineering, China
Jie Liu 0043 — University of Amsterdam, The Netherlands
Jie Liu 0044 — City University of Hong Kong, Department of Electrical Engineering, Hong Kong
Jie Liu 0045 — University of Michigan, Department of Computational Medicine and Bioinformatics, Electrical Engineering and Computer Science, MI, USA (and 1 more)
Jie Liu 0046 — Monash University, Australia
Jie Liu 0047 — Chinese University of Hong Kong, CUHK, MMLab, Hong Kong (and 1 more)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/00130ZS0DC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/00130ZS0DC18
Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen:
A proof-based method of hybrid systems development using differential invariants. Frontiers Comput. Sci. 12(5): 1026-1028 (2018)
2017
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/LiuLZSCDC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/LiuLZSCDC17
Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen:
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. COMPSAC (1) 2017: 138-143
2013
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LiuL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LiuL14
Jie Liu, Jing Liu:
A Formal Framework for Hybrid Event B. TTSS 2013: 3-12

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.