◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

D. Richter

6 papers hereh-index 354 citations13 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author3
  • middle author3

Across the 6 of 6 papers where every author was matched, so the position is known.

fields
  • cs.PL6
same name
  • D. Richter — 6 papers, h 22
  • D. Richter — 5 papers, h 4
  • D. Richter — 5 papers, h 7
  • D. Richter — 3 papers, h 67
  • D. Richter — 3 papers, h 13
  • D. Richter — 2 papers, h 2

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20222026
most citedUsing Rewrite Strategies for Efficient Functional Automatic Differentiation

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 2022 · cs.PLShow all

1 paper · 2 filters

cs.PL2022

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version)

David Richter, David Kretzler, Pascal Weisenburger +3

Decentralized applications (dApps) consist of smart contracts that run on blockchains and clients that model collaborating parties. dApps are used to model financial and legal busi…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.