More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Yi Yang 0034

> Home > Persons

Person information

affiliation: KU Leuven, imec-DistriNet, Belgium

Other persons with the same name

see FAQ

Yi Yang — disambiguation page
Yi Yang 0001 — Zhejiang University, College of Computer Science and Technology, Hangzhou, China (and 5 more)
Yi Yang 0002 — Fontbonne University, Department of Mathematics and Computer Science, St. Louis, MO, USA (and 2 more)
Yi Yang 0003 — Hubei Minzu University, College of Science, Enshi, China
Yi Yang 0004 — Hunan Women's University, Department of Information Technology, Changsha, China
Yi Yang 0005 — Pennsylvania State University, Department of Computer Science and Engineering, University Park, PA, USA (and 1 more)
Yi Yang 0006 — University of British Columbia, Department of Electrical and Computer Engineering, Vancouver, BC, Canada (and 2 more)
Yi Yang 0007 — Google DeepMind, London, UK (and 2 more)
Yi Yang 0008 — Xi'an Jiaotong University, School of Aerospace, SKLSVMS, China
Yi Yang 0009 — Beijing Institute of Technology, School of Automation, State Key Laboratory of Intelligent Control and Decision of Complex Systems, Beijing, China

Yi Yang 0010 — University of California, Los Angeles, USA
Yi Yang 0011 — Queen's University Belfast, UK
Yi Yang 0012 — University of Kaiserslautern, Germany
Yi Yang 0013 — Karlsruhe Institute of Technology, Germany
Yi Yang 0014 — Texas A&M University, College Station, USA
Yi Yang 0015 — Texas A&M University, College Station, USA
Yang Yang 0039 (aka: Yi Yang 0016) — University of California, Merced, USA
Yi Yang 0017 — Lanzhou University, School of Information Science and Engineering, China (and 1 more)
Yi Yang 0018 — NEC Laboratories America, Department of Computing Systems Architecture, Princeton, NJ, USA (and 1 more)
Yi Yang 0019 — Chinese Academy of Science, Institute of Automation, Beijing, China
Yi Yang 0020 — Hunan University of Commerce, Key Laboratory of Hunan Province for New Retail Virtual Reality Technology, Changsha, China (and 1 more)
Yi Yang 0021 — Wuhan University of Science and Technology, School of Information Science and Engineering, China
Yi Yang 0022 — Hohai University, College of Computer and Information, Nanjing, China
Yi Yang 0023 — Lanzhou University, College of Atmospheric Sciences, MoE Key Laboratory for Semi-Arid Climate Change, China
Yi Yang 0024 — Nanjing University of Aeronautics and Astronautics, College of Astronautics, China
Yi Yang 0025 — Army Engineering University of PLA, College of Command and Control Engineering, Nanjing, China
Yi Yang 0026 — Fourth Military Medical University, Tangdu Hospital, Department of Pain Treatment, Xi'an, China
Yi Yang 0027 — University of Electronic Science and Technology of China, School of Computer Science and Engineering, Chengdu
Yi Yang 0028 — Shanghai University of Finance and Economics, School of Statistics and Management, China
Yi Yang 0029 — Anqing Normal University, School of Mathematics and Physics, Anhui, China (and 1 more)
Yi Yang 0030 — Yanshan University, School of Electrical Engineering, Qinhuangdao, Hebei, China
Yi Yang 0031 — Baidu Search Ads, Phoenix Nest, Baidu Inc, Beijing, China
Yi Yang 0032 — Beijing Institute of Technology, School of Computer Science and Technology, Beijing, China
Yi Yang 0033 — Megvii Inc., Beijing, China (and 1 more)
Yi Yang 0035 — Henan University of Animal Husbandry and Economy, School of Information Engineering, Zhengzhou, China (and 1 more)
Yi Yang 0036 — Hefei University of Technology, School of Computer Science and Information Engineering, China (and 2 more)
Yi Yang 0037 — Tsinghua University, School of Integrated Circuit & Beijing National Research Center for Information Science and Technology (BNRist), Beijing, China (and 1 more)
Yi Yang 0038 — ASAPP Inc., New York, NY, USA (and 3 more)
Yi Yang 0039 — Tsinghua University, Department of Electronic Engineering, Tsinghua National Laboratory for Information Science and Technology, Beijing, China (and 1 more)
Yi Yang 0040 — Chinese Academy of Sciences, Institute of Software, Trusted Computing and Information Assurance Laboratory, Beijing, China
Yi Yang 0041 — Hong Kong University of Science and Technology, Department of Electronic and Computer Engineering, Hong Kong
Yi Yang 0042 — Hong Kong University of Science and Technology, Department of Information Systems and Operations Management, Hong Kong (and 1 more)
Yi Yang 0043 — Henan Polytechnic University, School of Electrical Engineering and Automation, Jiaozuo, China (and 1 more)
Yi Yang 0044 — Tsinghua University, Department of Hydraulic Engineering, Beijing, China (and 1 more)
Yi Yang 0045 — Tsinghua University, School of Medicine, Department of Biomedical Engineering, Beijing, China
Yi Yang 0046 (aka: Archer Y. Yang) — McGill University, Department of Mathematics and Statistics, Montréal, Canada (and 1 more)
Yi Yang 0047 — University of Southern California, Department of Mathematics, Los Angeles, CA, USA
Yi Yang 0048 — Tsinghua University, Department of Electrical Engineering, Beijing, China (and 1 more)
Yi Yang 0049 — Purdue University, School of Engineering Technology, West Lafayette, IN, USA (and 1 more)
Yi Yang 0050 — Purdue University, Department of Electrical and Computer Engineering, West Lafayette, IN, USA (and 1 more)
Yi Yang 0051 — University of California, Los Angeles, CA, USA
Yi Yang 0052 — Peng Cheng Laboratory, Shenzhen, China (and 1 more)
Yi Yang 0053 — Soochow University, School of Art, Suzhou, China
Yi Yang 0054 — University of Hong Kong, Department of Civil Engineering, Hong Kong
Yi Yang 0055 — Inner Mongolia University of Science and Technology, School of Information Engineering, Baotou, China
Yi Yang 0056 — Hohai University, School of Hydrology and Water Resources, Nanjing, China
Yi Yang 0057 — Chinese Academy of Sciences, Institute of Acoustics, Key Laboratory of Speech Acoustics and Content Understanding, Beijing, China (and 1 more)
Yi Yang 0058 — Qingdao University of Technology, School of Mechanical and Automotive Engineering, Qingdao, China
Yi Yang 0059 — Southern Medical University, School of Biomedical Engineering, Guangzhou, China
Yi Yang 0060 — Chinese Academy of Sciences, Institute of Software, SKLCS, Beijing, China
Yi Yang 0061 — University of Science and Technology of China, School of the Gifted Young, Anhui, China
Yi Yang 0062 — National University of Defense Technology, College of Intelligence Science and Technology, Changsha, China
Yi Yang 0063 — Chongqing University of Posts and Telecommunications, College of Automation, Chongqing, China
Yi Yang 0065 — Shanghai Jiao Tong University, School of Humanities, Shanghai, China
Yi Yang 0066 — Xi'an Shiyou University, Xi'an, China
Yi Yang 0067 — Tianjin University of Technology, School of Electrical and Electronic Engineering, Tianjin Key Laboratory for Control Theory and Applications in Complicated Systems, Tianjin, China
Yi Yang 0068 — Shanghai University, School of Mechatronic Engineering and Automation, Shanghai, China
Yi Yang 0069 — Huazhong University of Science and Technology, College of Public Administration, Wuhan, China
Yi Yang 0070 — Chinese Academy of Sciences, Aerospace Information Research Institute, Key Laboratory of Technology in Geo-Spatial Information Processing and Application System, Beijing, China (and 1 more)
Yi Yang 0071 — Chinese Academy of Surveying and Mapping, Key Laboratory of Surveying and Mapping Science and Geospatial Information Technology, Beijing, China
Yi Yang 0072 — Peking University, Center for Data Science, Beijing, China
Yi Yang 0073 — Xi'an Jiaotong University, School of Computer Science and Technology, SPKLSTN Lab, Xi'an, China
Yi Yang 0074 — Tianjin Normal University, Tianjin, China
Yi Yang 0075 — East China University of Science and Technology, Shanghai Collaborative Innovation Center for Biomanufacturing Technology, State Key Laboratory of Bioreactor Engineering, Shanghai, China
Yi Yang 0076 — Boston University, Department of Mechanical Engineering, Boston, MA, USA
Yi Yang 0077 — National Chiao-Tung University, Department of Electrophysics, Hsinchu, Taiwan
Yi Yang 0078 — Jiangsu University of Science and Technology, Zhenjiang, China
Yi Yang 0079 — Beijing Jiaotong University, School of Mechanical, Electronic and Control Engineering, Robotics Research Center, Beijing, China
Yi Yang 0080 — State Grid Liaoning Electric Power Supply Co. Ltd., Shenyang Power Supply Company, Shenyang, China
Yi Yang 0081 — Wuhan University, School of Remote Sensing and Information Engineering, Wuhan, China
Yi Yang 0082 — Southwest Jiaotong University, School of Transportation and Logistics, Chengdu, China (and 1 more)
Yi Yang 0083 — Dongguan City Maternal and Child Health Hospital, Department of Ultrasound, Dongguan, China
Yi Yang 0084 — Xiangtan University, School of Materials Science and Engineering, Key Laboratory of Low-Dimensional Materials and Application Technologies, Xiangtan, China
Yi Yang 0085 — Curtin University, Curtin Business School, Perth, Australia
Yi Yang 0086 — Guangdong Ocean University, College of Mechanical and Power Engineering, Zhanjiang, China (and 1 more)
Yi Yang 0087 — City University of Hong Kong, Department of Biostatistics, Hong Kong (and 2 more)
Yi Yang 0088 — Sichuan University, College of Life Science, Key Laboratory of Bio-Resources and Eco-Environment, Chengdu, China
Yi Yang 0089 — Zhejiang University, School of Management, Hangzhou, China
Yi Yang 0090 — Huawei Research, Hong Kong
Yi Yang 0091 — National University of Defense Technology, College of Advanced Interdisciplinary Studies, Changsha, China (and 2 more)
Yi Yang 0092 — Jiangsu University, School of Automotive and Traffic Engineering, Zhenjiang, China (and 1 more)
Yi Yang 0093 — Nanjing University, Department of Computer Science and Technology, National Key Laboratory for Novel Software Technology, Nanjing, China
Yi Yang 0094 — Emory University, Department of Computer Science, Atlanta, GA, USA
Yi Yang 0095 — KTH Royal Institute of Technology, Stockholm, Sweden

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

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

2024
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/YangH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/YangH24
Yi Yang, Tom Holvoet:
Making model checking feasible for GOAL. Ann. Math. Artif. Intell. 92(4): 837-853 (2024)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/YangH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/YangH24
Yi Yang, Tom Holvoet:
Enhancing Confidence of the vGOAL Interpreter Using SAT Solving. EMAS 2024: 156-174
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/paams/YangH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paams/YangH24
Yi Yang, Tom Holvoet:
Developing a Safe Autonomous Logistic System with vGOAL. PAAMS 2024: 350-356
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/YangH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/YangH24
Yi Yang, Tom Holvoet:
Added Value of Probabilistic Model Checking of vGOAL for Autonomous Systems. PRIMA 2024: 248-264
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-17206
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-17206
Yi Yang, Tom Holvoet:
Model Checking of vGOAL. CoRR abs/2406.17206 (2024)
2023
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/Yang23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Yang23a
Yi Yang:
Verifiably Safe Decision-Making for Autonomous Systems. AAMAS 2023: 2973-2975
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/emas/YangH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emas/YangH23
Yi Yang, Tom Holvoet:
vGOAL: A GOAL-Based Specification Language for Safe Autonomous Decision-Making. EMAS 2023: 41-58
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/paams/YangH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paams/YangH23
Yi Yang, Tom Holvoet:
Safe Autonomous Decision-Making with vGOAL. PAAMS 2023: 388-400
2022
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14042
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14042
Yi Yang, Tom Holvoet:
Generating Safe Autonomous Decision-Making in ROS. FMAS/ASYDE@SEFM 2022: 184-192

Coauthor Index

see FAQ

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.