Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYan Liu 0012
Person information
- unicode name: 刘燕
- affiliation: Ant Financial, Hangzhou, China
- affiliation (PhD 2014): National University of Singapore, Singapore
Other persons with the same name
- Yan Liu — disambiguation page
- Yan Liu 0001
![[0000-0002-6747-8151]](https://dblp1.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 Earth Sciences, Centre for Geoscience Computing
- 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 — Shanghai JiaoTong University, Bio-Circuits and Systems Laboratory, China (and 1 more)
- Yan Liu 0017 — Xerox Research Centre Euorpe (and 1 more)
- Yan Liu 0018 — Hangzhou Dianzi University, School of Electronics and Information, China (and 1 more)
- 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 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 — University of Electronic Science and Technology of China, Chengdu, China (and 1 more)
- 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
2020 – today
- 2021
[j3]Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Yan Liu, Jin Song Dong, Zhenkai Liang:
Scrutinizing Implementations of Smart Home Integrations. IEEE Trans. Software Eng. 47(12): 2667-2683 (2021)
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).
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-04-15 23:28 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 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:
