-
Shahin Hashtrudi Zad
control systems, discrete event systems, biological systems
-
Serguei A. Mokhov
Forensic Lucid, formal methods, software engineering
-
Charles Basenga Kiyanda
thermofluids, mathematical modeling, shock waves
-
Mourad Debbabi
information systems security, cyberphysical systems, smart grids
top associated keywords A-Z
- cyberforensics5
- network security12
- open source software10
- 3D digital imaging15
- aircraft design optimization13
- algorithm design30
- artificial intelligence (AI)53
- automata theory1
- automated reasoning3
- automation4
- biological systems3
- botnet defence4
- combustion3
- complex dynamic systems19
- compressible flows2
- compressible simulations2
- computational fluid dynamics18
- computational thermodynamics2
- computer graphics13
- control systems24
- cryptographic protocols6
- cyberphysical systems12
- cybersecurity16
- data mining21
- detection of vulnerabilities3
- discrete event systems2
- distributed/parallel systems25
- email security2
- embedded systems8
- explosions2
- failure detection and isolation1
- fault diagnosis4
- fluid mechanics16
- Forensic Lucid1
- formal methods6
- functional verification5
- hierarchical control1
- human-computer interaction (HCI)21
- hybrid systems2
- information systems security12
- intensional logic2
- machine learning58
- malware analysis3
- mathematical modeling17
- mathematical physics4
- middleware3
- natural language processing (NLP)15
- networks27
- nonlinear science2
- open data7
- pattern recognition21