Thomas Lehmann

According to our database1, Thomas Lehmann
  • authored at least 32 papers between 1987 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
A data-driven soft sensor for needle deflection in heterogeneous tissue using just-in-time modelling.
Med. Biol. Engineering and Computing, 2017

2016
Ein softwarebasierter Patientensimulator zur Evaluierung medizinischer Entscheidungssysteme.
Automatisierungstechnik, 2016

Kompetenzorientierte Requirements Engineering Ausbildung im Rahmen eines SE-Moduls.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

2015
Validation of nominations in gas network optimization: models, methods, and solutions.
Optimization Methods and Software, 2015

A primal heuristic for optimizing the topology of gas networks based on dual information.
EURO J. Computational Optimization, 2015

Overview of recent control technologies for future power systems.
Automatisierungstechnik, 2015

Lecture Engineering.
Proceedings of the Tagungsband des 14. Workshops "Software Engineering im Unterricht der Hochschulen" 2015, Dresden, Deutschland, 26., 2015

A virtual sensor for needle deflection estimation during soft-tissue needle insertion.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

2014
Cognitive, metacognitive and motivational perspectives on preflection in self-regulated online learning.
Computers in Human Behavior, 2014

2013
Force-Sensor-Based Estimation of Needle Tip Deflection in Brachytherapy.
J. Sensors, 2013

2012
A comparative study of SQP-type algorithms for nonlinear and nonconvex mixed-integer optimization.
Math. Program. Comput., 2012

PITAS: Pirate and Terrorist Aversion System.
Proceedings of the Future Security - 7th Security Research Conference, 2012

2009
Modelling of Device Driver Software by Reflection of the Device Hardware Structure.
Proceedings of the Analysis, 2009

2004
A New High-Level Synthesis Approach of a Synchronous Bit-Serial Architecture.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Invariants for Distributed Local Control Elements of a New Synchronous Bit-Serial Architecture.
Proceedings of the 2nd IEEE International Workshop on Electronic Design, 2004

2003
Control Development for Mechatronic Systems with a Fully Reconfigurable Pipeline Architecture.
Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, 2003

Towards a High-Level Synthesis of Reconfigurable Bit-Serial Architectures.
Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, 2003

A New Approach of a Self-Timed Bit-Serial Synchronous Pipeline Architecture.
Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

A Fully Self-Timed Bit-Serial Pipeline Architecture for Embedded Systems.
Proceedings of the 2003 Design, 2003

2002
Towards device driver synthesis.
PhD thesis, 2002

Modeling and Software Synthesis of Interrupt Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE1394a.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

2001
Towards a Design Methodology Capturing Interface Synthesis.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2001

Case Study of Integration of Reconfigurable Logic as a Coprocessor into a SCI-Cluster under RT-Linux.
Proceedings of the Field-Programmable Logic and Applications, 2001

2000
Ein pragmatisches Vorgehenskonzept zur Integration und Kooperation von Informationssystemen.
PhD thesis, 2000

Efficient Building of Word Recongnizer in FPGAs for Term-Document Matrices Construction.
Proceedings of the Field-Programmable Logic and Applications, 2000

A Pragmatic Method for the Integration of Higher-Order Entity-Relationship Schemata.
Proceedings of the Conceptual Modeling, 2000

1993
OBSCURE: A Specification Language for Abstract Data Types.
Acta Inf., 1993

1990
Ein abstrakter Implementierungsbegriff für die Spezifikationssprache OBSCURE.
PhD thesis, 1990

A Notion of Implementation for the Specification Language OBSCURE.
Proceedings of the Recent Trends in Data Type Specification, 1990

1988
Methodische Ansätze einer aktionalen Gestaltung von informationstechnologischen Lösungen am Beispiel der Unterstützung von Leitungsentscheidungen in einem Datenverarbeitungszentrum mit grossem Nutzungsprofil.
PhD thesis, 1988

1987
The Specification Language of OBSCURE.
Proceedings of the Recent Trends in Data Type Specification, 1987


  Loading...