ITU
ITU

Publications

  1. 2019
  2. Published

    DCR Event-reachability via Genetic Algorithms

    Högnasson, T. & Debois, S., 29 Jan 2019, Business Process Management Workshops: BPM 2018. Springer, Cham, Vol. 342. (Lecture Notes in Business Information Processing, Vol. 342).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    A Comparison Between SISAL 1.2 and Funcalc

    Bock, A., 2019, IT-Universitetet i København. 74 p. (ITU Technical Report Series; No. TR-2019-205).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  4. Published

    Artificial Intelligence for the Financial Services Industry: What Challenges Organizations to Succeed?

    Kruse, L., Wunderlich, N. & Beck, R., 2019, In : Proceedings of the Annual Hawaii International Conference on System Sciences. p. 6408-6417 10 p.

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

  5. Published

    Asynchronous Transgressions: Suffering, Relief and Invasions in Nintendo’s Miiverse and Streetpass

    Mortensen, T., Navarro-Remesal, V., Kristine, J. (ed.) & Karlsen, F. (ed.), 2019, Transgression in Games and Play. Cambridge, MA: MIT Press, p. 47-44 18 p.

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  6. Published

    Bisimulation as path type for guarded recursive types

    Veltri, N. & Møgelberg, R. E., 2019, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, Vol. 3. 29 p. 4

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  7. Published

    Blockchain Decision Path: When to Use Blockchains? Which blockchains do you mean?

    Pedersen, A., Risius, M. & Beck, R., 2019, In : M I S Quarterly Executive. 18, 2, 3.

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

  8. Published

    Business Transformation through Blockchain: Volume II

    Treiblmaier, H. (ed.) & Beck, R. (ed.), 2019, Palgrave Macmillan. 362 p.

    Research output: Book / Anthology / Report / Ph.D. thesisAnthologyCommunication

  9. Published

    Business Transformation through Blockchain: Volume I

    Treiblmaier, H. (ed.) & Beck, R. (ed.), 2019, Palgrave Macmillan. 290 p.

    Research output: Book / Anthology / Report / Ph.D. thesisAnthologyCommunication

  10. Published

    Clafer: Lightweight Modeling of Structure, Behaviour, and Variability

    Juodisius, P., Sarkar, A., Mukkamala, R. R., Antkiewicz, M., Czarnecki, K. & Wasowski, A., 2019, In : The Art, Science, and Engineering of Programming. 3, 1, p. 2:1-2:62 62 p., 2.

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

  11. Published

    Drawing Together: Infrastructuring and Politics for Participatory Design - a visual collection of cases, issues, questions, and relevant literature.

    Botero, A., Karasti, H., Saad-Sulonen, J., Geirbro, H. C., Baker, K., Parmiggiani, E. & Marttila, S-M., 2019, 68 p. University of Oulu.

    Research output: Other contributionNet publication - Internet publicationResearch

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