ITU

Lecture Notes in Computer Science

  1. 2014
  2. Published

    Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

    Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 2014, In: Lecture Notes in Computer Science. 8461, p. 1-16 16 p.

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

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

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

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

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

  8. 2012
  9. Published

    Customizable Time-Oriented Visualizations

    Kuhail, M. A., Pantazos, K. & Lauesen, S., Jul 2012, In: Lecture Notes in Computer Science. 7432

    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

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

  12. Published

    Linear Logical Voting Protocols

    DeYoung, H. & Schürmann, C., 2012, In: Lecture Notes in Computer Science. 7187, p. 53-70

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

  13. Published

    Nested Dynamic Condition Response Graphs

    Hildebrandt, T., Mukkamala, R. R. & Slaats, T., 2012, In: Lecture Notes in Computer Science. 7141, p. 343-350 8 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