( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes.

, , , и . BPM, том 12875 из Lecture Notes in Computer Science, стр. 161-178. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Carl-Fredrik Sørensen

Pernille Sørensen

Jørgen Skov Sørensen

Søren Jepsen

Søren Jepsen

 

Другие публикации лиц с тем же именем

Replication, refinement & reachability: complexity in dynamic condition-response graphs., , и . Acta Inf., 55 (6): 489-520 (2018)Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9., , , и . SER&IP@ICSE, стр. 54-57. IEEE, (2015)Bigraphical Models of Context-Aware Systems., , , , и . FoSSaCS, том 3921 из Lecture Notes in Computer Science, стр. 187-201. Springer, (2006)Declarative process mining for DCR graphs., , , и . SAC, стр. 759-764. ACM, (2017)Dynamic Evaluation Forms using Declarative Modeling., , , и . BPM (Dissertation/Demos/Industry), том 2196 из CEUR Workshop Proceedings, стр. 172-179. CEUR-WS.org, (2018)The DCR Graphs Process Portal., , , и . BPM (Demos), том 1789 из CEUR Workshop Proceedings, стр. 7-11. CEUR-WS.org, (2016)Decision Modelling in Timed Dynamic Condition Response Graphs with Data., , , , и . Business Process Management Workshops, том 436 из Lecture Notes in Business Information Processing, стр. 362-374. Springer, (2021)A model checker for Bigraphs., , и . SAC, стр. 1320-1325. ACM, (2012)Imperative program optimization by partial evaluation.. PEPM, стр. 113-122. ACM, (2004)On the Construction of Sorted Reactive Systems., , и . CONCUR, том 5201 из Lecture Notes in Computer Science, стр. 218-232. Springer, (2008)