ITU

Lecture Notes in Computer Science

  1. 2008
  2. 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

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

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

  5. Published

    Formalizing Higher-order Mobile Embedded Business Processes with Binding Bigraphs

    Bundgaard, M., Glenstrup, A. J., Hildebrandt, T., Højsgaard, E. & Niss, H., 2008, In: Lecture Notes in Computer Science. p. 83-99 17 p.

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

  6. Published

    Succinct Data Structures for Retrieval and Approximate Membership

    Dietzfelbinger, M. & Pagh, R., 2008, In: Lecture Notes in Computer Science. p. 385-396 12 p.

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

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

  8. Published

    Propagating separable equalities in an MDD store

    Hadzic, T., Hooker, J. N. & Tiedemann, P., 2008, In: Lecture Notes in Computer Science. p. 318-322

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

  9. Published

    Flow Analysis of Code Customizations

    Hessellund, A. & Sestoft, P., 2008, In: Lecture Notes in Computer Science. p. 285-308

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

  10. Published

    Interfaces and Metainterfaces for Models and Metamodels

    Hessellund, A. & Wasowski, A., 2008, In: Lecture Notes in Computer Science. p. 401-415

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

  11. Published

    Model Construction with External Constraints: An interactive Journey from Semantics to Syntax

    Janota, M., Kuzina, V. & Wasowski, A., 2008, In: Lecture Notes in Computer Science. p. 431-445

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

ID: 79745