ITU

Lecture Notes in Computer Science

  1. 2009
  2. Published

    Generating Optimal Stowage Plans for Container Vessel Bays

    Delgado-Ortegon, A., Jensen, R. M. & Schulte, C., 2009, In: Lecture Notes in Computer Science. p. 6-20

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

  3. Published

    Lexicographic Path Induction

    Schürmann, C. & Sarnat, J., 2009, In: Lecture Notes in Computer Science. p. 279 293 p.

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

  4. Published

    Location-Based Services and Privacy in Airports

    Hansen, J. P., Alapetite, A. P. B., Andersen, H. B., Malmborg, L. & Thommesen, J., 2009, In: Lecture Notes in Computer Science. p. 168-181 12 p.

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

  5. Published

    Measuring and Optimizing Behavioral Complexity for Evolutionary Reinforcement Learning

    Gomez, F., Togelius, J. & Schmidhuber, J., 2009, In: Lecture Notes in Computer Science. p. 765-774

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

  6. Published

    Mote-based Anomaly Detection using Echo State Networks

    Bonnet, P., Terzis, A. & Chang, M., 2009, In: Lecture Notes in Computer Science.

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

  7. Published

    Play-Personas: Behaviors and Belief systems in User-Centered Game Design

    Drachen, A. & Canossa, A., 2009, In: Lecture Notes in Computer Science. p. 510-523

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

  8. Published

    Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types

    Birkedal, L., Støvring, K. & Thamsborg, J. J., 2009, In: Lecture Notes in Computer Science. p. 456-470 15 p.

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

  9. Published

    Type Systems for Bigraphs

    Elsborg, E., Hildebrandt, T. & Sangiorgi, D., 2009, In: Lecture Notes in Computer Science. 5474, p. 126-140

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

  10. 2008
  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

  12. Published

    A logic for parametric polymorphism with effects

    Møgelberg, R. E. & Simpson, A., 2008, In: Lecture Notes in Computer Science. 4941, p. 142-156

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

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

ID: 79745