Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daniel Stachnik
conf.researchr.org general profile
SPLASH 2023 profile
VL/HCC 2024 profile
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
x
Mon 26 May 06:43
