ITU

Lecture Notes in Computer Science

  1. Conference article › Research › Peer-reviewed
  2. Published

    Choreographies, Logically

    Carbone, M., Montesi, F. & Schürmann, C., 2014, In: Lecture Notes in Computer Science. 8704, p. 47-62 15 p.

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

  3. Published

    CLINICAL SURFACES -- Activity-Based Computing for Distributed Multi-Display Environments in Hospitals

    Bardram, J. E., Bunde-Pedersen, J., Doryab, A. & Sørensen, S., 2009, In: Lecture Notes in Computer Science. p. 704-717 13 p.

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

  4. Published

    Complexity of Decision Problems for Mixed and Modal Specifications

    Antonik, A., Huth, M., Nyman, U. M., Larsen, K. G. & Wasowski, A., 2008, In: Lecture Notes in Computer Science. p. 112-126

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

  5. Published

    Consistent subset sampling

    Kutzkov, K. & Pagh, R., 2014, In: Lecture Notes in Computer Science. 8503, p. 294-305

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

  6. Published

    Constructing Efficient Dictionaries in Close to Sorting Time

    Ruzic, M., 2008, In: Lecture Notes in Computer Science. p. 84-95

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

  7. Published

    Constructive Alignment for Teaching Model-Based Design for Concurrency: a case-study on implementing alignment in Computer Science

    Brabrand, C., 2008, In: Lecture Notes in Computer Science. p. 1-18

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

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

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

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

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

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

ID: 79745