ITU

Lecture Notes in Computer Science

  1. Conference article
  2. Published

    The Mini-Grid Framework: Application Programming Support for Ad-Hoc, Peer-to-Peer Volunteer Grids

    Bardram, J. E. & Venkataraman, N. N., 2010, In: Lecture Notes in Computer Science. 6104, p. 69-80

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

  3. Published

    Evolving memory cell structures for sequence learning

    Bayer, J., Wierstra, D., Togelius, J. & Schmidhuber, J., 2009, In: Lecture Notes in Computer Science. p. 755-764

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

  4. Published

    Fast Prefix Search in Little Space, with Applications

    Belazzougui, D., Boldi, P., Pagh, R. & Vigna, S., 2010, In: Lecture Notes in Computer Science. 6346/2010, p. 427-438

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

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

  6. Published

    Quantifying Information Leakage of Randomized Protocols

    Biondi, F., Wasowski, A., Legay, A. & Malacaria, P., 20 Jan 2013, In: Lecture Notes in Computer Science. 7737, p. 68-87 20 p.

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

  7. Published

    A Simple Model of Separation Logic for Higher-order Store

    Birkedal, L., Reus, B., Schwinghammer, J. & Yang, H., 2008, In: Lecture Notes in Computer Science. p. 348-360

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

  8. Published

    On the Construction of Sorted Reactive Systems

    Birkedal, L., Debois, S. & Hildebrandt, T., 2008, In: Lecture Notes in Computer Science. 5201, p. 218-232 15 p.

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

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

  10. Published

    Infrastructuring When You Don’t: End-User Development and Organizational Infrastructure

    Bolmsten, J. & Dittrich, Y., 2011, In: Lecture Notes in Computer Science. 6654, p. 139-154 16 p.

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

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

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

ID: 79745