ITU

Lecture Notes in Computer Science

  1. 2014
  2. Published

    Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems

    Wang, W. & Hildebrandt, T., 2014, In: Lecture Notes in Computer Science. 8379, p. 127-146 20 p.

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

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

    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

    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

  8. 2012
  9. Published

    New Results on Timed Specifications

    Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. M. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7137, p. 175 192 p.

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

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

  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

    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

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

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

ID: 79745