According to our database1, Thorsten Ehlers authored at least 13 papers between 2013 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs.
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018
Breaking Symmetries with Lex Implications.
Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018
SAT and CP - Parallelisation and Applications.
PhD thesis, 2017
Generalized Layerings for Arbitrary and Fixed Drawing Areas.
J. Graph Algorithms Appl., 2017
Merging almost sorted sequences yields a 24-sorter.
Inf. Process. Lett., 2017
Jdrasil: A Modular Library for Computing Tree Decompositions.
Proceedings of the 16th International Symposium on Experimental Algorithms, 2017
A Generalization of the Directed Graph Layering Problem.
Proceedings of the Graph Drawing and Network Visualization, 2016
Parallelizing Constraint Programming with Learning.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016
New Bounds on Optimal Sorting Networks.
Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015
Formal software verification for the migration of embedded code from single- to multicore systems.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014
Communication in Massively-Parallel SAT Solving.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014
k-Abelian Pattern Matching.
Proceedings of the Developments in Language Theory - 18th International Conference, 2014
Online-Scheduling on Identical Machines with Bounded Migration.
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013