Thomas Witkowski

According to our database, Thomas Witkowski authored at least 7 papers between 2006 and 2015.

Collaborative distances:

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

2015

Software concepts and numerical algorithms for a scalable adaptive parallel finite element method.

Thomas Witkowski, Siqi Ling, Simon Praetorius, Axel Voigt

Adv. Comput. Math., 2015

2014

Software concepts and algorithms for an efficient and scalable parallel finite element method.

Thomas Witkowski

PhD thesis, 2014

2012

A multi-mesh finite element method for Lagrange elements of arbitrary degree.

Axel Voigt, Thomas Witkowski

J. Comput. Sci., 2012

2011

A Continuous Approach to Discrete Ordering on S².

Rainer Backofen, Manuel Gräf, Daniel Potts, Simon Praetorius, Axel Voigt, Thomas Witkowski

Multiscale Model. Simul., 2011

2010

Hybrid parallelization of an adaptive finite element code.

Axel Voigt, Thomas Witkowski

Kybernetika, 2010

2007

Model checking concurrent linux device drivers.

Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

The Features-and-Fluents Semantics for the Fluent Calculus.

Michael Thielscher, Thomas Witkowski

Proceedings of the Proceedings, 2006