Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
2
Training for Verification: Increasing Neuron Stability to S..:
, In:
?
2023 RIVF International Conference on Computing and Communication Technologies (RIVF) ,
4
High Average-Utility Itemset Mining with A Novel Vertical W..:
, In:
?
Lecture Notes in Computer Science; Integrated Uncertainty in Knowledge Modelling and Decision Making ,
5
Controlling LIME Kernel Width to Achieve Comprehensible Exp..:
, In:
?
Lecture Notes in Computer Science; Integrated Uncertainty in Knowledge Modelling and Decision Making ,
10
MFG-HUI: An Efficient Algorithm for Mining Frequent Generat..:
, In:
?
Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings ,
13
SymInfer : inferring numerical invariants using symbolic..:
, In:
?
2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
14
SymInfer: Inferring Numerical Invariants using Symbolic Sta..:
, In:
?
Database Systems for Advanced Applications. DASFAA 2022 International Workshops; Lecture Notes in Computer Science ,
15