ITU

Lecture Notes in Computer Science

  1. 2008
  2. 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

  3. Published

    Efficient Reasoning for Nogoods in Constraint Solvers with BDDs

    Subbarayan, S., 2008, In: Lecture Notes in Computer Science.

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

  4. Published

    Actors with Multi-Headed Message Receive Patterns

    Sulzmann, M., Lam, E. S. L. & Van Weert, P., 2008, In: Lecture Notes in Computer Science. p. 315-330

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

  5. 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

  6. 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

  7. 2006
  8. Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application

    Kiniry, J. R., 2006, In: Lecture Notes in Computer Science. 4119, p. 288-300 13 p.

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

  9. Published

    Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism

    Møgelberg, R. E., 2006, In: Lecture Notes in Computer Science. 4052

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

  10. Published

    An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework

    Schürmann, C. & Stehr, M-O., 2006, In: Lecture Notes in Computer Science. 4246

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

Previous 1...6 7 8 9 10 Next

ID: 79745