Computer Aided Verification
٢٠٢٠
Reconfigurable and Adaptive Computing
٢٠١٨
Domain-Specific Computer Architectures for Emerging Applications
٢٠٢٤
Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete
٢٠٢٣
Combined Measure and Shift Invariance Theory of Time Scales and Applications
٢٠٢٢
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
٢٠٢٢