From post

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.

 

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

A Symbolic Semantics for a Calculus for Service-Oriented Computing., , и . PLACES@DisCoTec, том 241 из Electronic Notes in Theoretical Computer Science, стр. 135-164. Elsevier, (2008)Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review., , , , , и . Business Process Management Workshops, том 397 из Lecture Notes in Business Information Processing, стр. 108-121. Springer, (2020)A Purpose-Guided Log Generation Framework., , , и . BPM, том 13420 из Lecture Notes in Computer Science, стр. 181-198. Springer, (2022)Ethereum smart contracts: Analysis and statistics of their source code and opcodes., , , , , и . Internet Things, (2020)Disciplined use of BPMN for mission modeling of Multi-Robot Systems., , , , , и . PoEM (Forum), том 3045 из CEUR Workshop Proceedings, стр. 1-10. CEUR-WS.org, (2021)Formalising Adaptation Patterns for Autonomic Ensembles., , , , , и . FACS, том 8348 из Lecture Notes in Computer Science, стр. 100-118. Springer, (2013)BProVe: tool support for business process verification., , , , , и . ASE, стр. 937-942. IEEE Computer Society, (2017)A Calculus for Orchestration of Web Services., , и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 33-47. Springer, (2007)A Formal Account of WS-BPEL., , и . COORDINATION, том 5052 из Lecture Notes in Computer Science, стр. 199-215. Springer, (2008)A WSDL-Based Type System for WS-BPEL., , и . COORDINATION, том 4038 из Lecture Notes in Computer Science, стр. 145-163. Springer, (2006)