Bj\"orn Engelmann

Identifiers

No identifiers captured yet.

Papers (3)

1. Formalized Information Needs Improve Large-Language-Model Relevance Judgments cs.IR · 2026 · author #3
2. A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs -- Extended Version -- cs.PL · 2015 · author #1
3. Closing the Gap -- Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic -- Extended Version -- cs.PL · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ernst-R\"udiger Olderog 2 shared papers
• Birger Larsen 1 shared papers
• Fabian Haak 1 shared papers
• J\"uri Keller 1 shared papers
• Maik Fr\"obe 1 shared papers
• Nils Erik Flick 1 shared papers
• Philipp Schaer 1 shared papers
• Timo Breuer 1 shared papers