Search for persons
X
?
Communications in Computer and Information Science; Distributed Ledger Technology ,
2
The Benefits of Non-Fungible Token (NFT) Technology in Musi..:
, In:
?
Communications in Computer and Information Science; Distributed Ledger Technology ,
3
EVM-Vale: Formal Verification of EVM Bytecode Using Vale:
, In:
?
4
Distributed Ledger Technology: 7th International Symposium,..
Communications in Computer and Information Science, 1975
?
Blockchain and Smart-Contract Technologies for Innovative Applications ,
5
VeraciTIX: An NFT-Based Event Ticketing System:
, In:
?
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS) ,
6
Quantitative Explainable AI For Face Recognition:
, In:
?
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) ,
8
DALT: Deep Activity Launching Test via Intent-Constraint Ex..:
, In:
?
Communications in Computer and Information Science; Ubiquitous Security ,
10
SDGen: A Scalable, Reproducible and Flexible Approach to Ge..:
, In:
?
2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) ,
14