Ekkart Kindler

Ekkart Kindler

Lektor

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Richard Petersens Plads

Bygning 322, rum 222

2800 Kgs. Lyngby

Hjemmeside

Få tilsendt vCard på e-mail.

Profil
Publikationer
Projekter
Kurser
CV
Loading

Publikationer rss feed

2019
  PDF

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
part of: Proceedings of Clima 2019, 2019
Presented at:
Clima 2019: 13th REHVA World Congress

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2019

 

Coordinating Behaviour

Kindler, Ekkart
part of: Carl Adam Petri: Ideas, Personality, Impact , pages: 155-160, 2019, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.1007/978-3-319-96154-5_20

  PDF

Multidirectional Transformations and Synchronisations.

Cleve, Anthony (Editor) ; Kindler, Ekkart ; Stevens, Perdita (Editor) ; Zaytsev, Vadim (Editor)
in: Dagstuhl Reports, vol: 8, issue: 12

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.4230/DagRep.8.12.1

  PDF

Towards a software architecture for neurophysiological experiments

Ioannou, Constantina ; Kindler, Ekkart ; Bækgaard, Per ; Saqid, Shazia ; Weber, Barbara
part of: Proceedings of the NeuroIS Retreat 2019, 2019
Presented at:
NeuroIS Retreat 2019

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2019

2018
 

ePNK Applications and Annotations: A Simulator for YAWL Nets

Kindler, Ekkart
part of: Application and Theory of Petri Nets and Concurrency , pages: 339-350, 2018, Springer
Presented at:
The 39th International Conference on Applications and Theory of Petri Nets and Concurrency

Type: Book chapter (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1007/978-3-319-91268-4_17

 

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18)

Moldt, Daniel (Editor) ; Kindler, Ekkart ; Rölke, Heiko (Editor)

Type: Book (Peer reviewed)

Status: Published     |    År: 2018

  PDF

Using the Event Coordination Notation for Validation

Kindler, Ekkart ; Egilsson, Petur Ingi ; Hillah, Lom Messan
part of: Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018, pages: 13-20, 2019
Presented at:
2018 Algorithms and Tools for Petri Nets

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018

2017
  PDF

Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2017

Kindler, Ekkart ; Bergenthum, Robin (Editor)

Type: Report (Peer reviewed)

Status: Published     |    År: 2017

 

ePNK Applications and Annotations

Kindler, Ekkart
part of: Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2017, pages: 27-32, 2017, DTU Compute
Presented at:
Algorithms and Tools for Petri nets 2017

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2017

2016
 

Pragmatics annotated coloured petri nets for protocol software generation and verification

Simonsen, Kent Inge Fagerland ; Kristensen, Lars M. ; Kindler, Ekkart
part of: Transactions on Petri Nets and Other Models of Concurrency XI, pages: 1-27, 2016, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    År: 2016     |    DOI: https://doi.org/10.1007/978-3-662-53401-4_1