ITU

Lecture Notes in Computer Science

  1. 2009
  2. Published

    Enriching an effect calculus with linear types

    Egger, J., Møgelberg, R. E. & Simpson, A., 2009, In: Lecture Notes in Computer Science. 5771, p. 240 254 p.

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

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

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

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

  6. Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

    Kiniry, J. R. & Fairmichael, F., 2009, In: Lecture Notes in Computer Science. 5592

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

  7. Published

    From Paper Based Clinical Practice Guidelines to Declarative Workflow Management

    Lyng, K. M., Hildebrandt, T. & Mukkamala, R. R., 2009, In: Lecture Notes in Computer Science. p. 336–347

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

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

  9. Published

    Living Labs as a Methodological Approach to Universal Access in Senior Design

    Winthereik, J. C. T., Malmborg, L. & Andersen, T. B., 2009, In: Lecture Notes in Computer Science. p. 174 183 p.

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

  10. 2008
  11. Published

    Goal-Equivalent Secure Business Process Re-engineering

    Acosta, H. A. L., Massacci, F. & Zannone, N., 2008, In: Lecture Notes in Computer Science. p. 212-223

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

  12. Published

    Complexity of Decision Problems for Mixed and Modal Specifications

    Antonik, A., Huth, M., Nyman, U. M., Larsen, K. G. & Wasowski, A., 2008, In: Lecture Notes in Computer Science. p. 112-126

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

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

ID: 79745