◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Clemens Eisenhofer

7 papers hereh-index 227 citations13 works total

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

author position
  • first author4
  • middle author2

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

fields
  • cs.LO6
  • cs.PL1

identity via Semantic Scholar / OpenAlex

activity
20222026
most citedConstraint Learning for Non-confluent Proof Search

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

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.LO2022

Automated Instantiation of Control Flow Tracing Exercises

Clemens Eisenhofer, Martin Riener

One of the first steps in learning how to program is reading and tracing existing code. In order to avoid the error-prone task of generating variations of a tracing exercise, our t…

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