Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
47,313 authors found
quering by "Verification"
.
Showing
the first 25
sort by ONE Index.
|
965
One Index
|
Liu, Tie-Yan PhD 0000-0002-0476-8020 |
539 docs (1999 - 2024)
Neural Machine Translation , Rank (graph theory) , Machine Translation , Multilingual Neural Machine Translation , Leverage (statistics) |
|
951
One Index
|
Bryan Christopher Catanzaro PhD |
195 docs (2005 - 2024)
Language Modeling , Topic Modeling , GPU Computing , Parallel Computing , Code (set theory) |
|
944
One Index
|
Paris J Smaragdis PhD |
339 docs (1996 - 2024)
Environmental Sound Recognition , Source Separation , Audio-Visual Speech Recognition , Audio Event Detection , Acoustic Modeling |
|
943
One Index
|
Khudanpur, Sanjeev PhD 0000-0001-5976-0897 |
381 docs (1997 - 2024)
Automatic Speech Recognition , Language Modeling , Statistical Language Modeling , End-to-End Speech Recognition , Acoustic Modeling |
|
942
One Index
|
Fung, Pascale N PhD 0000-0002-0628-7132 |
488 docs (1991 - 2024)
Language Modeling , Topic Modeling , Syntax-based Translation Models , Spoken Dialogue Systems , Neural Machine Translation |
|
939
One Index
|
Jain, Anil PhD 0000-0002-6369-6995 |
1263 docs (1971 - 2024)
Fingerprint , Facial Landmark Detection , Minutiae , Face Spoof Detection , Multimodal Biometrics |
|
939
One Index
|
Stragapede, Giuseppe 0000-0002-5949-8574 |
20 docs (2022 - 2024)
Biometrics , Keystroke logging , Authentication , Usability , Keystroke Dynamics |
|
938
One Index
|
Alur, Rajeev PhD 0000-0003-1733-7083 |
405 docs (1989 - 2024)
Model Checking , Temporal Logic , Symbolic Model Checker , Runtime Verification , Undecidable problem |
|
936
One Index
|
A. J. Acero PhD |
384 docs (1990 - 2023)
Audio-Visual Speech Recognition , Acoustic Modeling , Automatic Speech Recognition , End-to-End Speech Recognition , Statistical Language Modeling |
|
935
One Index
|
Yu, Dong PhD 0000-0003-0520-6844 |
685 docs (1994 - 2024)
Audio-Visual Speech Recognition , End-to-End Speech Recognition , Automatic Speech Recognition , Acoustic Modeling , Speech Enhancement |
|
933
One Index
|
Ren, Kui PhD 0000-0003-3441-6277 |
506 docs (2003 - 2024)
Privacy-Preserving Computation , Searchable Encryption , Secure Multi-party Computation , Attribute-Based Encryption , Secure Computation |
|
932
One Index
|
Marcel, Sébastien PhD 0000-0002-2497-9140 |
424 docs (1999 - 2024)
Facial Landmark Detection , Face Spoof Detection , Feature Learning , Face Recognition , Facial Expression Analysis |
|
932
One Index
|
Tabuada, Paulo PhD 0000-0002-3417-0951 |
378 docs (1999 - 2024)
Constraint Handling , Nonlinear Systems , Cyber-physical system , Model Checking , Distributed Control |
|
932
One Index
|
Althoff, Matthias PhD 0000-0003-3733-842X |
403 docs (1982 - 2024)
Model Checking , Benchmark (surveying) , Urban Driving , Optimal Motion Planning , Trajectory Prediction |
|
931
One Index
|
Sun, JiaGuang PhD 0000-0002-5884-7939 |
289 docs (1986 - 2023)
Shape Optimization , Fuzz testing , Workflow Mining , Texture Mapping , Code (set theory) |
|
931
One Index
|
Yannakakis, Mihalis PhD 0000-0003-2857-1860 |
346 docs (1978 - 2024)
Model Checking , Approximation Algorithms , Parameterized Complexity , Probabilistic Systems , Constraint Satisfaction Problems |
|
930
One Index
|
Papernot, Nicolas PhD 0000-0001-5078-7233 |
224 docs (2014 - 2024)
Adversarial Examples , Differential Privacy , Deep Learning , Federated Learning , Robustness (evolution) |
|
930
One Index
|
Cernocky, Jan PhD 0000-0002-8800-0210 |
245 docs (1997 - 2024)
Speaker Verification , Automatic Speech Recognition , Audio-Visual Speech Recognition , End-to-End Speech Recognition , Statistical Language Modeling |
|
927
One Index
|
Vechev, Martin PhD 0000-0002-0054-9568 |
309 docs (2003 - 2024)
Robustness , Code (set theory) , Leverage (statistics) , Robustness (evolution) , Software Defect Prediction |
|
926
One Index
|
Vardi, Moshe PhD 0000-0002-0661-5773 |
906 docs (1972 - 2024)
Model Checking , Temporal Logic , Satisfiability , Runtime Verification , Satisfiability Modulo Theories |
|
926
One Index
|
Wang, Yi PhD 0000-0002-2994-6110 |
269 docs (1991 - 2024)
Timing Analysis , Multiprocessor Scheduling , Scheduling Algorithms , Hard Real-Time Systems , Model Checking |
|
924
One Index
|
Visser, Willem PhD 0000-0002-0913-3091 |
216 docs (1993 - 2024)
Model Checking , Software Reliability Modeling , Symbolic Model Checker , Automated Testing , Concolic testing |
|
923
One Index
|
Biamba, Cresantus 0000-0003-3571-0347 |
20 docs (2021 - 2023)
Spoofing attack , IoT Security , Data-driven Education , 2019-20 coronavirus outbreak , South east |
|
923
One Index
|
Dupoux, Emmanuel PhD 0000-0002-7814-2952 |
386 docs (1987 - 2024)
Language Development , Speech Perception , Language Modeling , Speaker Verification , End-to-End Speech Recognition |
|
921
One Index
|
Murray, Richard PhD 0000-0002-5785-7481 |
871 docs (1887 - 2024)
Robustness (evolution) , Synthetic biology , Robust Control , Temporal Logic , Adaptive Control |
