◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Bernhard Beckert

5 papers hereh-index 311 citations5 works total

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

author position
  • last author5

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

fields
  • cs.CR1
  • cs.LG1
  • cs.LO1
  • cs.SE1
  • eess.SY1
same name
  • Bernhard Beckert — 8 papers, h 31
  • Bernhard Beckert — 2 papers, h 4

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
20232025
most citedRevisiting Differential Verification: Equivalence Verification with Confidence

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

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2023★ 1 cited

An Information-Flow Perspective on Algorithmic Fairness

Samuel Teuber, Bernhard Beckert

This work presents insights gained by investigating the relationship between algorithmic fairness and the concept of secure information flow. The problem of enforcing secure inform…

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