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

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...