Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
4,503 authors found
quering by "Liveness"
.
Showing
the first 25
sort by ONE Index.
|
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 |
|
933
One Index
|
Tse, David PhD 0000-0003-1460-5900 |
514 docs (1986 - 2024)
Network Coding , Interference Alignment , Channel Estimation , Blockchain , Channel state information |
|
933
One Index
|
Abraham, Ittai PhD 0000-0001-9568-7674 |
219 docs (2003 - 2024)
Byzantine Fault Tolerance , Fault Tolerance , Resilience (materials science) , Secure Multi-party Computation , Quantum Byzantine agreement |
|
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 |
|
931
One Index
|
Hadid, Abdenour PhD 0000-0001-9092-735X |
265 docs (2000 - 2024)
Facial Landmark Detection , Feature Learning , Facial Expression Analysis , Face Recognition , Face Spoof Detection |
|
924
One Index
|
Danezis, Georges PhD 0000-0002-8923-4860 |
233 docs (2000 - 2023)
Anonymity , Encrypted Traffic , Privacy-Preserving Computation , Traffic Analysis , Anonymization |
|
924
One Index
|
Roli, Fabio PhD 0000-0003-4103-9190 |
496 docs (1991 - 2024)
Adversarial Examples , Face Spoof Detection , Multimodal Biometrics , Security Analysis , Intrusion Detection |
|
916
One Index
|
Vukolic, Marko PhD 0000-0002-9898-5383 |
117 docs (2004 - 2023)
Blockchain , Byzantine Fault Tolerance , Fault Tolerance , Replication (statistics) , Distributed Systems |
|
915
One Index
|
Ford, Bryan PhD 0000-0002-0528-3033 |
215 docs (1993 - 2024)
Anonymity , Parallel Computing , Performance Optimization , Blockchain , Encrypted Traffic |
|
914
One Index
|
VERDOLIVA, Luisa PhD 0000-0001-7286-7963 |
237 docs (2000 - 2024)
Image Forgery Detection , Resampling Detection , Camera Model Identification , Splicing Detection , Robustness (evolution) |
|
913
One Index
|
Kong, Michael PhD 0000-0001-8142-4726 |
393 docs (1995 - 2024)
Atmospheric Pressure Plasmas , Cold Atmospheric Plasma , Low Temperature Plasmas , Non-Thermal Plasma , Glow discharge |
|
913
One Index
|
Viswanath, Pramod PhD 0000-0003-3171-8667 |
348 docs (1997 - 2024)
Blockchain , Network Coding , Iterative Decoding , Channel Coding , Differential Privacy |
|
913
One Index
|
Antsaklis, Panos PhD 0000-0002-6836-5028 |
661 docs (1974 - 2024)
Stability Analysis , Passivity , Robust Control , Nonlinear Systems , Constraint Handling |
|
912
One Index
|
Bloem, Roderick PhD 0000-0002-1411-5744 |
246 docs (1996 - 2023)
Model Checking , Temporal Logic , Automated Testing , Software Reliability Modeling , Implementation |
|
909
One Index
|
Ameen, wadea PhD 0000-0003-1542-6680 |
48 docs (2015 - 2024)
Additive Manufacturing , Metal 3D Printing , Electron Beam Melting , Design for Manufacture , Titanium alloy |
|
906
One Index
|
Negus, Keith PhD 0000-0003-3408-5551 |
86 docs (1992 - 2024)
Music , Lyrics , Value (mathematics) , Content (measure theory) , Intermediary |
|
903
One Index
|
Menotti, David PhD 0000-0003-2430-2030 |
152 docs (2007 - 2024)
Automatic License Plate Recognition , Number Plate Detection , Feature Learning , Real-Time Recognition , Iris Recognition |
|
902
One Index
|
Sifakis, Joseph PhD 0000-0003-2447-7981 |
333 docs (1974 - 2024)
Component (thermodynamics) , Model Checking , Embedded Systems , Temporal Logic , System-Level Design |
|
901
One Index
|
Zhang, Kehuan PhD 0000-0003-1519-0057 |
81 docs (2005 - 2024)
Security Analysis , Authentication , Android Malware , IoT Security , Permission |
|
900
One Index
|
Cachin, Christian PhD 0000-0001-8967-9213 |
221 docs (1993 - 2024)
Blockchain , Secure Multi-party Computation , Byzantine Fault Tolerance , Searchable Encryption , Fault Tolerance |
|
900
One Index
|
Baier, Christel PhD 0000-0002-5321-9343 |
348 docs (1991 - 2024)
Probabilistic Systems , Model Checking , Temporal Logic , Symbolic Model Checker , Nondeterministic algorithm |
|
897
One Index
|
Vafeiadis, Viktor PhD 0000-0001-8436-0334 |
137 docs (2004 - 2024)
Memory model , x86 , Consistency , Model Checking , Multicore Architectures |
|
896
One Index
|
Rybalchenko, Andrey PhD |
147 docs (2002 - 2024)
Model Checking , Runtime Verification , Liveness , Safety Verification , Predicate abstraction |
|
896
One Index
|
Spiegelman, Alexander PhD 0000-0002-7148-0414 |
91 docs (2015 - 2024)
Liveness , Blockchain , Byzantine Fault Tolerance , Quantum Byzantine agreement , Proof-of-work system |
|
895
One Index
|
A Amir Pnueli PhD |
453 docs (1968 - 2021)
Temporal Logic , Model Checking , Runtime Verification , Liveness , Safety Verification |
