ITU

Lecture Notes in Computer Science

  1. 2014
  2. Published

    The Complexity of Approximating a Trembling Hand Perfect Equilibrium of a Multi-player Game in Strategic Form

    Etessami, K., Hansen, K. A., Miltersen, P. B. & Sørensen, T. B., 2014, In: Lecture Notes in Computer Science. 8768, p. 231-243 12 p.

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

  3. Published

    Sound Merging and Differencing for Class Diagrams

    Fahrenberg, U., Acher, M., Legay, A. & Wasowski, A., 2014, In: Lecture Notes in Computer Science. 8411, p. 63-78 15 p.

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

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

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

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

  7. Published

    Most Recent Match Queries in On-Line Suffix Trees

    Larsson, N. J., 2014, In: Lecture Notes in Computer Science. 8486, p. 252-261 10 p.

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

  8. Published

    Language-Independent Traceability with Lässig

    Pfeiffer, R-H., Reimann, J. & Wasowski, A., 2014, In: Lecture Notes in Computer Science. 8569, p. 148-163

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

  9. Published

    Declarative Modeling–An Academic Dream or the Future for BPM?

    Reijers, H., Slaats, T. & Stahl, C., 2014, In: Lecture Notes in Computer Science. 8094, p. 307-322 16 p.

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

  10. Published

    The Automated Discovery of Hybrid Processes

    Slaats, T., Reijers, H. & Maggi, F. M., 2014, In: Lecture Notes in Computer Science. 8659, p. 392-399

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

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

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

ID: 79745