ITU

Lecture Notes in Computer Science

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

  2. Published

    A Node Flow Model for the Inflexible Visitation Liner Shipping Fleet Repositioning Problem with Cargo Flows

    Tierney, K. & Jensen, R. M., 2013, In: Lecture Notes in Computer Science. 8197, p. 18-34 17 p.

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

  3. Published

    Computational Logistics: 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, Proceedings

    Pacino, D., Voss, S. & Jensen, R. M., 2013, In: Lecture Notes in Computer Science. 8197, 269 p.

    Research output: Journal Article or Conference Article in JournalReviewResearchpeer-review

  4. Published

    Maximizing Entropy over Markov Processes

    Biondi, F., Wasowski, A., Legay, A. & Nielsen, B. F., 2013, In: Lecture Notes in Computer Science. 7810, p. 128-140

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

  5. Published

    Quantifying Information Leakage of Randomized Protocols

    Biondi, F., Wasowski, A., Legay, A. & Malacaria, P., 20 Jan 2013, In: Lecture Notes in Computer Science. 7737, p. 68-87 20 p.

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

  6. Published

    Tengi Interfaces for Tracing between Heterogeneous Components

    Pfeiffer, R-H. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7680, p. 431-447 16 p.

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

  7. Published

    Verification of Snapshotable Trees using Access Permissions and Typestate

    Mehnert, H. & Aldrich, J., 2012, In: Lecture Notes in Computer Science. 7304, p. 187-201 15 p.

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

  8. Published

    TexMo: A Multi-language Development Environment

    Pfeiffer, R-H. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7349, p. 178-193

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

  9. Published

    Declarative Modelling and Safe Distribution of Healthcare Workflows

    Hildebrandt, T., Mukkamala, R. R. & Slaats, T., 2012, In: Lecture Notes in Computer Science. 7151, p. 39-56 18 p.

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

  10. Published

    An Accurate Model for Seaworthy Container Vessel Stowage Planning with Ballast Tanks

    Pacino, D., Delgado-Ortegon, A., Jensen, R. & Bebbington, T., 2012, In: Lecture Notes in Computer Science. 7555, p. 17-32 16 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