Search for persons
X
?
Mathematical Research for Blockchain Economy; Lecture Notes in Operations Research ,
2
Gas Gauge: A Security Analysis Tool for Smart Contract Out-..:
, In:
?
Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science ,
9
Diversifying a Parallel SAT Solver with Bayesian Moment Mat..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
14
MachSMT: A Machine Learning-based Algorithm Selector for SM..:
, In:
?
Lecture Notes in Computer Science; Combinatorics on Words ,
15