Homepage
Tianxiang Lu
ê‘ÌìÏé
Max-Planck-Institut für Informatik
Research Group 1: Automation of Logic
Building E1 5, Room 634
Post address:
Campus E1 5
66123 Saarbrücken
Germany
Email:
Get my email address via email
Phone +49 681 9325 221
Fax +49 681 9325 999
- Formal verification of P2P system
- Automated Reasoning (superposition fans)
- Information Extraction (cross reference)
- Semantic Web (OWL-DL fans)
- E-learning (intelligent tutorial system)
- Lu,T. (2006); Kursgenerator f¨¹r E-Learning Syteme als Web-Service; Diplom Thesis in Hochschule f¨¹r Technik und Wirtschaft des Saarlandes; 2006.
(PDF,
bib, complete software)
- Lu, T.; Ullrich, C. & Grabowski, B. (2007); Course Generation as a Web-Service for E-Learning Systems;
In Proceeding of The 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2007); 2007; P63-69.
(PDF, bib)
- Lu, T. (2009); ParSemKB: Integrating Text Mining Results from Different Modules Using Extended OWL-DL;
Master Thesis in Saarland University, 2009.
(PDF, bib)
- Ullrich, C.; Lu, T. & Melis, E. (2009); Just-In-Time Adaptivity Through Dynamic Items
(DBLP Entry).
- Ullrich, C.; Lu, T. & Melis, E. (2009); A New Framework for Dynamic Adaptations and Actions
(DBLP Entry).
- Lu,T.; Merz, S. & Weidenbach, C. (2010); Model Checking the Pastry Routing Protocol; 10th International Workshop on Automated Verification of Critical Systems
(AVOCS'10); 2010.
(PDF, bib, TLA+ Model and MC results)
- Lu,T.; Merz, S. & Weidenbach, C. (2011); Towards Verification of the Pastry Routing Protocol using TLA+
(DBLP Entry, TLA+ model and partial proofs).
PhD Student
Hobbies
- Playing piano, watching movies, skiing, climbing.
