Thorsten Ehlers

ORCID

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 19

Top Venues

CoRR

Developments in Language Theory

J. Comput. Syst. Sci.

IESS

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Max J. Friese, Thorsten Ehlers, Dirk Nowotka
Improving Estimations for Latencies of Cause-Effect Chains. IESS (2019)
Thorsten Ehlers, Florin Manea, Dirk Nowotka, Kamellia Reshadi
On Modelling the Avoidability of Patterns as CSP. CoRR (2019)
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
On Solving Word Equations Using SAT. CoRR (2019)
Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp
Sorting networks: To the end and back again. J. Comput. Syst. Sci. 104 (2019)
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen
On Solving Word Equations Using SAT. RP (2019)
Thorsten Ehlers, Dirk Nowotka
Tuning Parallel SAT Solvers. POS@SAT (2018)
Max J. Friese, Thorsten Ehlers, Dirk Nowotka
Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs. CoRR (2018)
Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
Breaking Symmetries with Lex Implications. FLOPS (2018)
Max J. Friese, Thorsten Ehlers, Dirk Nowotka
Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs. SIES (2018)
Thorsten Ehlers
Merging almost sorted sequences yields a 24-sorter. Inf. Process. Lett. 118 (2017)
Max Bannach, Sebastian Berndt, Thorsten Ehlers
Jdrasil: A Modular Library for Computing Tree Decompositions. SEA (2017)
Ulf Rüegg, Thorsten Ehlers, Miro Spönemann, Reinhard von Hanxleden
Generalized Layerings for Arbitrary and Fixed Drawing Areas. J. Graph Algorithms Appl. 21 (5) (2017)
Ulf Rüegg, Thorsten Ehlers, Miro Spönemann, Reinhard von Hanxleden
A Generalization of the Directed Graph Layering Problem. CoRR (2016)
Thorsten Ehlers, Peter J. Stuckey
Parallelizing Constraint Programming with Learning. CPAIOR (2016)
Ulf Rüegg, Thorsten Ehlers, Miro Spönemann, Reinhard von Hanxleden
A Generalization of the Directed Graph Layering Problem. Graph Drawing (2016)
Thorsten Ehlers, Mike Müller
New Bounds on Optimal Sorting Networks. CiE (2015)
Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka
k-Abelian pattern matching. J. Discrete Algorithms 34 (2015)
Thorsten Ehlers, Mike Müller
New Bounds on Optimal Sorting Networks. CoRR (2015)
Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp
Sorting Networks: to the End and Back Again. CoRR (2015)
Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck
Communication in Massively-Parallel SAT Solving. ICTAI (2014)
Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck, Johannes Traub
Formal software verification for the migration of embedded code from single- to multicore systems. Software Engineering (2014)
Thorsten Ehlers, Mike Müller
Faster Sorting Networks for $17$, $19$ and $20$ Inputs. CoRR (2014)
Thorsten Ehlers, Florin Manea, Robert Mercas, Dirk Nowotka
k-Abelian Pattern Matching. Developments in Language Theory (2014)
Thorsten Ehlers, Klaus Jansen
Online-Scheduling on Identical Machines with Bounded Migration. SYNASC (2013)

Thorsten Ehlers.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thorsten Ehlers