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