Computer Aided Verification
٢٠٢٠
Internal Wave Hydrodynamics on Submersibles
٢٠٢٦
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
٢٠٢٢