BibTeX records: Michael Junk

download as .bib file

@inproceedings{DBLP:conf/mkm/JunkS21,
  author       = {Michael Junk and
                  Sebastian Sahli},
  editor       = {Jasmin Blanchette and
                  James H. Davenport and
                  Peter Koepke and
                  Michael Kohlhase and
                  Andrea Kohlhase and
                  Adam Naumowicz and
                  Dennis M{\"{u}}ller and
                  Yasmine Sharoda and
                  Claudio Sacerdoti Coen},
  title        = {Story Based Content Structuring in MATh},
  booktitle    = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
                  Doctoral Program, and Work in Progress at the Conference on Intelligent
                  Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
                  Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
                  July 26 - 31, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3377},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3377/mathui3.pdf},
  timestamp    = {Thu, 14 Sep 2023 09:27:13 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/JunkS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/JunkH19,
  author       = {Michael Junk and
                  Stefan H{\"{o}}lle},
  editor       = {Edwin C. Brady and
                  James H. Davenport and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Andrea Kohlhase and
                  Michael Kohlhase and
                  Dennis M{\"{u}}ller and
                  Karol Pak and
                  Claudio Sacerdoti Coen},
  title        = {Numerical MATh},
  booktitle    = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
                  and Work in Progress at the Conference on Intelligent Computer Mathematics
                  2019 co-located with the 12th Conference on Intelligent Computer Mathematics
                  {(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2634},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2634/FMM2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:18 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/JunkH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/JunkH18,
  author       = {Michael Junk and
                  Stefan H{\"{o}}lle},
  editor       = {Osman Hasan and
                  Abdou Youssef and
                  Adam Naumowicz and
                  William M. Farmer and
                  Cezary Kaliszyk and
                  Diane Gallois{-}Wong and
                  Florian Rabe and
                  Gabriel Dos Reis and
                  Grant O. Passmore and
                  James H. Davenport and
                  Markus Pfeiffer and
                  Michael Kohlhase and
                  Serge Autexier and
                  Sofi{\`{e}}ne Tahar and
                  Thomas Koprucki and
                  Umair Siddique and
                  Walther Neuper and
                  Wolfgang Windsteiger and
                  Wolfgang Schreiner and
                  Wolfram Sperber and
                  Zolt{\'{a}}n Kov{\'{a}}cs},
  title        = {A Meta Language for Mathematical Reasoning},
  booktitle    = {Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath
                  Workshops, Doctoral Program and Work in Progress at the Conference
                  on Intelligent Computer Mathematics 2018 co-located with the 11th
                  Conference on Intelligent Computer Mathematics {(CICM} 2018), Hagenberg,
                  Austria, August 13-17, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2307},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2307/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:18 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/JunkH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/JunkHS18,
  author       = {Michael Junk and
                  Stefan H{\"{o}}lle and
                  Sebastian Sahli},
  editor       = {Florian Rabe and
                  William M. Farmer and
                  Grant O. Passmore and
                  Abdou Youssef},
  title        = {Formalized Mathematical Content in Lecture Notes on Modelling and
                  Analysis},
  booktitle    = {Intelligent Computer Mathematics - 11th International Conference,
                  {CICM} 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11006},
  pages        = {125--130},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-96812-4\_12},
  doi          = {10.1007/978-3-319-96812-4\_12},
  timestamp    = {Fri, 20 Nov 2020 16:08:55 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/JunkHS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cma/LeemputRJ09,
  author       = {Pieter Van Leemput and
                  Martin Rheinl{\"{a}}nder and
                  Michael Junk},
  title        = {Smooth initialization of lattice Boltzmann schemes},
  journal      = {Comput. Math. Appl.},
  volume       = {58},
  number       = {5},
  pages        = {867--882},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.camwa.2009.02.022},
  doi          = {10.1016/J.CAMWA.2009.02.022},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cma/LeemputRJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cma/CaiazzoJR09,
  author       = {Alfonso Caiazzo and
                  Michael Junk and
                  Martin Rheinl{\"{a}}nder},
  title        = {Comparison of analysis techniques for the lattice Boltzmann method},
  journal      = {Comput. Math. Appl.},
  volume       = {58},
  number       = {5},
  pages        = {883--897},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.camwa.2009.02.011},
  doi          = {10.1016/J.CAMWA.2009.02.011},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cma/CaiazzoJR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cma/JunkY09,
  author       = {Michael Junk and
                  Zhaoxia Yang},
  title        = {Pressure boundary condition for the lattice Boltzmann method},
  journal      = {Comput. Math. Appl.},
  volume       = {58},
  number       = {5},
  pages        = {922--929},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.camwa.2009.02.006},
  doi          = {10.1016/J.CAMWA.2009.02.006},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cma/JunkY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cma/BeckerJKTY09,
  author       = {J{\"{u}}rgen Becker and
                  Michael Junk and
                  Dirk Kehrwald and
                  Guido Th{\"{o}}mmes and
                  Zhaoxia Yang},
  title        = {A combined lattice BGK/level set method for immiscible two-phase flows},
  journal      = {Comput. Math. Appl.},
  volume       = {58},
  number       = {5},
  pages        = {950--964},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.camwa.2009.02.005},
  doi          = {10.1016/J.CAMWA.2009.02.005},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cma/BeckerJKTY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcphy/ThommesBJVKKSW09,
  author       = {Guido Th{\"{o}}mmes and
                  J{\"{u}}rgen Becker and
                  Michael Junk and
                  A. K. Vaikuntam and
                  Dirk Kehrwald and
                  Axel Klar and
                  K. Steiner and
                  Andreas Wiegmann},
  title        = {A lattice Boltzmann method for immiscible multiphase flow simulations
                  using the level set method},
  journal      = {J. Comput. Phys.},
  volume       = {228},
  number       = {4},
  pages        = {1139--1156},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jcp.2008.10.032},
  doi          = {10.1016/J.JCP.2008.10.032},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcphy/ThommesBJVKKSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/nm/JunkY09,
  author       = {Michael Junk and
                  Zhaoxia Yang},
  title        = {Convergence of lattice Boltzmann methods for Navier-Stokes flows in
                  periodic and bounded domains},
  journal      = {Numerische Mathematik},
  volume       = {112},
  number       = {1},
  pages        = {65--87},
  year         = {2009},
  url          = {https://doi.org/10.1007/s00211-008-0196-0},
  doi          = {10.1007/S00211-008-0196-0},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nm/JunkY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siamnum/JunkY09,
  author       = {Michael Junk and
                  Wen{-}An Yong},
  title        = {Weighted L\({}^{\mbox{2}}\)-Stability of the Lattice Boltzmann Method},
  journal      = {{SIAM} J. Numer. Anal.},
  volume       = {47},
  number       = {3},
  pages        = {1651--1665},
  year         = {2009},
  url          = {https://doi.org/10.1137/060675216},
  doi          = {10.1137/060675216},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamnum/JunkY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cma/CaiazzoJ08,
  author       = {Alfonso Caiazzo and
                  Michael Junk},
  title        = {Boundary forces in lattice Boltzmann: Analysis of Momentum Exchange
                  algorithm},
  journal      = {Comput. Math. Appl.},
  volume       = {55},
  number       = {7},
  pages        = {1415--1423},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.camwa.2007.08.004},
  doi          = {10.1016/J.CAMWA.2007.08.004},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cma/CaiazzoJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cma/JunkY08,
  author       = {Michael Junk and
                  Zhaoxia Yang},
  title        = {Convergence of lattice Boltzmann methods for Stokes flows in periodic
                  and bounded domains},
  journal      = {Comput. Math. Appl.},
  volume       = {55},
  number       = {7},
  pages        = {1481--1491},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.camwa.2007.08.002},
  doi          = {10.1016/J.CAMWA.2007.08.002},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cma/JunkY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mcm/RoyJS06,
  author       = {Samir Roy and
                  Michael Junk and
                  S. Sundar},
  title        = {Understanding the porosity dependence of heat flux through glass fiber
                  insulation},
  journal      = {Math. Comput. Model.},
  volume       = {43},
  number       = {5-6},
  pages        = {485--492},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.mcm.2005.08.013},
  doi          = {10.1016/J.MCM.2005.08.013},
  timestamp    = {Tue, 26 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mcm/RoyJS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amc/JunkY04,
  author       = {Michael Junk and
                  Zhaoxia Yang},
  title        = {Asymptotic analysis of finite difference methods},
  journal      = {Appl. Math. Comput.},
  volume       = {158},
  number       = {1},
  pages        = {267--301},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.amc.2003.08.097},
  doi          = {10.1016/J.AMC.2003.08.097},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amc/JunkY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siamnum/Junk00,
  author       = {Michael Junk},
  title        = {A New Perspective on Kinetic Schemes},
  journal      = {{SIAM} J. Numer. Anal.},
  volume       = {38},
  number       = {5},
  pages        = {1603--1625},
  year         = {2000},
  url          = {https://doi.org/10.1137/S0036142999362857},
  doi          = {10.1137/S0036142999362857},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamnum/Junk00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siamsc/JunkK00,
  author       = {Michael Junk and
                  Axel Klar},
  title        = {Discretizations for the Incompressible Navier-Stokes Equations Based
                  on the Lattice Boltzmann Method},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {22},
  number       = {1},
  pages        = {1--19},
  year         = {2000},
  url          = {https://doi.org/10.1137/S1064827599357188},
  doi          = {10.1137/S1064827599357188},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamsc/JunkK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/trec/HovyGHJL00,
  author       = {Eduard H. Hovy and
                  Laurie Gerber and
                  Ulf Hermjakob and
                  Michael Junk and
                  Chin{-}Yew Lin},
  editor       = {Ellen M. Voorhees and
                  Donna K. Harman},
  title        = {Question Answering in Webclopedia},
  booktitle    = {Proceedings of The Ninth Text REtrieval Conference, {TREC} 2000, Gaithersburg,
                  Maryland, USA, November 13-16, 2000},
  series       = {{NIST} Special Publication},
  volume       = {500-249},
  publisher    = {National Institute of Standards and Technology {(NIST)}},
  year         = {2000},
  url          = {http://trec.nist.gov/pubs/trec9/papers/webclopedia.pdf},
  timestamp    = {Wed, 07 Jul 2021 16:44:22 +0200},
  biburl       = {https://dblp.org/rec/conf/trec/HovyGHJL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.