Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9931 Publications
2021 | Book (Editor) | LibreCat-ID: 51493
@book{Hilgert_Hilgert_2021, title={Mathematik - Ein Reiseführer 2. Auflage}, publisher={Springer Spektrum}, year={2021} }
LibreCat
2021 | Preprint | LibreCat-ID: 51503 | 
@article{Hilgert_Weich_Wolf_2021, title={Higher-rank quantum-classical correspondence}, author={Hilgert, Joachim and Weich, Tobias and Wolf, L.}, year={2021} }
LibreCat
| Download (ext.)
2021 | Book Review | LibreCat-ID: 51556
@article{Hilgert_2021, title={Philip Ording: 99 Variations on a Proof. Princeton University Press 2019}, volume={68}, DOI={10.1007/s00591-021-00295-7}, journal={Mathematische Semesterberichte}, author={Hilgert, Joachim}, year={2021}, pages={171–173} }
LibreCat
| DOI
2021 | Book Review | LibreCat-ID: 51555
@article{Hilgert_2021, title={Georg Glaeser (Hrsg.): 77-mal Mathematik für zwischendurch – Unterhaltsame Kuriositäten und unorthodoxe Anwendungen. Springer Spektrum 2020}, volume={68}, DOI={10.1007/s00591-021-00296-6}, journal={Mathematische Semesterberichte}, author={Hilgert, Joachim}, year={2021}, pages={175–177} }
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
@inproceedings{Alrabbaa_Hieke_Turhan_2021, series={CEUR Workshop Proceedings}, title={Counter Model Transformation for Explaining Non-Subsumption in EL}, volume={2961}, booktitle={Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence {(KI} 2021), September 28, 2021}, publisher={CEUR-WS.org}, author={Alrabbaa, Christian and Hieke, Willi and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Thimm, Matthias}, year={2021}, pages={9–22}, collection={CEUR Workshop Proceedings} }
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
@inproceedings{Gil_Turhan_2021, title={Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics}, DOI={10.1609/AAAI.V35I7.16787}, booktitle={Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}, publisher={AAAI Press}, author={Gil, Oliver Fernández and Turhan, Anni-Yasmin}, year={2021}, pages={6340–6348} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
@article{Dubslaff_Koopmann_Turhan_2021, title={Enhancing Probabilistic Model Checking with Ontologies}, volume={33}, DOI={10.1007/S00165-021-00549-0}, number={6}, journal={Formal Aspects Comput.}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, year={2021}, pages={885–921} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52929
@article{Baader_Koopmann_Michel_Turhan_Zarrieß_2021, title={Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner}, volume={abs/2107.12877}, journal={CoRR}, author={Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, year={2021} }
LibreCat
2021 | Dissertation | LibreCat-ID: 6563 |
@book{Feldmann_2021, title={ Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers}, DOI={10.17619/UNIPB/1-1264}, publisher={Universität Paderborn}, author={Feldmann, Nadine}, year={2021} }
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 52849
@inproceedings{Podworny_Fleischer_Hüsing_Biehler_Frischemeier_Höper_Schulte_2021, title={Using data cards for teaching data based decision trees in middle school}, DOI={10.1145/3488042.3489966}, booktitle={Proceedings of the 21st Koli Calling International Conference on Computing Education Research}, publisher={ACM}, author={Podworny, Susanne and Fleischer, Yannik and Hüsing, Sven and Biehler, Rolf and Frischemeier, Daniel and Höper, Lukas and Schulte, Carsten}, year={2021} }
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 22285
@inproceedings{Biermeier_Yigitbas_Weidmann_Engels_2021, title={Ensuring User Interface Adaptation Consistency through Triple Graph Grammers}, booktitle={Proceedings of the International Workshop on Human-Centered Software Engineering for Changing Contexts of Use }, author={Biermeier, Kai and Yigitbas, Enes and Weidmann, Nils and Engels, Gregor}, year={2021} }
LibreCat
2021 | Journal Article | LibreCat-ID: 45967
@article{Binz_Kovács_2021, title={A convergent finite element algorithm for mean curvature flow in higher codimension}, journal={arXiv}, author={Binz, Tim and Kovács, Balázs}, year={2021} }
LibreCat
2021 | Journal Article | LibreCat-ID: 45962
@article{Binz_Kovács_2021, title={A convergent finite element algorithm for generalized mean curvature flows of closed surfaces}, volume={42}, DOI={10.1093/imanum/drab043}, number={3}, journal={IMA Journal of Numerical Analysis}, publisher={Oxford University Press (OUP)}, author={Binz, Tim and Kovács, Balázs}, year={2021}, pages={2545–2588} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45957
@article{Harder_Kovács_2021, title={Error estimates for the Cahn–Hilliard equation with dynamic boundary conditions}, volume={42}, DOI={10.1093/imanum/drab045}, number={3}, journal={IMA Journal of Numerical Analysis}, publisher={Oxford University Press (OUP)}, author={Harder, Paula and Kovács, Balázs}, year={2021}, pages={2589–2620} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45961
@article{Nick_Kovács_Lubich_2021, title={Correction to: Stable and convergent fully discrete interior–exterior coupling of Maxwell’s equations}, volume={147}, DOI={10.1007/s00211-021-01196-6}, number={4}, journal={Numerische Mathematik}, publisher={Springer Science and Business Media LLC}, author={Nick, Jörg and Kovács, Balázs and Lubich, Christian}, year={2021}, pages={997–1000} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45959
@article{Kovács_Li_Lubich_2021, title={A convergent evolving finite element algorithm for Willmore flow of closed surfaces}, volume={149}, DOI={10.1007/s00211-021-01238-z}, number={3}, journal={Numerische Mathematik}, publisher={Springer Science and Business Media LLC}, author={Kovács, Balázs and Li, Buyang and Lubich, Christian}, year={2021}, pages={595–643} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 34629
@article{Hesse_Sloan_Womersley_2021, title={Local RBF-based penalized least-squares approximation on the sphere with noisy scattered data}, volume={382}, DOI={10.1016/j.cam.2020.113061}, number={113061}, journal={Journal of Computational and Applied Mathematics}, publisher={Elsevier BV}, author={Hesse, Kerstin and Sloan, Ian H. and Womersley, Robert S.}, year={2021} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 53268
@article{Soleymani_Santamaria_Schreier_2021, title={Distributed Algorithms for Spectral and Energy-Efficiency Maximization of K-User Interference Channels}, volume={9}, DOI={10.1109/access.2021.3094976}, journal={IEEE Access}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Soleymani, Mohammad and Santamaria, Ignacio and Schreier, Peter J.}, year={2021}, pages={96948–96963} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 32006
@article{Guillarmou_Küster_2021, title={Spectral Theory of the Frame Flow on Hyperbolic 3-Manifolds}, volume={22}, DOI={10.1007/s00023-021-01068-7}, number={11}, journal={Annales Henri Poincaré}, publisher={Springer Science and Business Media LLC}, author={Guillarmou, Colin and Küster, Benjamin}, year={2021}, pages={3565–3617} }
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 46194
@inproceedings{Kenter_Shambhu_Faghih-Naini_Aizinger_2021, title={Algorithm-hardware co-design of a discontinuous Galerkin shallow-water model for a dataflow architecture on FPGA}, DOI={10.1145/3468267.3470617}, booktitle={Proceedings of the Platform for Advanced Scientific Computing Conference (PASC)}, publisher={ACM}, author={Kenter, Tobias and Shambhu, Adesh and Faghih-Naini, Sara and Aizinger, Vadym}, year={2021} }
LibreCat
| Files available
| DOI
| Download (ext.)