ITU

Lecture Notes in Computer Science

  1. Published

    Living Labs as a Methodological Approach to Universal Access in Senior Design

    Winthereik, J. C. T., Malmborg, L. & Andersen, T. B., 2009, In: Lecture Notes in Computer Science. p. 174 183 p.

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

  2. Published

    3rd International Workshop on Human Factors in Software Development Processes (HuFo): Measuring System Quality: Editorial

    Abrahao, S., Baldassarre, M. T., Caivano, D., Dittrich, Y., Lanzilotti, R. & Piccinno, A., 2017, In: Lecture Notes in Computer Science. 10611, p. 453-456 4 p.

    Research output: Journal Article or Conference Article in JournalEditorialResearch

  3. Published

    A Core Language for Separate Variability Modeling

    Iosif-Lazăr, A. F., Wasowski, A. & Schaefer, I., 2014, In: Lecture Notes in Computer Science. 8802, p. 257-272

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

  4. Published

    A logic for parametric polymorphism with effects

    Møgelberg, R. E. & Simpson, A., 2008, In: Lecture Notes in Computer Science. 4941, p. 142-156

    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

    A Novel Approach for Creating Activity-Aware Applications in a Hospital Environment

    Bardram, J. E., 2009, In: Lecture Notes in Computer Science. p. 731-744 13 p.

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

  7. Published

    A Practical Hardware-Assisted Approach to Customize Trusted Boot for Mobile Devices

    Gonzalez, J., Hölzl, M., Riedl, P., Bonnet, P. & Mayrhofer, R., 2014, In: Lecture Notes in Computer Science. 8783, p. 542-554 13 p.

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

  8. Published

    A Realizability Model for Impredicative Hoare Type Theory

    Petersen, R. L., Birkedal, L., Nanevski, A. & Morrisett, G., 2008, In: Lecture Notes in Computer Science. p. 337-352

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

  9. Published

    A Simple Model of Separation Logic for Higher-order Store

    Birkedal, L., Reus, B., Schwinghammer, J. & Yang, H., 2008, In: Lecture Notes in Computer Science. p. 348-360

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

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

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

ID: 79745