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

Process Variability Modeling for Complex Organizations., , , and . ES, page 9-20. IEEE, (2015)Internet Security: Now and in the Future., , , and . International Conference on Internet Computing, page 193-198. CSREA Press, (2010)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)MIDA: Multiple Instances and Data Animator., , , , and . BPM (Dissertation/Demos/Industry), volume 2196 of CEUR Workshop Proceedings, page 86-90. CEUR-WS.org, (2018)Checking Business Process Modeling Guidelines in Apromore., , , , , and . BPM (Demos), volume 1920 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Process-oriented knowledge management and learning in public administrations., , , , and . Electron. Gov. an Int. J., 16 (4): 441-465 (2020)Inter-organizational business process verification in public administration., , and . Bus. Process. Manag. J., 21 (5): 1040-1065 (2015)A systematic literature review on IoT-aware business process modeling views, requirements and notations., , , , , and . Softw. Syst. Model., 22 (3): 969-1004 (2023)Efficient evaluation of vapour-liquid equilibria from multi-parameter thermodynamic models using differential algebra., , , and . J. Comput. Appl. Math., (2015)