Autor der Publikation

Empowering Business-Level Blockchain Users with a Rules Framework for Smart Contracts.

, , , , , , , und . ICSOC, Volume 11236 von Lecture Notes in Computer Science, Seite 111-128. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic product conceptual optimization based on object-oriented performance components and graph grammars., und . Concurrent Engineering: R&A, 23 (2): 145-165 (2015)Automatic verification of database-centric systems., , , und . SIGLOG News, 5 (2): 37-56 (2018)VERIFAS: A Practical Verifier for Artifact Systems., , und . PVLDB, 11 (3): 283-296 (2017)A Spin-based Verifier for Artifact Systems., , und . CoRR, (2017)DeepDiag: Detailed NFV Performance Diagnosis., , , , und . SIGCOMM Posters and Demos, Seite 33-35. ACM, (2019)LossRadar: Fast Detection of Lost Packets in Data Center Networks., , , und . CoNEXT, Seite 481-495. ACM, (2016)Index-Based, High-Dimensional, Cosine Threshold Querying with Optimality Guarantees., , , , und . ICDT, Volume 127 von LIPIcs, Seite 11:1-11:20. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2019)Speckle reduction based on fractional-order filtering and boosted singular value shrinkage for optical coherence tomography image., , , , , und . Biomed. Signal Proc. and Control, (2019)An integrated change propagation scheduling approach for product design., und . Concurrent Engineering: R&A, 22 (4): 347-360 (2014)An Analysis and Research of Type-2 Diabetes TCM Records Based On Text Mining., und . BIBM, Seite 1872-1875. IEEE Computer Society, (2018)