Bj\"orn Engelmann

Identifiers

• name variant Bj\"orn Engelmann 0.60 · backfill

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

• 1509.08605 #1 · backfill · confidence 0.70 Bj\"orn Engelmann
• 1501.02699 #1 · backfill · confidence 0.70 Bj\"orn Engelmann

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