Computer Aided Verification
2020
Internal Wave Hydrodynamics on Submersibles
2026
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