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.
9939 Publications
2021 | Book Chapter | LibreCat-ID: 48892
Computing Diverse Sets of High Quality TSP Tours by EAX-based Evolutionary Diversity Optimisation
A. Nikfarjam, J. Bossek, A. Neumann, F. Neumann, in: Proceedings of the 16th ACM}/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2021, pp. 1–11.
LibreCat
A. Nikfarjam, J. Bossek, A. Neumann, F. Neumann, in: Proceedings of the 16th ACM}/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2021, pp. 1–11.
2021 | Journal Article | LibreCat-ID: 48854
Time Complexity Analysis of Randomized Search Heuristics for the Dynamic Graph Coloring Problem
J. Bossek, F. Neumann, P. Peng, D. Sudholt, Algorithmica 83 (2021) 3148–3179.
LibreCat
| DOI
J. Bossek, F. Neumann, P. Peng, D. Sudholt, Algorithmica 83 (2021) 3148–3179.
2021 | Journal Article | LibreCat-ID: 25212
An Empirical Evaluation of Cost-based Federated SPARQL Query Processing Engines
U. Qudus, M. Saleem, A.-C. Ngonga Ngomo, Y.-K. Lee, Semantic Web 12 (n.d.) 843–868.
LibreCat
| Files available
| DOI
U. Qudus, M. Saleem, A.-C. Ngonga Ngomo, Y.-K. Lee, Semantic Web 12 (n.d.) 843–868.
2021 | Conference Paper | LibreCat-ID: 22218
Projekt Art-D Grids: Nachhaltige und stabile Microgrids in Afrika - eine Plattform für Forschung und Lehre für die Entwicklung
S. Krauter, J. Böcker, C. Freitag, B. Hehenkamp, U. Hilleringmann, K. Temmen, T. Klaus, N. Rohrer, S. Lehmann, in: Tagungsband des 36. PV-Symposiums, 18.-26 Mai 2021, Conexio, Pforzheim, 2021, pp. 305–309.
LibreCat
| Files available
S. Krauter, J. Böcker, C. Freitag, B. Hehenkamp, U. Hilleringmann, K. Temmen, T. Klaus, N. Rohrer, S. Lehmann, in: Tagungsband des 36. PV-Symposiums, 18.-26 Mai 2021, Conexio, Pforzheim, 2021, pp. 305–309.
2021 | Conference Paper | LibreCat-ID: 29937
High-Performance Spectral Element Methods on Field-Programmable Gate Arrays : Implementation, Evaluation, and Future Projection
M. Karp, A. Podobas, N. Jansson, T. Kenter, C. Plessl, P. Schlatter, S. Markidis, in: 2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS), IEEE, 2021.
LibreCat
| DOI
M. Karp, A. Podobas, N. Jansson, T. Kenter, C. Plessl, P. Schlatter, S. Markidis, in: 2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS), IEEE, 2021.
2021 | Journal Article | LibreCat-ID: 31263
High frequency limits for invariant Ruelle densities
C. Guillarmou, J. Hilgert, T. Weich, Annales Henri Lebesgue 4 (2021) 81–119.
LibreCat
| DOI
| arXiv
C. Guillarmou, J. Hilgert, T. Weich, Annales Henri Lebesgue 4 (2021) 81–119.
2021 | Journal Article | LibreCat-ID: 36271
Algebraically Independent Generators for the Algebra of Invariant Differential Operators on SLn(R)/SOn(R)
D. Brennecken, J. Hilgert, L. Ciardo, Journal of Lie Theory 31 (2021) 459--468.
LibreCat
| DOI
D. Brennecken, J. Hilgert, L. Ciardo, Journal of Lie Theory 31 (2021) 459--468.
2021 | Book (Editor) | LibreCat-ID: 51493
Mathematik - Ein Reiseführer 2. Auflage
J. Hilgert, I. Hilgert, eds., Mathematik - Ein Reiseführer 2. Auflage, Springer Spektrum, 2021.
LibreCat
J. Hilgert, I. Hilgert, eds., Mathematik - Ein Reiseführer 2. Auflage, Springer Spektrum, 2021.
2021 | Preprint | LibreCat-ID: 51503 | 
Higher-rank quantum-classical correspondence
J. Hilgert, T. Weich, L. Wolf, (2021).
LibreCat
| Download (ext.)
J. Hilgert, T. Weich, L. Wolf, (2021).
2021 | Book Review | LibreCat-ID: 51556
Philip Ording: 99 Variations on a Proof. Princeton University Press 2019
J. Hilgert, Mathematische Semesterberichte 68 (2021) 171–173.
LibreCat
| DOI
J. Hilgert, Mathematische Semesterberichte 68 (2021) 171–173.
2021 | Book Review | LibreCat-ID: 51555
Georg Glaeser (Hrsg.): 77-mal Mathematik für zwischendurch – Unterhaltsame Kuriositäten und unorthodoxe Anwendungen. Springer Spektrum 2020
J. Hilgert, Mathematische Semesterberichte 68 (2021) 175–177.
LibreCat
| DOI
J. Hilgert, Mathematische Semesterberichte 68 (2021) 175–177.
2021 | Conference Paper | LibreCat-ID: 52928
Counter Model Transformation for Explaining Non-Subsumption in EL
C. Alrabbaa, W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, M. Thimm (Eds.), 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, CEUR-WS.org, 2021, pp. 9–22.
LibreCat
C. Alrabbaa, W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, M. Thimm (Eds.), 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, CEUR-WS.org, 2021, pp. 9–22.
2021 | Conference Paper | LibreCat-ID: 52927
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
O.F. Gil, A.-Y. Turhan, in: 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, AAAI Press, 2021, pp. 6340–6348.
LibreCat
| DOI
O.F. Gil, A.-Y. Turhan, in: 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, AAAI Press, 2021, pp. 6340–6348.
2021 | Journal Article | LibreCat-ID: 52926
Enhancing Probabilistic Model Checking with Ontologies
C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.
LibreCat
| DOI
C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.
2021 | Journal Article | LibreCat-ID: 52929
Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, CoRR abs/2107.12877 (2021).
LibreCat
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, CoRR abs/2107.12877 (2021).
2021 | Dissertation | LibreCat-ID: 6563 |
Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers
N. Feldmann, Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers, Universität Paderborn, 2021.
LibreCat
| DOI
| Download (ext.)
N. Feldmann, Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers, Universität Paderborn, 2021.
2021 | Conference Paper | LibreCat-ID: 52849
Using data cards for teaching data based decision trees in middle school
S. Podworny, Y. Fleischer, S. Hüsing, R. Biehler, D. Frischemeier, L. Höper, C. Schulte, in: Proceedings of the 21st Koli Calling International Conference on Computing Education Research, ACM, 2021.
LibreCat
| DOI
S. Podworny, Y. Fleischer, S. Hüsing, R. Biehler, D. Frischemeier, L. Höper, C. Schulte, in: Proceedings of the 21st Koli Calling International Conference on Computing Education Research, ACM, 2021.
2021 | Conference Paper | LibreCat-ID: 22285
Ensuring User Interface Adaptation Consistency through Triple Graph Grammers
K. Biermeier, E. Yigitbas, N. Weidmann, G. Engels, in: Proceedings of the International Workshop on Human-Centered Software Engineering for Changing Contexts of Use , 2021.
LibreCat
K. Biermeier, E. Yigitbas, N. Weidmann, G. Engels, in: Proceedings of the International Workshop on Human-Centered Software Engineering for Changing Contexts of Use , 2021.
2021 | Journal Article | LibreCat-ID: 45967
A convergent finite element algorithm for mean curvature flow in higher codimension
T. Binz, B. Kovács, ArXiv (2021).
LibreCat
T. Binz, B. Kovács, ArXiv (2021).
2021 | Journal Article | LibreCat-ID: 45962
A convergent finite element algorithm for generalized mean curvature flows of closed surfaces
T. Binz, B. Kovács, IMA Journal of Numerical Analysis 42 (2021) 2545–2588.
LibreCat
| DOI
T. Binz, B. Kovács, IMA Journal of Numerical Analysis 42 (2021) 2545–2588.