We use cookies to store basic information for your identification in our website.
We assure you that no personal information is stored in these cookies and we do not track your navigation.
By continuing to use our site, you accept our use of cookies.
We assure you that no personal information is stored in these cookies and we do not track your navigation.
By continuing to use our site, you accept our use of cookies.
Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
8,932 authors found
quering by "Programming Language Semantics"
.
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 |
927
One Index
|
Aguzzoli, Stefano PhD 0000-0002-7588-5048 |
617 docs (1973 - 2024)
Language Modeling , Neural Machine Translation , Syntax-based Translation Models , Multilingual Neural Machine Translation , Modal Logics |
918
One Index
|
Spinellis, Diomidis PhD 0000-0003-4231-1897 |
420 docs (1990 - 2024)
Source Code Analysis , Code (set theory) , Software Development , Software Defect Prediction , Software Process Improvement |
916
One Index
|
Yahav, Eran PhD 0000-0003-4305-6314 |
212 docs (1996 - 2023)
Source Code Analysis , Code (set theory) , Software Defect Prediction , Model Checking , Code Clone Detection |
915
One Index
|
Thompson, Sandra PhD 0000-0002-7794-2042 |
204 docs (1969 - 2024)
Discourse Study , Discourse Analysis , Interactional Linguistics , Conversation Analysis , Rhetorical Structure |
913
One Index
|
Wฤ sowski, Andrzej PhD 0000-0003-0532-2685 |
227 docs (2001 - 2024)
Feature Models , Feature (linguistics) , Model Transformation , Variability Management , Model Checking |
913
One Index
|
Wadler, Philip PhD 0000-0001-7619-6378 |
272 docs (1975 - 2021)
Programming Language Semantics , Haskell , Description Logics , Type Inference , Model Checking |
910
One Index
|
Gast, Volker PhD 0000-0002-3034-0052 |
108 docs (2002 - 2024)
Discourse Analysis , Language Modeling , Semantic Changes , Language Typology , Persistence (discontinuity) |
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 |
906
One Index
|
Halpern, Joseph PhD 0000-0002-9229-1663 |
796 docs (1972 - 2024)
Nonmonotonic Reasoning , Temporal Logic , Description Logics , Epistemic Logic , Causality (physics) |
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
|
Barbara Hall Partee PhD |
208 docs (1968 - 2021)
Semantics , Genitive case , Principle of compositionality , Negation , Language Typology |
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 |
901
One Index
|
Indulska, Jadwiga PhD 0000-0001-8083-4299 |
240 docs (1985 - 2021)
Context-Aware Applications , Ambient Intelligence , Wireless Mesh Networks , Mobile Ad Hoc Networks , Multi-hop Wireless Routing |
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
|
Cousot, Patrick PhD 0000-0003-0101-9953 |
210 docs (1972 - 2024)
Abstract Interpretation , Programming Language Semantics , Abstract interpretation , Abstraction , Static Analysis |
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
|
Baier, Christel PhD 0000-0002-5321-9343 |
348 docs (1991 - 2024)
Probabilistic Systems , Model Checking , Temporal Logic , Symbolic Model Checker , Nondeterministic algorithm |
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 |
897
One Index
|
PhD 0000-0002-3632-2461 |
1243 docs (1954 - 2024)
Language Teaching , Discourse Analysis , Language Learning , Language , Applied Linguistics |
897
One Index
|
Vafeiadis, Viktor PhD 0000-0001-8436-0334 |
137 docs (2004 - 2024)
Memory model , x86 , Consistency , Model Checking , Multicore Architectures |
897
One Index
|
Thompson, Simon PhD 0000-0002-5274-7814 |
361 docs (1874 - 2024)
Aneurysm Screening , Aneurysm Rupture , Cardiovascular Evaluation , Cost-effectiveness Analysis , Endovascular aneurysm repair |
897
One Index
|
Solar Lezama, Armando PhD 0000-0001-7604-8252 |
239 docs (2005 - 2024)
Software Defect Prediction , Program synthesis , Sketch , Source Code Analysis , Code (set theory) |
896
One Index
|
Bhargavan, Karthikeyan PhD 0000-0002-3152-8997 |
146 docs (1998 - 2024)
Security Protocols , Implementation , Authentication , Security Analysis , Handshake |
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 |