Ekkart Kindler

  1. 2019
  2. Published

    climify.org: an online solution for easy control and monitoring of the indoor environment. / Cali, Davide; Kindler, Ekkart; Ebrahimy, Razgar; Bacher, Peder; Hu, Kevin S.; Østrup, Michelle Lind ; Bachalarz, Magnus; Madsen, Henrik.

    Proceedings of Clima 2019. 2019.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2019Researchpeer-review

  3. Published

    Coordinating Behaviour. / Kindler, Ekkart.

    Carl Adam Petri: Ideas, Personality, Impact . Springer, 2019. p. 155-160.

    Research output: Chapter in Book/Report/Conference proceedingBook chapter – Annual report year: 2019Researchpeer-review

  4. Published

    Multidirectional Transformations and Synchronisations. / Cleve, Anthony (Editor); Kindler, Ekkart (Editor); Stevens, Perdita (Editor); Zaytsev, Vadim (Editor).

    In: Dagstuhl Reports, Vol. 8, No. 12, 2019.

    Research output: Contribution to journalJournal article – Annual report year: 2019Researchpeer-review

  5. Published

    Towards a software architecture for neurophysiological experiments. / Ioannou, Constantina; Kindler, Ekkart; Bækgaard, Per; Saqid, Shazia; Weber, Barbara.

    Proceedings of the NeuroIS Retreat 2019. 2019.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2019Researchpeer-review

  6. 2018
  7. Published

    ePNK Applications and Annotations: A Simulator for YAWL Nets. / Kindler, Ekkart.

    Application and Theory of Petri Nets and Concurrency . Vol. 10877 Springer, 2018. p. 339-350 (Application and Theory of Petri Nets and Concurrency). (Lecture Notes in Computer Science, Vol. 10877).

    Research output: Chapter in Book/Report/Conference proceedingBook chapter – Annual report year: 2018Researchpeer-review

  8. Published

    Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18). / Moldt, Daniel (Editor); Kindler, Ekkart (Editor); Rölke, Heiko (Editor).

    CEUR-WS, 2018. (CEUR Workshop Proceedings, Vol. 2138).

    Research output: Book/ReportBook – Annual report year: 2018Researchpeer-review

  9. Published

    Using the Event Coordination Notation for Validation. / Kindler, Ekkart; Egilsson, Petur Ingi ; Hillah, Lom Messan.

    Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018. ed. / Robert Lorenz; Johannes Metzger. 2018. p. 13-20.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2019Researchpeer-review

  10. 2017
  11. Published

    Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2017. / Kindler, Ekkart (Editor); Bergenthum, Robin (Editor).

    DTU Compute, 2017. 70 p. (DTU Compute-Technical Report-2017, Vol. 06).

    Research output: Book/ReportReport – Annual report year: 2017Researchpeer-review

  12. Published

    ePNK Applications and Annotations. / Kindler, Ekkart.

    Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2017. ed. / Robin Bergenthum; Ekkart Kindler. DTU Compute, 2017. p. 27-32 (DTU Compute-Technical Report-2017, Vol. 06).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2017Researchpeer-review

  13. 2016
  14. Published

    Pragmatics annotated coloured petri nets for protocol software generation and verification. / Simonsen, Kent Inge Fagerland; Kristensen, Lars M.; Kindler, Ekkart.

    Transactions on Petri Nets and Other Models of Concurrency XI. ed. / Maciej Koutny; Jörg Desel; Jetty Kleijn. Springer, 2016. p. 1-27 (Lecture Notes in Computer Science, Vol. 9930).

    Research output: Chapter in Book/Report/Conference proceedingBook chapter – Annual report year: 2016Researchpeer-review

Previous 1 2 3 4 5 6 Next