Wenya An

According to our database1, Wenya An authored at least 3 papers between 2014 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Evolving concurrent systems: behavioural theory and logic.
Proceedings of the Australasian Computer Science Week Multiconference, 2017

2015
Searching for Geometric Theorems Using Features Retrieved from Diagrams.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

2014
OpenGeo: An Open Geometric Knowledge Base.
Proceedings of the Mathematical Software - ICMS 2014, 2014


  Loading...