ITU

Lecture Notes in Computer Science

  1. Conference article › Research › Peer-reviewed
  2. 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

  3. Published

    Enriching an effect calculus with linear types

    Egger, J., Møgelberg, R. E. & Simpson, A., 2009, In: Lecture Notes in Computer Science. 5771, p. 240 254 p.

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

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

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

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

  7. Published

    Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled

    Bąk, K., Czarnecki, K. & Wasowski, A., 2011, In: Lecture Notes in Computer Science. 6563, p. 102-122 21 p.

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

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

  9. Published

    Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways

    Christiansen, D. R., Carbone, M. & Hildebrandt, T., 2011, In: Lecture Notes in Computer Science. 6551, p. 146-160 15 p.

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

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

  11. Published

    From Paper Based Clinical Practice Guidelines to Declarative Workflow Management

    Lyng, K. M., Hildebrandt, T. & Mukkamala, R. R., 2009, In: Lecture Notes in Computer Science. p. 336–347

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

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

ID: 79745