Tianxiang Lu

发表

Formal Verification of the Pastry Protocol Using TLA +

Tianxiang Lu, Tianxiang Lu, 2022 .

Quantum continual learning of quantum data realizing knowledge backward transfer

Lvzhou Li, H. Situ, Tianxiang Lu, 2022, 2203.14032.

Formal verification of the pastry protocol

Tianxiang Lu, Tianxiang Lu, 2013 .

Formal verification of the pastry protocol. (Vérification formelle du protocole Pastry)

Tianxiang Lu, Tianxiang Lu, 2013 .

Towards a fully automated 3D printability checker

Tianxiang Lu, Tianxiang Lu, 2016, 2016 IEEE International Conference on Industrial Technology (ICIT).

Quantum continual learning of quantum data realizing knowledge backward transfer

Lvzhou Li, Tianxiang Lu, Minghua Pan, 2022, Physica A: Statistical Mechanics and its Applications.

Continual learning of quantum state classification with gradient episodic memory

Lvzhou Li, Tianxiang Lu, Minghua Pan, 2022, ArXiv.

Towards Verification of the Pastry Protocol Using TLA +

Stephan Merz, Christoph Weidenbach, Tianxiang Lu, 2011, FMOODS/FORTE.

Formal Verification of the Pastry Protocol Using \mathrmTLA^+

Tianxiang Lu, Tianxiang Lu, 2015, SETTA.

Model Checking the Pastry Routing Protocol

Stephan Merz, Christoph Weidenbach, Tianxiang Lu, 2010 .

Electronic Communications of the EASST Volume X ( 2010 ) Proceedings of the 10 th International Workshop on Automated Verification of Critical Systems ( AVoCS 2010 ) Model Checking the Pastry Routing Protocol

Stephan Merz, Christoph Weidenbach, Tianxiang Lu, 2010 .