ITU

Lecture Notes in Computer Science

  1. 2008
  2. Published

    Newsgames: Theory and Design

    Sicart (Vila), M. A., 2008, In: Lecture Notes in Computer Science. p. 27-33

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  3. Published

    On the Construction of Sorted Reactive Systems

    Birkedal, L., Debois, S. & Hildebrandt, T., 2008, In: Lecture Notes in Computer Science. 5201, p. 218-232 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  4. Published

    Practical Programming with Higher-Order Encodings and Dependent Types

    Poswolsky, A. & Schürmann, C., 2008, In: Lecture Notes in Computer Science. p. 93-107

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  5. Published

    Propagating separable equalities in an MDD store

    Hadzic, T., Hooker, J. N. & Tiedemann, P., 2008, In: Lecture Notes in Computer Science. p. 318-322

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  6. Published

    Succinct Data Structures for Retrieval and Approximate Membership

    Dietzfelbinger, M. & Pagh, R., 2008, In: Lecture Notes in Computer Science. p. 385-396 12 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  7. Published

    Tales for the Many: Process and Authorial Control in Multi-player Role-Playing Games

    Tychsen, A., 2008, In: Lecture Notes in Computer Science. p. 309-320

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  8. Published

    Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution

    Sestoft, P. & Vaucouleur, S., 2008, In: Lecture Notes in Computer Science. p. 216-253

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  9. Published

    Verbal Communication of Story Facilitators in Multi-player Role-Playing Games

    Tychsen, A., Brolund, T. & Hitchens, M., 2008, In: Lecture Notes in Computer Science. 5334, p. 242-249

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  10. Published

    Zero-Overhead Composable Aspects for .NET

    Johansen, R., Sestoft, P. & Spangenberg, S., 2008, In: Lecture Notes in Computer Science. p. 185-215

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  11. Published

    PresenceRemote:  Embracing Ambiguity in the Design of Social TV for Senior Citizens

    Sokoler, T. & Svensson, M. S., 5 Jul 2008, In: Lecture Notes in Computer Science. 5066, p. 158-162 5 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Previous 1 2 3 4 5 6 7 8 ...10 Next

ID: 79745