Scholar

David Richter

Google Scholar ID: 2ygI7U8AAAAJ

Associate Professor of Civil and Environmental Eng. and Earth Sciences, University of Notre Dame

Air/sea interactionmultiphase turbulence simulationscomputational fluid dynamics

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,879

H-index

29

i10-index

46

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

7 items

Unfolding Overlaps of the Exceptional Regular Polytopes

2026

Cited

0

On Eliminating the Impossible with Dependent Types: Choreographic Libraries with Proof-Carrying Located Values

2026

Cited

0

Mechanizing Choreographic Programs and Hoare Logic with State Transformers

2026

Cited

0

Extended Abstract: From Pattern Unification Towards Pattern Matching Unification

2026

Cited

0

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types

2026

Cited

0

Prompting Neural-Guided Equation Discovery Based on Residuals

IFIP Working Conference on Database Semantics · 2025

Cited

0

Neural-Guided Equation Discovery

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)