ITU

Lecture Notes in Computer Science

  1. 2012
  2. Published

    Tengi Interfaces for Tracing between Heterogeneous Components

    Pfeiffer, R-H. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7680, p. 431-447 16 p.

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

  3. Published

    TexMo: A Multi-language Development Environment

    Pfeiffer, R-H. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7349, p. 178-193

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

  4. Published

    Verification of Snapshotable Trees using Access Permissions and Typestate

    Mehnert, H. & Aldrich, J., 2012, In: Lecture Notes in Computer Science. 7304, p. 187-201 15 p.

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

  5. Published

    Linear Logical Voting Protocols

    DeYoung, H. & Schürmann, C., 2012, In: Lecture Notes in Computer Science. 7187, p. 53-70

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

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

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

  8. 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 JournalConference articleResearchpeer-review

  9. 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-102

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

  10. 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 JournalConference articleResearchpeer-review

  11. Published

    Invitation to algorithmic uses of inclusion–exclusion

    Husfeldt, T., 2011, In: Lecture Notes in Computer Science. II, p. 42-59 17 p.

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

  12. 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 JournalConference articleResearchpeer-review

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

ID: 79745