Tianxiang Lu

According to our database, Tianxiang Lu authored at least 8 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Continual learning of quantum state classification with gradient episodic memory.

Haozhen Situ, Tianxiang Lu, Minghua Pan, Lvzhou Li

CoRR, 2022

Sarsa-based Model Predictive Control with Improved Performance and Computational Complexity.

Tianxiang Lu, Kunwu Zhang, Yang Shi

Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022

2016

Towards a fully automated 3D printability checker.

Tianxiang Lu

Proceedings of the IEEE International Conference on Industrial Technology, 2016

2015

Formal Verification of the Pastry Protocol Using \mathrmTLA^+.

Tianxiang Lu

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

2013

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

Tianxiang Lu

PhD thesis, 2013

2011

Towards Verification of the Pastry Protocol Using TLA⁺.

Tianxiang Lu, Stephan Merz, Christoph Weidenbach

Proceedings of the Formal Techniques for Distributed Systems, 2011

2009

Just-in-Time Adaptivity through Dynamic Items.

Carsten Ullrich, Tianxiang Lu, Erica Melis

Proceedings of the User Modeling, 2009

A New Framework for Dynamic Adaptations and Actions.

Carsten Ullrich, Tianxiang Lu, Erica Melis

Proceedings of the Learning in the Synergy of Multiple Disciplines, 2009