Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
29,454 authors found
quering by "Type theory"
.
Showing
the first 25
sort by ONE Index.
|
959
One Index
|
Reis e Sousa, Caetano PhD 0000-0001-7392-2119 |
193 docs (1993 - 2024)
Dendritic Cells , Antigen Presentation , Cross-presentation , Priming (agriculture) , Immune Sensing |
|
947
One Index
|
Keshavarz-Ghorabaee, Mehdi PhD 0000-0002-0362-1633 |
60 docs (2014 - 2024)
Group Decision Making , Environmental Decision Making , EDAS , MCDM Methods , GIS-based Decision Analysis |
|
945
One Index
|
O'Garra, Anne PhD 0000-0001-9845-6134 |
272 docs (1985 - 2024)
Memory T Cells , Mycobacterium tuberculosis , Immune Responses , Pathogenesis , T Cell Immunity |
|
936
One Index
|
Blomer, Valentin PhD |
201 docs (2003 - 2024)
L-Functions , Cusp form , Automorphic Forms , Modular Forms , Arithmetic Progressions |
|
931
One Index
|
Seung, H. Sebastian PhD 0000-0002-8591-6733 |
213 docs (1988 - 2024)
Connectomics , Neural Synchrony , Working Memory , Image Processing , Backpropagation Learning |
|
930
One Index
|
Sanders, Dale PhD 0000-0002-1452-9808 |
213 docs (1979 - 2024)
Neurobiology in Plants , Ion Channels , Pyrophosphatase , Calcium Channels , Calcium signaling |
|
930
One Index
|
Jablensky, Assen PhD 0000-0003-0602-6810 |
475 docs (1970 - 2024)
Content (measure theory) , Genome-wide association study , Endophenotype , Front cover , Help-Seeking Behaviors |
|
929
One Index
|
Tonstad, Serena PhD |
420 docs (1991 - 2024)
Varenicline , Cholesterol-lowering , Smoking Cessation , Hypercholesterolemia , Metabolic Syndrome |
|
929
One Index
|
M. Kholid Baror Abadi PhD |
295 docs (1985 - 2023)
Security Protocols , Nonmonotonic Reasoning , Temporal Logic , Programming Language Semantics , Soundness |
|
928
One Index
|
Qiyas, Muhammad PhD 0000-0002-5519-6130 |
55 docs (2019 - 2024)
Intuitionistic Fuzzy Sets , Group Decision Making , Fuzzy Sets , Operator (biology) , Intuitionistic Fuzzy |
|
927
One Index
|
Zudilin, Wadim PhD 0000-0001-9551-2903 |
337 docs (1995 - 2024)
Multiple Zeta Values , Hypergeometric distribution , Irrationality , Riemann Zeta Function , Front cover |
|
925
One Index
|
Robert V. Tauxe PhD |
251 docs (1983 - 2024)
Foodborne Illness , Cholera , Food Safety , outbreaks , Food Handling |
|
924
One Index
|
KARAASLAN, Faruk PhD 0000-0002-0836-6264 |
94 docs (2013 - 2024)
Intuitionistic Fuzzy Sets , Soft set , Soft Set Theory , Fuzzy Sets , Group Decision Making |
|
924
One Index
|
Kattenborn, Teja PhD 0000-0001-7381-3828 |
91 docs (2013 - 2024)
Vegetation Monitoring , Trait , Tree Height Estimation , Biomass Estimation , Global Forest Mapping |
|
923
One Index
|
James A. C. Ladyman PhD |
193 docs (1996 - 2024)
Philosophy of Science , Ontic , Scientific realism , Empiricism , Materialism |
|
923
One Index
|
Fekadu, Ginenus PhD 0000-0002-4926-0685 |
140 docs (2005 - 2024)
Cross-sectional study , Stroke (engine) , Diabetes , Funnel plot , Treatment |
|
922
One Index
|
Vousden, Karen PhD 0000-0002-7365-1766 |
335 docs (1983 - 2024)
p53 , Tumor Suppression , Cancer Therapy , Cancer Cell Metabolism , Apoptosis |
|
921
One Index
|
Don Bernard Zagier PhD |
281 docs (1970 - 2024)
Modular Forms , Moduli Theory , Automorphic Forms , Mathematical Concepts , Polylogarithms |
|
918
One Index
|
Sabeti, Pardis PhD 0000-0002-9843-1890 |
392 docs (1997 - 2024)
Lassa fever , Lassa virus , Pandemic , Linkage disequilibrium , 2019-20 coronavirus outbreak |
|
914
One Index
|
Bringmann, Kathrin PhD 0000-0001-7126-1409 |
376 docs (2002 - 2024)
Modular Forms , Rank (graph theory) , Harmonic Maass Forms , Modularity (biology) , Partition Function |
|
914
One Index
|
Pradel, Michael PhD 0000-0003-1623-498X |
175 docs (2007 - 2024)
Software Defect Prediction , Source Code Analysis , Code (set theory) , Code Clone Detection , Python (programming language) |
|
913
One Index
|
Dig, Danny PhD 0000-0001-5046-2017 |
135 docs (2005 - 2024)
Code refactoring , Refactoring , Source Code Analysis , Code (set theory) , Software Defect Prediction |
|
913
One Index
|
Wadler, Philip PhD 0000-0001-7619-6378 |
272 docs (1975 - 2021)
Programming Language Semantics , Haskell , Description Logics , Type Inference , Model Checking |
|
912
One Index
|
Su, Yu-Sheng PhD 0000-0002-1531-3363 |
74 docs (2010 - 2024)
Educational Technology , Online Learning , Educational Data Mining , Student Performance Prediction , Model Checking |
|
911
One Index
|
Suchard, Marc PhD 0000-0001-9818-479X |
611 docs (1990 - 2024)
Phylogenetic Analysis , phylogenetic tree , Pandemic , Phylogenetic Comparative Analysis , Adaptive Evolution |
