Radiček, Ivan

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Dr.techn.
 
Full name Familienname, Vorname
Radiček, Ivan
 
Postfix title Titel (nachgestellt)
BSc MSc
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue 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