Extended dependency graphs and efficient distributed fixed-point computation

Andreas E. Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias S. Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr Olesen, Samuel Pastva, Jiri Srba

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

5 Citationer (Scopus)
OriginalsprogEngelsk
TitelApplication and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings
Antal sider20
Vol/bind10258 LNCS
ForlagSpringer
Publikationsdato2017
Sider139-158
ISBN (Trykt)9783319578606
DOI
StatusUdgivet - 2017
Begivenhed38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017 - Zaragoza, Spanien
Varighed: 25 jun. 201730 jun. 2017

Konference

Konference38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017
LandSpanien
ByZaragoza
Periode25/06/201730/06/2017
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind10258 LNCS
ISSN0302-9743

Fingerprint

Model checking
Petri nets
Backpropagation
Explosions

Citer dette

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jepsen, T. S., Kaufmann, I., ... Srba, J. (2017). Extended dependency graphs and efficient distributed fixed-point computation. I Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings (Bind 10258 LNCS, s. 139-158). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind. 10258 LNCS https://doi.org/10.1007/978-3-319-57861-3_10
Dalsgaard, Andreas E. ; Enevoldsen, Søren ; Fogh, Peter ; Jensen, Lasse S. ; Jepsen, Tobias S. ; Kaufmann, Isabella ; Larsen, Kim G. ; Nielsen, Søren M. ; Olesen, Mads Chr ; Pastva, Samuel ; Srba, Jiri. / Extended dependency graphs and efficient distributed fixed-point computation. Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Bind 10258 LNCS Springer, 2017. s. 139-158 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10258 LNCS).
@inproceedings{ff96c6effc674a7eb4914023393509f5,
title = "Extended dependency graphs and efficient distributed fixed-point computation",
author = "Dalsgaard, {Andreas E.} and S{\o}ren Enevoldsen and Peter Fogh and Jensen, {Lasse S.} and Jepsen, {Tobias S.} and Isabella Kaufmann and Larsen, {Kim G.} and Nielsen, {S{\o}ren M.} and Olesen, {Mads Chr} and Samuel Pastva and Jiri Srba",
year = "2017",
doi = "10.1007/978-3-319-57861-3_10",
language = "English",
isbn = "9783319578606",
volume = "10258 LNCS",
pages = "139--158",
booktitle = "Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings",
publisher = "Springer",
address = "Germany",

}

Dalsgaard, AE, Enevoldsen, S, Fogh, P, Jensen, LS, Jepsen, TS, Kaufmann, I, Larsen, KG, Nielsen, SM, Olesen, MC, Pastva, S & Srba, J 2017, Extended dependency graphs and efficient distributed fixed-point computation. i Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. bind 10258 LNCS, Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 10258 LNCS, s. 139-158, Zaragoza, Spanien, 25/06/2017. https://doi.org/10.1007/978-3-319-57861-3_10

Extended dependency graphs and efficient distributed fixed-point computation. / Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr; Pastva, Samuel; Srba, Jiri.

Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Bind 10258 LNCS Springer, 2017. s. 139-158.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Extended dependency graphs and efficient distributed fixed-point computation

AU - Dalsgaard, Andreas E.

AU - Enevoldsen, Søren

AU - Fogh, Peter

AU - Jensen, Lasse S.

AU - Jepsen, Tobias S.

AU - Kaufmann, Isabella

AU - Larsen, Kim G.

AU - Nielsen, Søren M.

AU - Olesen, Mads Chr

AU - Pastva, Samuel

AU - Srba, Jiri

PY - 2017

Y1 - 2017

U2 - 10.1007/978-3-319-57861-3_10

DO - 10.1007/978-3-319-57861-3_10

M3 - Article in proceeding

SN - 9783319578606

VL - 10258 LNCS

SP - 139

EP - 158

BT - Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings

PB - Springer

ER -

Dalsgaard AE, Enevoldsen S, Fogh P, Jensen LS, Jepsen TS, Kaufmann I et al. Extended dependency graphs and efficient distributed fixed-point computation. I Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Bind 10258 LNCS. Springer. 2017. s. 139-158. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10258 LNCS). https://doi.org/10.1007/978-3-319-57861-3_10