• Sign in
  • Sign up
conf.researchr.org / Daniel Stachnik
  • SPLASH 2023 profile
  • VL/HCC 2024 profile
No Photo

Not registered as user

Name:Daniel Stachnik
Country:Germany
Affiliation:Hasso Plattner Institute

Contributions

2024

VL/HCC

  • Author of Daniel Stachnik: An Explorable and Visual Formal Specification within the Graduate Consortium-track
  • Author of SpecTacles: Supporting Control Flow Comprehension of Software Developers in TLA+ within the Research Papers-track

2023

PAINT

  • Author of Visual Replacements: Cross-language Domain-specific Representations in Structured Editors within the PAINT-track
Share
xFri 9 May 02:49
using conf.researchr.org (v1.69.0)
Support page
Sign Up