Thomas Lindner

Thomas Lindner, Uwe T. Zimmermann: Cost optimal periodic train scheduling. Math. Meth. of OR 62(2): 281-295 (2005)

Michael R. Bussieck, Thomas Lindner, Marco E. Lübbecke: A fast algorithm for near cost optimal line plans. Math. Meth. of OR 59(2): 205-220 (2004)

Thomas Lindner, Lothar Fritsch, Kilian Plank, Kai Rannenberg: Exploitation of Public and Private WiFi Coverage for New Business Models. I3E 2004: 131-148

Jörn Eisenbiegler, Thomas Lindner: Individualisierung und Kooperation im Webangebot einer Hochschule. DFN-Arbeitstagung über Kommunikationsnetze 2003: 451-457

Eduardo Casais, Ari Jaaksi, Thomas Lindner: FAMOOS Workshop on Object-Oriented Software Evolution and Re-engineering - Introduction. ECOOP Workshops 1997: 257-263

Christoph Andriessens, Thomas Lindner: Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program. Formal Methods for Industrial Applications 1995: 35-51

Claus Lewerentz, Thomas Lindner: Introduction. Formal Development of Reactive Systems 1995: 1-6

Thomas Lindner: Task Description. Formal Development of Reactive Systems 1995: 7-19

Claus Lewerentz, Thomas Lindner: Comparative Survey. Formal Development of Reactive Systems 1995: 21-54

Claus Lewerentz, Thomas Lindner, Andreas Rüping, Emil Sekerinski: On Object-Oriented Design and Verification. KORSO Book 1995: 92-111

Stefan Heinkel, Thomas Lindner: SDL. Formal Development of Reactive Systems 1995: 171-183

Artur Bauer, Thomas Lindner: Simulation. Formal Development of Reactive Systems 1995: 383-394

Claus Lewerentz, Thomas Lindner: ``Production Cell'': A Comparative Study in Formal Specification and Verification. KORSO Book 1995: 388-416

Claus Lewerentz, Thomas Lindner (Eds.): Formal Development of Reactive Systems - Case Study Production Cell. Lecture Notes in Computer Science 891, Springer 1995, isbn 3-540-58867-1

Thomas Lindner: Case Study Production Cell. FTRTFT 1994: 780-780