Niels Mündler

Orcid: 0000-0003-3851-2557

According to our database¹, Niels Mündler authored at least 5 papers between 2019 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation.

[BibT_eX]

[DOI]

CoRR, 2023

2022

A Verified Implementation of B+-Trees in Isabelle/HOL.

[BibT_eX]

[DOI]

Niels Mündler

Tobias Nipkow

CoRR, 2022

A Verified Implementation of B<sup>+</sup>-Trees in Isabelle/HOL.

[BibT_eX]

[DOI]

Niels Mündler

Tobias Nipkow

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

A Verified Imperative Implementation of B-Trees.

[BibT_eX]

[DOI]

Niels Mündler

Arch. Formal Proofs, 2021

2019

Association rule mining and itemset-correlation based variants.

[BibT_eX]

[DOI]

Niels Mündler

CoRR, 2019

Niels Mündler

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...