Author of the publication

Comparing Blockchain and Cloud Services for Business Process Execution.

, , , , , and . ICSA, page 257-260. IEEE Computer Society, (2017)

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

Evolving strategies for software architecture and reuse., and . Software Process: Improvement and Practice, 12 (3): 295-309 (2007)Interfaces for Refining Recursion and Procedures.. Formal Asp. Comput., 12 (5): 372-391 (2000)Critical rationalism and engineering: methodology.. Synthese, 192 (1): 337-362 (2015)Analysis of Dependencies between Specific Practices in CMMI Maturity Level 2., , and . EuroSPI, volume 16 of Communications in Computer and Information Science, page 94-105. Springer, (2008)Situational Method Quality., and . Situational Method Engineering, volume 244 of IFIP, page 193-206. Springer, (2007)An empirical research agenda for understanding formal methods productivity., , , , and . Information & Software Technology, (2015)Project Delay Variability Simulation in Software Product Line Development., , , and . ICSP, volume 4470 of Lecture Notes in Computer Science, page 283-294. Springer, (2007)Technical Software Development Process in the XML Domain., , , and . ICSP, volume 5543 of Lecture Notes in Computer Science, page 246-255. Springer, (2009)Simulation modeling of a large-scale formal verification process., , , , , and . ICSSP, page 3-12. IEEE Computer Society, (2012)Representing WP Semantics in Isabelle/ZF.. TPHOLs, volume 1690 of Lecture Notes in Computer Science, page 239-254. Springer, (1999)