A Theoretical Model Characterizing Tangle Evolution in IOTA Blockchain Network[J]
IEEE INTERNET OF THINGS JOURNAL
机构作者
Bartocci, Ezio
文献数量：1
Borkowski, Michael
文献数量：1
di Angelo, Monika
文献数量：1
Donta, Praveen Kumar
文献数量：1
Dustdar, Schahram
文献数量：5
Frauenthaler, Philipp
文献数量：2
Fuchsbauer, Georg
文献数量：2
Grosu, Radu
文献数量：1
Guo, Fengyang
文献数量：3
Hochreiner, Christoph
文献数量：1
Khalid, Faiq
文献数量：1
Kjaeer, Martin
文献数量：1
Klausner, Lukas Daniel
文献数量：1
Mazumdar, Subhra
文献数量：1
Prybila, Christoph
文献数量：1
Rameder, Heidelinde
文献数量：1
Ratasich, Denise
文献数量：1
Salzer, Gernot
文献数量：1
Scekic, Ognjen
文献数量：1
Schulte, Stefan
文献数量：3
Shafique, Muhammad
文献数量：1
Sigwart, Marten
文献数量：3
Tran, Thanh-hai
文献数量：1
机构文献
Runtime verification for business processes utilizing the Bitcoin blockchain[J]
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
Blockchain-Supported Smart City Platform for Social Value Co-Creation and Exchange[J]
IEEE INTERNET COMPUTING
Decentralized cross-blockchain asset transfers with transfer confirmation[J]
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS
A CASE STUDY ON PARAMETRIC VERIFICATION OF FAILURE DETECTORS[J]
LOGICAL METHODS IN COMPUTER SCIENCE
Set-theoretic blockchains[J]
ARCHIVE FOR MATHEMATICAL LOGIC
Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum[J]
FRONTIERS IN BLOCKCHAIN