Das contract-a visual domain specific language for modeling blockchain smart contracts M Skotnica, R Pergl Enterprise Engineering Working Conference, 149-166, 2019 | 43 | 2019 |
Towards model-driven smart contract systems-code generation and improving expressivity of smart contract modeling M Skotnica, J Klicpera, R Pergl Proceedings of the 20th CIAO, 1-15, 2020 | 29 | 2020 |
Converting DEMO PSI transaction pattern into BPMN: a complete method O Mráz, P Náplava, R Pergl, M Skotnica Advances in Enterprise Engineering XI: 7th Enterprise Engineering Working …, 2017 | 22 | 2017 |
Exploring a role of blockchain smart contracts in enterprise engineering B Hornáčková, M Skotnica, R Pergl Advances in Enterprise Engineering XII: 8th Enterprise Engineering Working …, 2019 | 20 | 2019 |
Towards the ontological foundations for the software executable DEMO action and fact models M Skotnica, SJH van Kervel, R Pergl Advances in Enterprise Engineering X: 6th Enterprise Engineering Working …, 2016 | 17 | 2016 |
Process Digitalization using Blockchain: EU Parliament Elections Case Study. M Skotnica, M Aparício, R Pergl, S Guerreiro MODELSWARD, 65-75, 2021 | 13 | 2021 |
A DEMO machine-A formal foundation for execution of DEMO models M Skotnica, SJH van Kervel, R Pergl Advances in Enterprise Engineering XI: 7th Enterprise Engineering Working …, 2017 | 9 | 2017 |
Implementace modulu pro podporu modelu AM ve Formetis DEMO Processor M Skotnica České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014 | | 2014 |