◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

S. Fischmeister

8 papers hereh-index 252.1k citations194 works total

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

author position
  • middle author2
  • last author6

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

fields
  • cs.SE3
  • cs.CR1
  • cs.CV1
  • cs.DM1
  • cs.LG1
  • math.OC1

identity via Semantic Scholar / OpenAlex

activity
20152024
most citedAnnotating Control-Flow Graphs for Formalized Test Coverage Criteria

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

collaborators
Showing 2015Show all

1 paper · 1 filter

cs.DM2015★ 1 cited

DAG-width of Control Flow Graphs with Applications to Model Checking

Therese Biedl, Sebastian Fischmeister, Neeraj Kumar

The treewidth of control flow graphs arising from structured programs is known to be at most six. However, as a control flow graph is inherently directed, it makes sense to conside…

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