( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Business Process Compliance Using Reference Models of Law.

, , , и . FASE, том 12076 из Lecture Notes in Computer Science, стр. 378-399. Springer, (2020)

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 Dosenrode

 

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

Replication, refinement & reachability: complexity in dynamic condition-response graphs., , и . Acta Inf., 55 (6): 489-520 (2018)Bigraphical Models of Context-Aware Systems., , , , и . FoSSaCS, том 3921 из Lecture Notes in Computer Science, стр. 187-201. Springer, (2006)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)Declarative process mining for DCR graphs., , , и . SAC, стр. 759-764. ACM, (2017)The DCR Graphs Process Portal., , , и . BPM (Demos), том 1789 из CEUR Workshop Proceedings, стр. 7-11. CEUR-WS.org, (2016)Dynamic Evaluation Forms using Declarative Modeling., , , и . BPM (Dissertation/Demos/Industry), том 2196 из CEUR Workshop Proceedings, стр. 172-179. CEUR-WS.org, (2018)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)Imperative program optimization by partial evaluation.. PEPM, стр. 113-122. ACM, (2004)A model checker for Bigraphs., , и . SAC, стр. 1320-1325. ACM, (2012)On the Construction of Sorted Reactive Systems., , и . CONCUR, том 5201 из Lecture Notes in Computer Science, стр. 218-232. Springer, (2008)