Tao Zan

Orcid: 0000-0001-6263-9553

According to our database1, Tao Zan authored at least 15 papers between 2011 and 2024.

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

2024
Fusing Direct Manipulations into Functional Programs.
Proc. ACM Program. Lang., January, 2024

2022
An automatic generation of software test data based on improved Markov model.
Web Intell., 2022

2020
Pattern Recognition of Different Window Size Control Charts Based on Convolutional Neural Network and Information Fusion.
Symmetry, 2020

Control chart pattern recognition using the convolutional neural network.
J. Intell. Manuf., 2020

Blockchain-based Bidirectional Transformations for Access Control and Data Sharing in EMRs.
Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

2016
A Putback-Based Approach to Bidirectional Programming.
PhD thesis, 2016

Supporting Selective Undo for Refactoring.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

BiGUL: a formally verified core language for putback-based bidirectional programming.
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views.
Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

Integrating Goal Model into Rule-Based Adaptation.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015
Integrating behavior analysis into architectural modeling.
Frontiers Comput. Sci., 2015

2014
BiFluX: A Bidirectional Functional Update Language for XML.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Writing bidirectional model transformations as intentional updates.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
A Bidirectional Framework for Model Synchronization in Component-Based Software Development.
Proceedings of the 2013 13th International Conference on Quality Software, 2013

2011
The Static and Dynamic Analysis of High-speed Electric Spindle Based on ANSYS.
Proceedings of the Second International Conference on Digital Manufacturing and Automation, 2011


  Loading...