ITU

Lecture Notes in Computer Science

  1. Published

    Customizable Time-Oriented Visualizations

    Kuhail, M. A., Pantazos, K. & Lauesen, S., Jul 2012, In: Lecture Notes in Computer Science. 7432

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

  2. Published

    Nested Dynamic Condition Response Graphs

    Hildebrandt, T., Mukkamala, R. R. & Slaats, T., 2012, In: Lecture Notes in Computer Science. 7141, p. 343-350 8 p.

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

  3. Published

    New Results on Timed Specifications

    Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. M. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7137, p. 175 192 p.

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

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

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

  6. Published

    Verifying object-oriented programs with higher-order separation logic in Coq

    Bengtson, J., Jensen, J. B., Sieczkowski, F. & Birkedal, L., 2011, In: Lecture Notes in Computer Science. 6898, p. 22-38

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

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

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

  9. Published

    Towards Adaptive Virtual Camera Control In Computer Games

    Burelli, P. & Yannakakis, G. N., 2011, In: Lecture Notes in Computer Science. 6815, p. 25-36

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

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

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

ID: 79745