◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Didier Buchs

4 papers hereh-index 181.2k citations180 works total

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

author position
  • last author4

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

fields
  • cs.PL3
  • cs.LO1
same name
  • Didier Buchs — 1 paper, h 1

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
20152021
most citedA CEGAR-like Approach for Cost LTL Bounds

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

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.PL2019

Explicit and Controllable Assignment Semantics

Dimitri Racordon, Didier Buchs

Despite the plethora of powerful software to spot bugs, identify performance bottlenecks or simply improve the overall quality of code, programming languages remain the first and m…

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