Web Support for a Simulation and Animation Course. - Peter Lorenz; Thomas J. Schriber; Daniel Beier; Stefan Hiller (SimVis, 1998)

Assessment of Simulation Models Based on Trace-File Analysis: A Metamodeling Approach. - Juri Tolujev; Peter Lorenz; Daniel Beier; Thomas J. Schriber (WSC, 1998)

Adaptive Progressive Vertex Tracing for Interactive Reflections. - Thomas Ullmann; Alexander Schmidt; Daniel Beier; Beat D. Brüderlin (Eurographics (Short Presentations), 2001)

Adaptive Progressive Vertex Tracing in Distributed Environments. - Thomas Ullmann; Daniel Beier; Beat D. Brüderlin; Alexander Schmidt (PG, 2001)

Programmable features for CAD modeling. - Daniel Beier; Beat D. Brüderlin (CAD, 2002)

Marker-less Vision Based Tracking for Mobile Augmented Reality. - Daniel Beier; R. Billert; Beat D. Brüderlin; Dirk Stichling; Bernd Kleinjohann (ISMAR, 2003)

Ein lokal-adaptives Ähnlichkeitsmaß als Kriterium der hierarchischen Regionenverschmelzung. - Daniel Beier; Christian Thies; Mark Oliver Güld; Benedikt Fischer; Michael Kohnen; Thomas Martin Lehmann (Bildverarbeitung für die Medizin, 2004)

Segmentation of medical images combining local, regional, global, and hierarchical distances into a bottom-up region merging scheme. - Thomas Martin Lehmann; Daniel Beier; Christian Thies; Thomas Seidl 001 (Image Processing, 2005)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)