Zhang Naixiao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2004–2005
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ICTAC | On Refinement of Software Architectures. | Sun Meng, Lus Soares Barbosa, Zhang Naixiao |
| 2005 | PDCAT | Coalgebraic Component Specification and Verification in RSL. | Sun Meng, Bernhard K. Aichernig, Zhang Naixiao |
| 2004 | SEFM | On Semantics and Refinement of UML Statecharts: A Coalgebraic View. | Sun Meng, Zhang Naixiao, Lus Soares Barbosa |