Thomas Letschert

According to our database, Thomas Letschert authored at least 8 papers between 1981 and 2017.

Collaborative distances:

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

2017

Mo|E A Communication Service Between Modelica Compilers and Text Editors.

Nicola Justus, Christopher Schölzel, Andreas Dominik, Thomas Letschert

Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, 2017

2012

PERMORY-MPI: a program for high-speed parallel permutation testing in genome-wide association studies.

Volker Steiß, Thomas Letschert, Helmut Schäfer, Roman Pahl

Bioinform., 2012

1987

VDM - Vienna Development Method.

Wolfgang Henhapl, Thomas Letschert

it Inf. Technol., 1987

VDM as a Specification Method for Telecommunications Software.

Thomas Letschert

Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987

1986

Typinferenzsysteme.

Thomas Letschert

PhD thesis, 1986

1984

Type Inference in the Presence of Overloading, Polymorphism and Coercions.

Thomas Letschert

Proceedings of the Programmiersprachen und Programmentwicklung, 1984

Industrieprogramm: PSG.

M. Jäger, Rolf Bahlke, Wolfgang Henhapl, M. Hunkel, Thomas Letschert, Gregor Snelting

Proceedings of the Programmierumgebungen und Compiler, 1984

1981

Semantikdefinition im Rahmen eines Programmiersystemgenerators.

Rolf Bahlke, Manfred Daniel, Thomas Letschert

Proceedings of the GI, 1981