Yanjun Wen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2004–2016
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | QRS | Analyzing Math Library Functions via Summarization. | Jiahong Jiang, Liqian Chen, Yanjun Wen, Wei Dong, Ling Wen |
| 2005 | ICFEM | 2/3 Alternating Simulation Between Interface Automata. | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
| 2004 | ICFEM | Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
| 2004 | ICTAC | Reverse Observation Equivalence Between Labelled State Transition Systems. | Yanjun Wen, Ji Wang, Zhi-Chang Qi |