ITU

Lecture Notes in Computer Science

  1. Conference article
  2. 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

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

  4. Published

    Generating Optimal Stowage Plans for Container Vessel Bays

    Delgado-Ortegon, A., Jensen, R. M. & Schulte, C., 2009, In: Lecture Notes in Computer Science. p. 6-20

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

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

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

  7. Published

    Play-Personas: Behaviors and Belief systems in User-Centered Game Design

    Drachen, A. & Canossa, A., 2009, In: Lecture Notes in Computer Science. p. 510-523

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

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

  9. Published

    Linearly-used Continuations in the Enriched Effect Calculus

    Egger, J., Møgelberg, R. E. & Simpson, A., 20 Mar 2010, In: Lecture Notes in Computer Science. 6014, p. 18-32

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

  10. Published

    Type Systems for Bigraphs

    Elsborg, E., Hildebrandt, T. & Sangiorgi, D., 2009, In: Lecture Notes in Computer Science. 5474, p. 126-140

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

  11. Published

    Sound Merging and Differencing for Class Diagrams

    Fahrenberg, U., Acher, M., Legay, A. & Wasowski, A., 2014, In: Lecture Notes in Computer Science. 8411, p. 63-78 15 p.

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

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

ID: 79745