ITU

Lecture Notes in Computer Science

  1. 2008
  2. Published

    A Realizability Model for Impredicative Hoare Type Theory

    Petersen, R. L., Birkedal, L., Nanevski, A. & Morrisett, G., 2008, In: Lecture Notes in Computer Science. p. 337-352

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

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

  4. Published

    Actors with Multi-Headed Message Receive Patterns

    Sulzmann, M., Lam, E. S. L. & Van Weert, P., 2008, In: Lecture Notes in Computer Science. p. 315-330

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

  5. Published

    Approximate Compilation of Constraints into Multivalued Decision Diagrams

    Hadzic, T., Hooker, J. N., O’Sullivan, B. & Tiedemann, P., 2008, In: Lecture Notes in Computer Science. p. 448-462

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

  6. Published

    Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)

    Schack-Nielsen, A. & Schürmann, C., 2008, In: Lecture Notes in Computer Science. p. 320-326

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

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

  8. Published

    Constructing Efficient Dictionaries in Close to Sorting Time

    Ruzic, M., 2008, In: Lecture Notes in Computer Science. p. 84-95

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

  9. Published

    Constructive Alignment for Teaching Model-Based Design for Concurrency: a case-study on implementing alignment in Computer Science

    Brabrand, C., 2008, In: Lecture Notes in Computer Science. p. 1-18

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

  10. Published

    Efficient Reasoning for Nogoods in Constraint Solvers with BDDs

    Subbarayan, S., 2008, In: Lecture Notes in Computer Science.

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

  11. Published

    Exploiting Structure and Conventions of Movie Scripts for Information Retrieval and Text Mining

    Jhala, A., 2008, In: Lecture Notes in Computer Science. p. 210-213 4 p.

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

ID: 79745