Computer Aided Verification
2020년
Reconfigurable and Adaptive Computing
2018년
Domain-Specific Computer Architectures for Emerging Applications
2024년
Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete
2023년
Combined Measure and Shift Invariance Theory of Time Scales and Applications
2022년
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
2022년