Author of the publication

Enabling Auditing of Smart Contracts Through Process Mining.

, , , , , and . From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 467-480. 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A systematic literature review on IoT-aware business process modeling views, requirements and notations., , , , , and . Softw. Syst. Model., 22 (3): 969-1004 (2023)Process-oriented knowledge management and learning in public administrations., , , , and . Electron. Gov. an Int. J., 16 (4): 441-465 (2020)Process Variability Modeling for Complex Organizations., , , and . ES, page 9-20. IEEE, (2015)Quality of service in e-government underlines the role of information usability., , , and . Int. J. Inf. Qual., 2 (2): 133-151 (2008)Formal Methods to Improve Public Administration Business Processes., , and . RAIRO Theor. Informatics Appl., 46 (2): 203-229 (2012)Inter-organizational business process verification in public administration., , and . Bus. Process. Manag. J., 21 (5): 1040-1065 (2015)Internet Security: Now and in the Future., , , and . International Conference on Internet Computing, page 193-198. CSREA Press, (2010)Interoperability issues among smart home technological frameworks., , , , , , , , , and 9 other author(s). MESA, page 1-7. IEEE, (2014)Business process flexibility - a systematic literature review with a software systems perspective., , , , and . Inf. Syst. Frontiers, 20 (2): 343-371 (2018)Efficient evaluation of vapour-liquid equilibria from multi-parameter thermodynamic models using differential algebra., , , and . J. Comput. Appl. Math., (2015)