Concepedia

Thomas Witkowski

TW

5

Publications

318

Citations

5

H-Index

2007

Active since

Affiliations

Technische Universität Dresden(Current)

Thomas Witkowski is an author at Technische Universität Dresden specializing in engineering, numerical analysis, and finite element method.

Top concepts

EngineeringNumerical AnalysisNatural SciencesMultiscale ModelingFinite Element MethodComputational MechanicsPhysicsVerificationFormal MethodsSpectral Theory

Publications per year

2007–2015

5

Publications

5

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

Thomas Witkowski, Siqi Ling, Simon Praetorius et al. · Advances in Computational Mathematics · 2015 · 134 citations

Numerical Analysis, Finite Element Method, Numerical Computation +11

Model checking concurrent linux device drivers

Thomas Witkowski, Nicolas Blanc, Daniel Kroening et al. · 2007 · 109 citations

Engineering, Hardware Verification Language, Predicate Abstraction Enables +19

Particles on curved surfaces: A dynamic approach by a phase-field-crystal model

Rainer Backofen, Axel Voigt, Thomas Witkowski · Physical Review E · 2010 · 36 citations · Full text

A Continuous Approach to Discrete Ordering on $\mathbb{S}^2$

Rainer Backofen, Manuel Gräf, Daniel Potts et al. · Multiscale Modeling and Simulation · 2011 · 22 citations

Numerical Analysis, Spectral Theory, Evolution Problem +15

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

Axel Voigt, Thomas Witkowski · Journal of Computational Science · 2012 · 17 citations

Numerical Analysis, Finite Element Method, Geometric Modeling +13

Rows per page

1–5 of 5