Question Answering in Webclopedia. - Eduard H. Hovy; Laurie Gerber; Ulf Hermjakob; Michael Junk; Chin-Yew Lin (TREC, 2000)

A New Perspective on Kinetic Schemes. - Michael Junk (SIAM J. Numer. Anal., 2000)

Discretizations for the Incompressible Navier-Stokes Equations Based on the Lattice Boltzmann Method. - Michael Junk; Axel Klar (SIAM J. Sci. Comput., 2000)

Asymptotic analysis of finite difference methods. - Michael Junk; Zhaoxia Yang (Appl. Math. Comput., 2004)

Understanding the porosity dependence of heat flux through glass fiber insulation. - Samir Roy; Michael Junk; S. Sundar 001 (Math. Comput. Model., 2006)

Boundary forces in lattice Boltzmann: Analysis of Momentum Exchange algorithm. - Alfonso Caiazzo; Michael Junk (Comput. Math. Appl., 2008)

Convergence of lattice Boltzmann methods for Stokes flows in periodic and bounded domains. - Michael Junk; Zhaoxia Yang (Comput. Math. Appl., 2008)

A combined lattice BGK/level set method for immiscible two-phase flows. - Jürgen Becker 002; Michael Junk; Dirk Kehrwald; Guido Thömmes; Zhaoxia Yang (Comput. Math. Appl., 2009)

Comparison of analysis techniques for the lattice Boltzmann method. - Alfonso Caiazzo; Michael Junk; Martin Rheinländer (Comput. Math. Appl., 2009)

Pressure boundary condition for the lattice Boltzmann method. - Michael Junk; Zhaoxia Yang (Comput. Math. Appl., 2009)

Smooth initialization of lattice Boltzmann schemes. - Pieter Van Leemput; Martin Rheinländer; Michael Junk (Comput. Math. Appl., 2009)

A lattice Boltzmann method for immiscible multiphase flow simulations using the level set method. - Guido Thömmes; Jürgen Becker 002; Michael Junk; A. K. Vaikuntam; Dirk Kehrwald; Axel Klar; K. Steiner; Andreas Wiegmann (J. Comput. Phys., 2009)

Convergence of lattice Boltzmann methods for Navier-Stokes flows in periodic and bounded domains. - Michael Junk; Zhaoxia Yang (Numerische Mathematik, 2009)

Weighted L2-Stability of the Lattice Boltzmann Method. - Michael Junk; Wen-An Yong (SIAM J. Numer. Anal., 2009)

A Meta Language for Mathematical Reasoning. - Michael Junk; Stefan Hölle (CICM Workshops, 2018)

Formalized Mathematical Content in Lecture Notes on Modelling and Analysis. - Michael Junk; Stefan Hölle; Sebastian Sahli (CICM, 2018)

Numerical MATh. - Michael Junk; Stefan Hölle (CICM Workshops, 2019)

Story Based Content Structuring in MATh. - Michael Junk; Sebastian Sahli (CICM Workshops, 2021)