ITU

Lecture Notes in Computer Science

  1. Conference article › Research › Peer-reviewed
  2. 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

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

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

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

  6. Published

    Actors with Multi-Headed Message Receive Patterns

    Sulzmann, M., Lam, E. S. L. & Van Weert, P., 2008, In: Lecture Notes in Computer Science. p. 315-330

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

  7. Published

    AIF-ω: Set-Based Protocol Abstraction with Countable Families

    Mödersheim, S. A. & Bruni, A., 2 Apr 2016, In: Lecture Notes in Computer Science. 9635, p. 233-253 20 p., 12.

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

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

  9. Published

    Approximate Compilation of Constraints into Multivalued Decision Diagrams

    Hadzic, T., Hooker, J. N., O’Sullivan, B. & Tiedemann, P., 2008, In: Lecture Notes in Computer Science. p. 448-462

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

  10. Published

    Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

    Song, L., Zhang, L. & Godskesen, J. C., 2014, In: Lecture Notes in Computer Science. 8318, p. 98-117

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

  11. Published

    Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)

    Schack-Nielsen, A. & Schürmann, C., 2008, In: Lecture Notes in Computer Science. p. 320-326

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

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

ID: 79745