Min Wu

15 papers A* 3A 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2020 J jnl
Theor. Comput. Sci.
Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
2020 J jnl
Comput. Sci. Rev.
Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi
2020 conf
EMNLP (Findings)
Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska
2020 J jnl
CoRR
Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska
2020 A* conf
CVPR
Min Wu, Marta Kwiatkowska
2020
Min Wu
2019 A conf
IROS
Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska
2019 A* conf
IJCAI
Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska
2019 J jnl
CoRR
Min Wu, Marta Kwiatkowska
2018 J jnl
CoRR
Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
2018 J jnl
CoRR
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
2018 A* conf
ASE
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
2018 J jnl
CoRR
Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska
2017 conf
CAV (1)
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu
2016 J jnl
CoRR
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu