ITU

Lecture Notes in Computer Science

  1. Published

    Abstract Probabilistic Automata

    Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, In: Lecture Notes in Computer Science. 6538, p. 324-339

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

  2. Published

    Decision Problems for Interval Markov Chains

    Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2011, In: Lecture Notes in Computer Science. 6638, p. 274-285

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

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

  4. Published

    Towards Procedural Strategy Game Generation: Evolving Complementary Unit Types

    Mahlmann, T., Togelius, J. & Yannakakis, G., 2011, In: Lecture Notes in Computer Science. 6624, p. 93-102

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

  5. Published

    Really Simple Mash-Ups

    Dittrich, Y., Madsen, P. & Rasmussen, R., 2011, In: Lecture Notes in Computer Science. 6654, p. 227-232 6 p.

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

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

  7. Published

    Use cases versus task descriptions

    Lauesen, S. & Kuhail, M. A., 2011, In: Lecture Notes in Computer Science. D. Berry and X. Franch (Eds.): REFSQ 2011, p. 106 120 p.

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

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

  9. Published

    Variability Management in Software Product Lines: An Investigation of Contemporary Industrial Challenges

    Chen, L. & Ali Babar, M., 2010, In: Lecture Notes in Computer Science. 6287/2010, p. 166-180

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

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

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

ID: 79745