Lecture Notes in Computer Science
- 2011
- Published
Rating vs. Ranking: A comparative study on sef-reporting
Yannakakis, G. N. & Hallam, J., 2011, In: Lecture Notes in Computer Science. 4974, p. 437-446Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Really Simple Mash-Ups
Dittrich, Y., Madsen, P. & Rasmussen, R., 2011, In: Lecture Notes in Computer Science. 6654, p. 227-232 6 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Towards Adaptive Virtual Camera Control In Computer Games
Burelli, P. & Yannakakis, G. N., 2011, In: Lecture Notes in Computer Science. 6815, p. 25-36Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Towards Procedural Strategy Game Generation: Evolving Complementary Unit Types
Mahlmann, T., Togelius, J. & Yannakakis, G., 2011, In: Lecture Notes in Computer Science. 6624, p. 93-102Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
U-Note: Capture the Class and Access it Everywhere.
Malacria, S., Pietrzak, T., Tabard, A. & Lecolinet, É., 2011, In: Lecture Notes in Computer Science. 4946, 1, p. 643-660 10 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Use cases versus task descriptions
Lauesen, S. & Kuhail, M. A., 2011, In: Lecture Notes in Computer Science. D. Berry and X. Franch (Eds.): REFSQ 2011, p. 106 120 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Verifying object-oriented programs with higher-order separation logic in Coq
Bengtson, J., Jensen, J. B., Sieczkowski, F. & Birkedal, L., 2011, In: Lecture Notes in Computer Science. 6898, p. 22-38Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Vision Paper: Make a Difference! (Semantically)
Fahrenberg, U., Legay, A. & Wasowski, A., 2011, In: Lecture Notes in Computer Science. 6981, p. 490-500 10 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- 2010
- Published
Search-based Procedural Content Generation
Togelius, J., Yannakakis, G. N., Stanley, K. O. & Browne, C., Apr 2010, In: Lecture Notes in Computer Science. 6024, p. 140-149Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Linearly-used Continuations in the Enriched Effect Calculus
Egger, J., Møgelberg, R. E. & Simpson, A., 20 Mar 2010, In: Lecture Notes in Computer Science. 6014, p. 18-32Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
ID: 79745