Thomas Bartsch

Publication Activity (10 Years)

Years Active: 1986-2018
Publications (10 Years): 3

Top Topics

Satisfiability Modulo Theories

Specific Domains

Top Venues

SIAM J. Appl. Math.

it Inf. Technol.

Technical University of Hamburg, Germany (PHD)

Education History

Technical University of Hamburg, Germany

PHD

Publications

Qianhui Dai, Björn Gebhard, Thomas Bartsch
Periodic Solutions of N-Vortex Type Hamiltonian Systems near the Domain Boundary. SIAM J. Appl. Math. 78 (2) (2018)
Yvonne Hegenbarth, Thomas Bartsch, Gerald H. Ristow
Efficient and fast monitoring and disruption management for a pressure diecast system. it Inf. Technol. 60 (3) (2018)
Thomas Bartsch, Angela Pistoia
Critical Points of the N-vortex Hamiltonian in Bounded Planar Domains and Steady State Solutions of the Incompressible Euler Equations. SIAM J. Appl. Math. 75 (2) (2015)
Andrei Horbach, Thomas Bartsch, Dirk Briskorn
Using a SAT-solver to schedule sports leagues. J. Sched. 15 (1) (2012)
Thomas Bartsch, Andreas Drexl, Stefan Kröger
Scheduling the professional soccer leagues of Austria and Germany. Comput. Oper. Res. 33 (2006)
Thomas Bartsch, Dierk G. Feldmann, Volker Junge
Anwendungen von Mustererkennungstechniken bei der Interpretation digitalisierter Fertigungszeichnungen. DAGM-Symposium (1993)
Thomas Bartsch, Leonie S. Dreschler-Fischer, Carsten Schröder
Merkmalsdetektion in Farbbildern als Grundlage zur Korrespondenzanalyse in Stereo-Bildfolgen. DAGM-Symposium (1986)