◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

David Richter

1 paper hereh-index 118 citations2 works total

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

fields
  • cs.PL1
same name
  • David Richter — 3 papers, h 0
  • David Richter — 1 paper
  • David Richter — 1 paper, h 1
  • David Richter — 1 paper
  • David Richter — 1 paper

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

most citedOn the Monitorability of Session Types, in Theory and Practice (Extended Version)

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2021★ 1 cited

On the Monitorability of Session Types, in Theory and Practice (Extended Version)

Christian Batrolo Burlò, Adrian Francalanza, Alceste Scalas

In concurrent and distributed systems, software components are expected to communicate according to predetermined protocols and APIs - and if a component does not observe them, the…

◍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.