Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
7,799 authors found
quering by "Soundness"
.
Showing
the first 25
sort by ONE Index.
|
946
One Index
|
Su, Zhendong PhD 0000-0002-2970-1391 |
249 docs (1997 - 2024)
Software Defect Prediction , Source Code Analysis , Code (set theory) , Bug Localization , Code Clone Detection |
|
942
One Index
|
Gilroy, Simon PhD 0000-0001-9597-6839 |
233 docs (1986 - 2024)
Root hair , Gravitropism , Neurobiology in Plants , Aleurone , Plant Development |
|
938
One Index
|
Xiong, Wei PhD 0000-0003-3592-9373 |
201 docs (2000 - 2024)
Asset Pricing , Behavioral Finance , Stock (firearms) , Economic Policy Uncertainty , Financial Fluctuations |
|
936
One Index
|
Nuseibeh, Bashar PhD 0000-0002-3476-053X |
425 docs (1991 - 2024)
Software Architecture , Requirements Engineering , Aspect-Oriented Programming , Software Defect Prediction , Viewpoints |
|
935
One Index
|
Vaikuntanathan, Vinod PhD 0000-0002-2666-0045 |
271 docs (2004 - 2024)
Searchable Encryption , Homomorphic Encryption , Privacy-Preserving Computation , Learning with errors , Attribute-Based Encryption |
|
929
One Index
|
M. Kholid Baror Abadi PhD |
295 docs (1985 - 2023)
Security Protocols , Nonmonotonic Reasoning , Temporal Logic , Programming Language Semantics , Soundness |
|
920
One Index
|
Bellare, Mihir PhD 0000-0002-8765-5573 |
346 docs (1988 - 2024)
Searchable Encryption , Homomorphic Encryption , Attribute-Based Encryption , Secure Multi-party Computation , Privacy-Preserving Computation |
|
920
One Index
|
Alexander J. Smola PhD |
231 docs (1996 - 2023)
Kernel (algebra) , Support Vector Machines , Semi-Supervised Learning , Margin (machine learning) , Convex Optimization |
|
918
One Index
|
Schaeck, Klaus PhD 0000-0001-5841-7472 |
86 docs (2005 - 2024)
Banking , Soundness , Systemic Risk , Capital (architecture) , Liquidity |
|
917
One Index
|
Vadhan, Salil PhD 0000-0002-4059-4072 |
355 docs (1996 - 2024)
Differential Privacy , Privacy-Preserving Computation , Zero-knowledge proof , Approximation Algorithms , Zero-Knowledge Proofs |
|
917
One Index
|
Sahai, Amit PhD |
402 docs (1996 - 2024)
Privacy-Preserving Computation , Searchable Encryption , Obfuscation , Secure Multi-party Computation , Homomorphic Encryption |
|
914
One Index
|
Basin, David PhD 0000-0003-2952-939X |
492 docs (1989 - 2024)
Temporal Logic , Model Checking , Security Protocols , HOL , Constraint Logic Programming |
|
912
One Index
|
Staab, Steffen PhD 0000-0002-0780-4154 |
672 docs (1995 - 2024)
Semantic Web , Ontology , Knowledge Representation , Semantic Web Services , Semantic Matching |
|
911
One Index
|
Canetti, Ran PhD 0000-0002-5479-7540 |
332 docs (1970 - 2023)
Secure Multi-party Computation , Privacy-Preserving Computation , Searchable Encryption , Obfuscation , Random oracle |
|
910
One Index
|
Yang, Hongseok PhD 0000-0003-1502-2942 |
221 docs (2000 - 2024)
Programming Language Semantics , Abstract Interpretation , Separation Logic , Heap (data structure) , Probabilistic Learning |
|
909
One Index
|
Hanrahan, Pat PhD 0000-0002-3474-9752 |
301 docs (1981 - 2024)
Rendering , Volume Rendering , Texture Mapping , Shape Representation , Parallel Computing |
|
909
One Index
|
Weske, Mathias PhD 0000-0002-3346-2442 |
437 docs (1993 - 2024)
Process Models , Semantic Business Process Management , Process Modeling Languages , Process Performance Measurement , Business Process Management |
|
906
One Index
|
de Paiva, Valeria PhD 0000-0002-1078-6970 |
324 docs (1987 - 2024)
Language Modeling , Description Logics , Dependency Parsing , Modal Logics , Word Representation |
|
905
One Index
|
Damgård, Ivan PhD 0009-0003-6164-0896 |
408 docs (1987 - 2024)
Secure Multi-party Computation , Privacy-Preserving Computation , Searchable Encryption , Pairing-based Cryptography , Zero-knowledge proof |
|
904
One Index
|
Warinschi, Bogdan PhD 0000-0003-3396-8870 |
161 docs (2000 - 2024)
Searchable Encryption , Attribute-Based Encryption , Secure Multi-party Computation , Homomorphic Encryption , Soundness |
|
903
One Index
|
Seshia, Sanjit PhD 0000-0001-6190-8707 |
464 docs (1999 - 2024)
Model Checking , Temporal Logic , Safety Verification , Runtime Verification , Counterexample |
|
903
One Index
|
Bjorner, Nikolaj PhD 0000-0002-1695-2810 |
191 docs (1994 - 2024)
Model Checking , Satisfiability , Satisfiability Modulo Theories , Solver , Runtime Verification |
|
903
One Index
|
Simon M. Huttegger PhD |
80 docs (2006 - 2024)
Evolutionary Games , Evolutionary dynamics , Replicator equation , Evolutionary game theory , Front cover |
|
903
One Index
|
Backes, Michael PhD 0000-0002-9326-6400 |
817 docs (1988 - 2024)
High-Energy Astrophysics , Privacy-Preserving Computation , Cherenkov Telescope Array , Searchable Encryption , Soundness |
|
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 |
