Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDYan Liu 0012
Person information
- unicode name: 刘燕
- affiliation: National University of Singapore, Singapore
Other persons with the same name
- Yan Liu — disambiguation page
- Yan Liu 0001
![[0000-0002-6747-8151]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-6747-8151")
— Concordia University, Montreal, PQ, Canada (and 3 more) - Yan Liu 0002 — University of Southern California, Computer Science Department, Los Angeles, CA, USA (and 2 more)
- Yan Liu 0003 — Motorala Labs
- Yan Liu 0004 (aka: Fiona Yan Liu) — Hong Kong Polytechnic University, Department of Computing, Cognitive Computing Lab, Hong Kong (and 1 more)
- Yan Liu 0005 — University of Ottawa, Canada
- Yan Liu 0006 — Information Engineering University, Information Engineering Institute, Zhengzhou, China
- Yan Liu 0007 — Beijing Normal University, China
- Yan Liu 0008 — Wright State University, Department of Biomedical, Industrial, and Human Factors Engineering, Dayton, OH, USA
- Yan Liu 0009 (aka: Yan Y. Liu) — University of Illinois at Urbana-Champaign, IL, USA
- Yan Liu 0010 — Huazhong University, School of Computer Science and Technology, Key Laboratory of Data Storage System, China
- Yan Liu 0011 — Tongji University, Shanghai, China
- Yan Liu 0013 — University of Queensland, School of Geography Planning and Environmental Management
- Yan Liu 0014 — Harbin Institute of Technology, Department of Mathematics, China
- Yan Liu 0015 — Dalian Polytechnic University, School of Information Science and Engineering, China (and 1 more)
- Yan Liu 0016 — Imperial College London, Department of Electrical and Electronic Engineering, UK
- Yan Liu 0017 — Xerox Research Centre Euorpe (and 1 more)
- Yan Liu 0018 — Xidian University, National Lab of Radar Signal Processing
- Yan Liu 0019 — Guandong University of Finance
- Yan Liu 0020 — Beijing Institute of Technology, State Key Laboratory of Explosion Science and Technology, Beijing, China
- Yan Liu 0021 — Peking University, School of Software and Microelectronics, Beijing, China
- Yan Liu 0022 — Stony Brook University, Department of Radiology, NY, USA
- Yan Liu 0023 — University of Queensland, School of Earth Sciences, Centre for Geoscience Computing
- Yan Liu 0024 — Siemens (and 2 more)
- Yan Liu 0025 — Texas A & M University
- Yan Liu 0026 — Delft University of Technology, Faculty of Civil Engineering and Geosciences, Delft, Netherlands (and 1 more)
- Yan Liu 0027 — University of Science and Technology of China, School of Management, China
- Yan Liu 0028 — Harbin University of Science and Technology, Department of Automation, China
- Yan Liu 0029 — University of Michigan, Department of Naval Architecture and Marine Engineering, Ann Arbor, MI, USA
- Yan Liu 0030 — South China Normal University, School of Mathematical Sciences, Guangzhou, China
- Yan Liu 0031 — Tsinghua University, Department of Electronic Engineering, Beijing, China
- Yan Liu 0032 — Hunan University, College of Computer Science and Electronic Engineering, Changsha, China
- Yan Liu 0033 — Waseda University, Department of Applied Mathematics, Okubo, Japan
- Yan Liu 0034 — Northwestern Polytechnical University, School of Aeronautics, Xi'an, China
- Yan Liu 0035 — Inner Mongolia Agricultural University, College of Economics and Management, Hohhot, China
- Yan Liu 0036 — University of Warwick, Coventry, UK
- Yan Liu 0037 — Arizona State University, Tempe, AZ, USA
- Yan Liu 0038 — Yangzhou University, School of Information Engineering, Yangzhou, China
- Yan Liu 0039 — Changchun University of Science and Technology, School of Computer Science and Technology, Changchun, China (and 1 more)
- Yan Liu 0040 — Tianjin University, College of Management and Economics, Tianjin, China
- Yan Liu 0041 — Chinese Academy of Science, Suzhou Institute of Biomedical Engineering and Technology, Department of Medical Image, China (and 2 more)
- Yan Liu 0042 — Guangdong Polytechnic Normal University, School of Electronic and Information, Guangzhou, China
- Yan Liu 0043 — Sichuan University, College of Electronics and Information Engineering, Chengdu, China
- Yan Liu 0044 — North China Electric Power University, Department of Economics and Management, Baoding, China (and 1 more)
- Yan Liu 0045 — Northwestern Polytechnical University, School of Computer Science, Xi'an, China
- Yan Liu 0046 — Anhui University, School of Mathematical Sciences, Hefei, China
- Yan Liu 0047 — Chinese University of Hong Kong, Department of Information Engineering, Hong Kong
- Yan Liu 0048 — Jiangsu Academy of Agricultural Sciences, Nanjing, China
- Yan Liu 0049 — Xidian University, School of Electro-Mechanical Engineering, Key Laboratory of Electronic Equipment Structure Design, Xi'an, China (and 1 more)
- Yan Liu 0050 — Shanghai Jiaotong University, Department of Mathematics, Shanghai, China
- Yan Liu 0051 — Hebei University, College of Cyberspace Security and Computer, Baoding, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2014
[j2]Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari:
Towards Formal Modelling and Verification of Pervasive Computing Systems. Trans. Comput. Collect. Intell. 16: 62-91 (2014)- [c8]Yan Liu, Lin Gui, Yang Liu:
MDP-Based Reliability Analysis of an Ambient Assisted Living System. FM 2014: 688-702 - 2013
- [j1]Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André:
Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Trans. Softw. Eng. Methodol. 22(1): 3:1-3:29 (2013) - [c7]Yan Liu:
Formal Modelling and Verification of Pervasive Computing Systems. FSFMA 2013: 61-67 - [c6]Aung Aung Phyo Wai, Jinhong Kenneth Lin, Alwyn Vwen Yen Lee, Clifton Phua, Thibaut Tiberghien, Hamdi Aloulou, Yan Liu, Xian Zhang, Jit Biswas, Philip Lin Kiat Yap:
Challenges, Experiences and Lessons Learned from Deploying Patient Monitoring and Assistance System at Dementia Care Hostel. ICOST 2013: 292-297 - 2012
- [c5]Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu:
Improved BDD-Based Discrete Analysis of Timed Systems. FM 2012: 326-340 - [c4]Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari:
Formal Analysis of Pervasive Computing Systems. ICECCS 2012: 169-178 - [c3]Vwen Yen Lee, Yan Liu, Xian Zhang, Clifton Phua, Kelvin Sim, Jiaqi Zhu, Jit Biswas, Jin Song Dong, Mounir Mokhtari:
ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT). ICOST 2012: 182-189 - 2010
- [c2]Ling Shi, Yan Liu:
Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol. SSIRI (Companion) 2010: 143-149
2000 – 2009
- 2009
- [c1]Hongbing Wang, Chen Wang, Yan Liu:
A Logic-Based Approach to Web Services Composition and Verification. SERVICES II 2009: 103-110
Coauthor Index
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-10-27 02:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
