Name Card

Full name Familienname, Vorname
Radicek, Ivan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Radicek Ivan - 2020 - Automated feedback generation in introductory programming...pdf.jpgRadiček, Ivan Automated feedback generation in introductory programming education : a dynamic program analysis approachThesis Hochschulschrift 2020
2Radiček, Ivan ; Barthe, Gilles ; Gaboardi, Marco ; Garg, Deepak ; Zuleger, Florian Monadic refinements for relational cost analysisKonferenzbeitrag Inproceedings 2018
3Radicek, Ivan ; Gulwani, Sumit ; Zuleger, Florian Automated clustering and program repair for introductory programming assignmentsKonferenzbeitrag Inproceedings 2018
4Gulwani, Sumit ; Radiček, Ivan ; Zuleger, Florian Feedback generation for performance problems in introductory programming assignmentsKonferenzbeitrag Inproceedings 2014