Log in
About your Data
Getting started
Manage & Share
Publish & Cite
Find & Re-use
Scientific Visualisation
NetCDF & OPeNDAP
CODECHECK
About 4TU.ResearchData
Organisation
Collaboration
Policies & Guidelines
Team & Contact
Frequently Asked Questions
About our Community
Join our community
Community members
Community groups
FAIR Data Fund
About Training
Training
Introduction to Version Control with Git
Introduction to programming in research with Python
Efficient Research Workflows with the UNIX Shell
News & Resources
Latest news
Events
Highlights
Use cases
Fair Data Fund stories
Subscribe to our newsletter
Log in & Upload Data
About Log in / Sign up
Log in (Data Repository)
Log in (Community)
Location
Delft University of Technology
Website
https://sarajuhosova.com
LinkedIn
https://linkedin.com/in/sjuhosova
Categories
Other Information and Computing Sciences
Computer Software
Information and Computing Sciences
Sára Juhošová
0009-0003-4000-8023
Datasets
Enhancing Proof Assistant Error Messages with Hints: A User Study
Property-Based Testing in the Wild!
Co-authors
Co-authors of Sára Juhošová's datasets/collections. Bold: authors with a 4TU.ResearchData account.
Andreea Costea
Antonios Barotsis
David de Koning
Harald Toth
Jaro Reinders
Jesper Cockx
Maria Khakimova
Max Derbenwick
Ye Zhao
