ITU

Lecture Notes in Computer Science

  1. 2014
  2. 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

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

  4. Published

    Three Cases of Feature-Based Variability Modeling in Industry

    Berger, T., Nair, D., Rublack, R., Atlee, J. M., Czarnecki, K. & Wasowski, A., 2014, In: Lecture Notes in Computer Science. 8767, p. 302-319

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

  5. Published

    Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

    Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 2014, In: Lecture Notes in Computer Science. 8461, p. 1-16 16 p.

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

  6. 2015
  7. Local Routing in Convex Subdivisions

    Bose, P., Durocher, S., Mondal, D., Peabody, M., Skala, M. & Wahid, M. A., 2015, In: Lecture Notes in Computer Science. 8939, p. 140 151 p.

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

  8. Published

    Moody Music Generator: Characterising Control Parameters Using Crowdsourcing.

    Scirea, M., Togelius, J. & Nelson, M., 2015, In: Lecture Notes in Computer Science. 9027, p. 200-211

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

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

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

Previous 1...6 7 8 9 10 Next

ID: 79745