Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
4,589 authors found
quering by "Type Inference"
.
Showing
the first 25
sort by ONE Index.
|
929
One Index
|
M. Kholid Baror Abadi PhD |
295 docs (1985 - 2023)
Security Protocols , Nonmonotonic Reasoning , Temporal Logic , Programming Language Semantics , Soundness |
|
916
One Index
|
Itzkovitz, Shalev PhD 0000-0003-0685-2522 |
156 docs (2002 - 2024)
Lineage (genetic) , Tumor Evolution , Cancer Genomics , Table (database) , Intratumor Heterogeneity |
|
914
One Index
|
Mansournia, Mohammad Ali PhD 0000-0003-3343-2718 |
664 docs (2006 - 2024)
Diabetes , Cross-sectional study , Attributable risk , Global health , Causal Inference |
|
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
|
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 |
|
905
One Index
|
Gordon D. Plotkin PhD |
239 docs (1972 - 2024)
Nonmonotonic Reasoning , Programming Language Semantics , Monad (category theory) , Temporal Logic , Abstract Interpretation |
|
905
One Index
|
Aiken, Alex PhD 0000-0002-3723-9555 |
369 docs (1975 - 2024)
Parallel Computing , Performance Optimization , Code (set theory) , Model Checking , Task Scheduling |
|
903
One Index
|
Suissa, Samy PhD 0000-0002-1281-5296 |
710 docs (1982 - 2024)
COPD , Pharmacoepidemiology , Treatment , Rate ratio , Asthma |
|
901
One Index
|
Zanella Béguelin, Santiago PhD 0000-0003-0479-9967 |
104 docs (2006 - 2024)
Searchable Encryption , Secure Multi-party Computation , Homomorphic Encryption , Pairing-based Cryptography , Privacy-Preserving Computation |
|
900
One Index
|
Guestrin, Carlos PhD 0000-0001-6348-5939 |
257 docs (2000 - 2024)
Mobile Sensor Deployment , Wireless Sensor Networks , Probabilistic Learning , Graphical model , Representation Learning |
|
900
One Index
|
BARTHE, Gilles PhD 0000-0002-3853-1777 |
455 docs (1995 - 2024)
Privacy-Preserving Computation , Searchable Encryption , Security Analysis , Pairing-based Cryptography , Type Inference |
|
900
One Index
|
van der Smagt, Patrick PhD 0000-0003-4418-4916 |
237 docs (1990 - 2024)
Unsupervised Learning , Representation Learning , Human-Robot Collaboration , Backpropagation Learning , Representation (politics) |
|
899
One Index
|
Mezini, Mira PhD 0000-0001-6563-7537 |
395 docs (1994 - 2024)
Aspect-Oriented Programming , Source Code Analysis , Code (set theory) , Software Architecture , Software Defect Prediction |
|
896
One Index
|
Tip, Frank PhD 0000-0002-1862-3498 |
166 docs (1992 - 2024)
Code refactoring , Software Defect Prediction , Source Code Analysis , Refactoring , Program Repair |
|
895
One Index
|
Cardelli, Luca PhD 0000-0002-8705-8488 |
359 docs (1982 - 2024)
Biochemical Modeling , Subtyping , Type Inference , Model Checking , Systems Biology |
|
894
One Index
|
Lynch, John PhD 0000-0003-2781-7902 |
669 docs (1876 - 2024)
Disadvantaged , Social Determinants of Health , Life course approach , Social inequality , Mortality Risk |
|
892
One Index
|
Engelhardt, Barbara PhD 0000-0002-6139-7334 |
211 docs (2000 - 2024)
Gene Expression , Genome-wide association study , Cell Heterogeneity , Droplet-based Sequencing , RNA-Seq |
|
892
One Index
|
Sergey, Ilya PhD 0000-0003-4250-5392 |
111 docs (2009 - 2024)
Blockchain , Model Checking , Smart Contracts , Programming Language Semantics , Heap (data structure) |
|
888
One Index
|
Yoshida, Nobuko PhD 0000-0002-3925-8557 |
401 docs (1984 - 2024)
Programming Language Semantics , Type Inference , Subtyping , Process calculus , Trypanosoma cruzi |
|
886
One Index
|
Ernst, Michael PhD 0000-0001-9379-277X |
323 docs (1975 - 2024)
Software Defect Prediction , Source Code Analysis , Code (set theory) , Model Checking , Program Repair |
|
886
One Index
|
Lähdesmäki, Harri PhD 0000-0002-0373-139X |
267 docs (2002 - 2024)
DNA Methylation , Ode , Nonparametric Methods , Memory T Cells , NK Cell Recognition |
|
886
One Index
|
Feuerriegel, Stefan PhD 0000-0001-7856-8729 |
333 docs (2010 - 2024)
Benchmark (surveying) , Stock Market Prediction , Continuous Glucose Monitoring , Stock (firearms) , Diabetes |
|
884
One Index
|
Gousios, Georgios PhD 0000-0002-8495-7939 |
114 docs (2005 - 2024)
Source Code Analysis , Software Defect Prediction , Python (programming language) , Agile Software Development , Bug Localization |
