default search action

combined dblp search
author search
venue search
publication search

ask others

Dong Xu 0021

> Home > Persons

Person information

affiliation: University of Virginia, Charlottesville, VA, USA

Other persons with the same name

see FAQ

Dong Xu — disambiguation page
Dong Xu 0001 — University of Hong Kong, Department of Computer Science, Hong Kong (and 4 more)
Dong Xu 0002 — University of Missouri, Department of Computer Science / C.S. Bond Life Sciences Center, Columbia, MO, USA (and 3 more)
Dong Xu 0003 — Shanghai Normal University, Shanghai, China
Dong Xu 0004 — Tsinghua University, Department of Precision Instrument, Beijing, China
Dong Xu 0005 — Beihang University, School of Automation Science and Electrical Engineering, Beijing, China (and 1 more)
Dong Xu 0006 — Cancer Hospital of the University of Chinese Academy of Sciences (Zhejiang Cancer Hospital), Hangzhou, China (and 1 more)
Dong Xu 0007 — University of Arizona, Department of Systems and Industrial Engineering, Tucson, AZ, USA
Dong Xu 0008 — Sanford-Burnham Medical Research Institute, San Diego, CA, USA (and 2 more)
Dong Xu 0009 — East China Normal University, School of Geographic Sciences, Key Laboratory of Geographic Information Science, Shanghai, China

Dong Xu 0010 — Harbin Engineering University, College of Computer Science and Technology, Harbin, China
Dong Xu 0011 — Wuhan University, State Key Laboratory of Information Engineering in Surveying Mapping and Remote Sensing, Wuhan, China
Dong Xu 0012 — University of Duisburg-Essen, Department of Communication Technology, Duisburg, Germany
Dong Xu 0013 — University of Science and Technology Beijing, National Engineering Research Center for Advanced Rolling and Intelligent Manufacturing, Beijing, China (and 1 more)
Dong Xu 0014 — Anhui University of Technology, Engineering Research Institute, Ma'anshan, China
Dong Xu 0015 — ZTE Corporation, Shanghai, China
Dong Xu 0016 — Chang Gung University, Taoyuan, Taiwan
Dong Xu 0017 — Beijing Normal University, Faculty of Geographical Science, State Key Laboratory of Remote Sensing Science, Beijing, China (and 2 more)
Dong Xu 0018 — Tongji University, School of Mechanical Engineering, Tongji, China (and 1 more)
Dong Xu 0019 — Northeastern University, College of Information Science and Engineering, Shenyang, China
Dong Xu 0020 — East China Jiaotong University, Department of Internet of Things, NanChang, China
Dong Xu 0022 — Idaho State University, College of Pharmacy, Department of Biomedical and Pharmaceutical Sciences, Meridian, ID, USA

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/pacmse/Duong0ND24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmse/Duong0ND24
Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer:
Harnessing Neuron Stability to Improve DNN Verification. Proc. ACM Softw. Eng. 1(FSE): 859-881 (2024)
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/XuMDD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/XuMDD24
Dong Xu, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer:
Training for Verification: Increasing Neuron Stability to Scale DNN Verification. TACAS (3) 2024: 24-44
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-14412
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-14412
Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer:
Harnessing Neuron Stability to Improve DNN Verification. CoRR abs/2401.14412 (2024)
2020
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/XuSDE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/XuSDE20
Dong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum:
Systematic Generation of Diverse Benchmarks for DNN Verification. CAV (1) 2020: 97-121

2010 – 2019

see FAQ

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

2019
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-08026
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-08026
David Shriver, Dong Xu, Sebastian G. Elbaum, Matthew B. Dwyer:
Refactoring Neural Networks for Verification. CoRR abs/1908.08026 (2019)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-01074
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-01074
Eleanor Quint, Dong Xu, Haluk Dogan, Zeynep Hakguder, Stephen Scott, Matthew B. Dwyer:
Formal Language Constraints for Markov Decision Processes. CoRR abs/1910.01074 (2019)

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.