Sciweavers

CSEDU
2010
109views Education» more  CSEDU 2010»
15 years 1 months ago
Teaching Programming with Formal Models in Greenfoot
Moritz Balz, Michael Goedicke
84
Voted
CSEDU
2010
103views Education» more  CSEDU 2010»
15 years 1 months ago
An Infrastructure for Mechanised Grading
Queinnec Christian
CSEDU
2010
89views Education» more  CSEDU 2010»
15 years 1 months ago
Intention-based Corrective Feedback Generation using Context-aware Model
Sungjin Lee, Cheongjae Lee, Jonghoon Lee, Hyungjon...
CSEDU
2010
101views Education» more  CSEDU 2010»
15 years 1 months ago
Computer Support for a Cross-discipline Research Consortium
William B. Frakes, Gabriella Belli, Julián ...
50
Voted
CORR
2010
Springer
60views Education» more  CORR 2010»
15 years 1 months ago
Dialectica Interpretation with Marked Counterexamples
G
Trifon Trifonov