default search action

combined dblp search
author search
venue search
publication search

ask others

Minchao Wu

> Home > Persons

This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.

Person information

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
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tim/YinWYLLLL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tim/YinWYLLLL24
Jialai Yin, Minchao Wu, Yan Yang, Ping Li, Fan Li, Wen Liang, Zhao Lv:
Research on Multimodal Emotion Recognition Based on Fusion of Electroencephalogram and Electrooculography. IEEE Trans. Instrum. Meas. 73: 1-12 (2024)
2023
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KobayashiW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KobayashiW23
Naoki Kobayashi, Minchao Wu:
Neural Network-Guided Synthesis of Recursive List Functions. TACAS (1) 2023: 227-245
2022
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/LewisW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LewisW22
Robert Y. Lewis, Minchao Wu:
A Bi-Directional Extensible Interface Between Lean and Mathematica. J. Autom. Reason. 66(2): 215-238 (2022)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/remotesensing/LiuLWWWG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/remotesensing/LiuLWWWG22
Yage Liu, Huidong Li, Minchao Wu, Anzhi Wang, Jiabing Wu, Dexin Guan:
Estimating the Legacy Effect of Post-Cutting Shelterbelt on Crop Yield Using Google Earth and Sentinel-2 Data. Remote. Sens. 14(19): 5005 (2022)
2021
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jifs/WuMYW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jifs/WuMYW21
Minchao Wu, Junjun Mao, Ai-Ting Yao, Tao Wu:
The novel entropy measurements of Z⁺-numbers and their application on multi-attribute decision making problem. J. Intell. Fuzzy Syst. 40(1): 131-148 (2021)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tim/SunLWBZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tim/SunLWBZ21
Wenhui Sun, Zhao Lv, Minchao Wu, Ning Bi, Shengli Zhang:
A Comparative Experimental Study Between Instantaneous and Convolutional BSS Models for Saccadic EOG Signal Separation. IEEE Trans. Instrum. Meas. 70: 1-11 (2021)
[c2]
- view
  - electronic edition @ neurips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/WuNWD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/WuNWD21
Minchao Wu, Michael Norrish, Christian Walder, Amir Dezfouli:
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning. NeurIPS 2021: 9330-9342
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07758
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07758
Robert Y. Lewis, Minchao Wu:
A bi-directional extensible interface between Lean and Mathematica. CoRR abs/2101.07758 (2021)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-09756
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-09756
Minchao Wu, Michael Norrish, Christian Walder, Amir Dezfouli:
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning. CoRR abs/2102.09756 (2021)

2010 – 2019

see FAQ

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

2019
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/WuG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/WuG19
Minchao Wu, Rajeev Goré:
Verified Decision Procedures for Modal Logics. ITP 2019: 31:1-31:19

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.