Thomas Lindner

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2005
Cost optimal periodic train scheduling.
Math. Methods Oper. Res., 2005

2004
A fast algorithm for near cost optimal line plans.
Math. Methods Oper. Res., 2004

Exploitation of Public and Private WiFi Coverage for New Business Models.
Proceedings of the Building The E-Service Society: E-Commerce, 2004

2003
Individualisierung und Kooperation im Webangebot einer Hochschule.
Proceedings of the Security, 2003

2000
Train Schedule in Public Rail Transport
PhD thesis, 2000

1995
Task Description.
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

Simulation.
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program.
Proceedings of the Formal Methods for Industrial Applications, 1995

1994
Case Study Production Cell.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994


  Loading...