Follow
Marek Skotnica
Marek Skotnica
Verified email at fit.cvut.cz
Title
Cited by
Cited by
Year
Das contract-a visual domain specific language for modeling blockchain smart contracts
M Skotnica, R Pergl
Enterprise Engineering Working Conference, 149-166, 2019
422019
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
292020
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
222017
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
192019
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
172016
Process Digitalization using Blockchain: EU Parliament Elections Case Study.
M Skotnica, M Aparício, R Pergl, S Guerreiro
MODELSWARD, 65-75, 2021
132021
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
92017
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
The system can't perform the operation now. Try again later.
Articles 1–8