( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analysis of Ethereum Smart Contracts and Opcodes.

, , , , и . AINA, том 926 из Advances in Intelligent Systems and Computing, стр. 546-558. Springer, (2019)

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.

Francesco Bettella

Protein secondary structure prediction using optimized scoring functions: a comparative statistical method. FU Berlin, (2009)

Francesco Knechtli

Francesco Pinosa

Francesco Solimena

Francesco Virili

 

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

Ethereum smart contracts: Analysis and statistics of their source code and opcodes., , , , , и . Internet Things, (2020)Consistent modelling of hierarchical BPMN collaborations., , , , и . Bus. Process. Manag. J., 28 (2): 442-460 (2022)Formalising and animating multiple instances in BPMN collaborations., , , , и . Inf. Syst., (2022)A formal approach for the analysis of BPMN collaboration models., , , , , и . J. Syst. Softw., (2021)BPMN 2.0 OR-Join Semantics: Global and local characterisation., , , , и . Inf. Syst., (2022)A Symbolic Semantics for a Calculus for Service-Oriented Computing., , и . PLACES@DisCoTec, том 241 из Electronic Notes in Theoretical Computer Science, стр. 135-164. Elsevier, (2008)A Purpose-Guided Log Generation Framework., , , и . BPM, том 13420 из Lecture Notes in Computer Science, стр. 181-198. Springer, (2022)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)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)