If you made any changes in Pure these will be visible here soon.

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 11 Similar Profiles
Model checking Engineering & Materials Science
Petri nets Engineering & Materials Science
Backpropagation Engineering & Materials Science
Explosions Engineering & Materials Science

Network Dive into details by clicking on the dots.

Research Output 2017 2018

  • 1 Article in proceeding
  • 1 Journal article

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jensen, P. G., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2018, In : Fundamenta Informaticae. 161, 4, p. 351-381

Research output: Contribution to journalJournal articleResearchpeer-review

7 Citations (Scopus)

Extended dependency graphs and efficient distributed fixed-point computation

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2017, Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Springer, Vol. 10258 LNCS. p. 139-158 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10258 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Model checking
Petri nets
Backpropagation
Explosions