![[up]](/style/images/multi_up.png)
Up a level- Faculties (110133)
- Mathematics, Computer Science and Statistics (5436)
- Computer Science (1649)
- Selected Theses (7)
- Computer Science (1649)
- Mathematics, Computer Science and Statistics (5436)
Number of items at this level: 7.
English
Fink Amores, Michael Christian
(25. March 2021):
The Graph Isomorphism Problem and the GI-Completeness of Selected Problems from Context-Free Grammars and Rewrite Systems.
Bachelor,
Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München.
[PDF, 656kB]
Grubmüller, Fabian Lukas 
ORCID: https://orcid.org/0009-0006-7858-7288
(10. September 2024):
Unification of Boolean Differential Rings Is Unitary.
Bachelor,
Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München.
[PDF, 1MB]
ORCID: https://orcid.org/0009-0006-7858-7288
(10. September 2024):
Unification of Boolean Differential Rings Is Unitary.
Bachelor,
Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München.
[PDF, 1MB]
Kolb, Daniel ORCID: https://orcid.org/0000-0001-9645-3319
(December 2016):
Mesh based Scene Evaluation Metrics for LOD and Simplification.
Master Thesis,
Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München.
[PDF, 8MB]
ORCID: https://orcid.org/0000-0001-9645-3319
(December 2016):
Mesh based Scene Evaluation Metrics for LOD and Simplification.
Master Thesis,
Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München.
[PDF, 8MB]
Meyer, Robert
(31. December 2009):
Analyse und Erweiterung von Vorlesungsaufzeichnungen der UnterrichtsMitschau aus der Perspektive der gemäßigt konstruktivistischen Lerntheorie.
Diploma Thesis,
Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München.
[PDF, 4MB]
Mößbauer, Felix ORCID: https://orcid.org/0000-0003-2347-405X
(10. January 2019):
High Performance Dynamic Threading Analysis for Hybrid Applications.
Master Thesis,
Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München.
[PDF, 2MB]
ORCID: https://orcid.org/0000-0003-2347-405X
(10. January 2019):
High Performance Dynamic Threading Analysis for Hybrid Applications.
Master Thesis,
Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München.
[PDF, 2MB]
Sprinz, Johannah ORCID: https://orcid.org/0000-0002-6425-7054
(29. January 2022):
Leveraging Human Computation for Quality Assurance in Open Source Communities.
Bachelor,
Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München.
[PDF, 3MB]
ORCID: https://orcid.org/0000-0002-6425-7054
(29. January 2022):
Leveraging Human Computation for Quality Assurance in Open Source Communities.
Bachelor,
Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München.
[PDF, 3MB]
German
Schulz, Leon Raffael ORCID: https://orcid.org/0009-0007-7666-2034
(27. February 2026):
Formalisierung einer unteren Schranke an die
Formelgröße in der Aussagenlogik mit Isabelle.
Bachelor,
Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München.
[PDF, 524kB]
ORCID: https://orcid.org/0009-0007-7666-2034
(27. February 2026):
Formalisierung einer unteren Schranke an die
Formelgröße in der Aussagenlogik mit Isabelle.
Bachelor,
Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München.
[PDF, 524kB]