Wenya An

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Concurrent Systems

Geometric Reasoning

Boolean Algebra

Top Venues

Publications

Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang, Wenya An
Evolving concurrent systems: behavioural theory and logic. ACSW (2017)
Wenya An, Xiaoyu Chen, Dongming Wang
Searching for Geometric Theorems Using Features Retrieved from Diagrams. MACIS (2015)
Dongming Wang, Xiaoyu Chen, Wenya An, Lei Jiang, Dan Song
OpenGeo: An Open Geometric Knowledge Base. ICMS (2014)