Xuefeng Wen

25 papers B 1C 3Journal 15Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
J. Log. Comput.
Lin Chen, Xuefeng Wen
2025 conf
DEON
Xuefeng Wen, Yanan Liu
2025 J jnl
J. Log. Comput.
Xuefeng Wen
2025 conf
CLAR
Xuefeng Wen
2024 B conf
AiML
Xuefeng Wen
2024 J jnl
Logica Universalis
Lin Chen, Xuefeng Wen
2024 J jnl
Stud Logica
Xuefeng Wen
2024 C conf
WoLLIC
Lin Chen, Xuefeng Wen
2024 C conf
WoLLIC
Xuefeng Wen
2022 J jnl
J. Log. Comput.
Yongfeng Yuan, Shier Ju, Xuefeng Wen
2021 C conf
WoLLIC
Xuefeng Wen
2021 conf
LORI
Xuefeng Wen, Xincheng Luo
2021 conf
CLAR
Xuefeng Wen
2020 J jnl
CoRR
Xuefeng Wen
2019 J jnl
CoRR
Xuefeng Wen
2019 J jnl
CoRR
Xuefeng Wen
2018 J jnl
Synth.
Xuefeng Wen
2015 J jnl
J. Log. Comput.
Yongfeng Yuan, Shier Ju, Xuefeng Wen
2013 conf
LORI
Xuefeng Wen, Hu Liu
2013 J jnl
Rev. Symb. Log.
Hu Liu, Xuefeng Wen
2013 J jnl
Synth.
Xuefeng Wen, Shier Ju
2013 J jnl
J. Appl. Log.
Hu Liu, Yuan Ren, Xuefeng Wen
2011 conf
LORI
Xuefeng Wen, Hu Liu, Fan Huang
2008 J jnl
Stud Logica
Shier Ju, Xuefeng Wen
2007 J jnl
Stud Logica
Xuefeng Wen