Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
1,081 authors found
quering by "Action 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 |
|
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
|
J. R. Reviewer Hurford PhD |
158 docs (1967 - 2018)
Literal (mathematical logic) , Scope (computer science) , Value (mathematics) , Language Evolution , Language Teaching |
|
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 |
|
898
One Index
|
Edmund Melson Clarke PhD |
283 docs (1977 - 2021)
Model Checking , Symbolic Model Checker , Safety Verification , Runtime Verification , Abstraction |
|
887
One Index
|
Widom, Jennifer PhD |
300 docs (1986 - 2019)
Column-oriented Database Systems , Relational Database Systems , Query Optimization , Continuous Queries , Stream Processing |
|
887
One Index
|
Jennifer, Hornsby PhD |
136 docs (1976 - 2022)
Reasoning , Perception , Physicalism , Naturalism , Philosophy of language |
|
873
One Index
|
Zhu, Xiatian PhD 0000-0002-9284-2955 |
239 docs (2006 - 2024)
Person Re-identification , Discriminative model , Semi-Supervised Learning , Identification (biology) , Transfer Learning |
|
872
One Index
|
van Elk, Michiel PhD 0000-0002-7631-3551 |
178 docs (1993 - 2024)
Action Observation , Interpersonal Synchrony , Intention Understanding , Religion , Spirituality |
|
868
One Index
|
Matthew C. B. Hennessy PhD |
214 docs (1976 - 2019)
Bisimulation , Process calculus , Temporal Logic , Preorder , Probabilistic Systems |
|
867
One Index
|
Karl Moritz Hermann PhD |
63 docs (2012 - 2020)
Language Modeling , Syntax-based Translation Models , Word Representation , Topic Modeling , Neural Machine Translation |
|
864
One Index
|
J Aakko Hintikka PhD |
684 docs (1955 - 2023)
Philosophy of language , Description Logics , Nonmonotonic Reasoning , Wittgenstein , Epistemic Logic |
|
863
One Index
|
Shari Lawrence Pfleeger PhD |
167 docs (1985 - 2018)
Software Process Improvement , Software Defect Prediction , Software Reliability Modeling , Agile Software Development , Software Maintenance |
|
858
One Index
|
Robin S. Usher PhD |
146 docs (1979 - 2023)
Adult Education , Reflective Practice , Adult Literacy and Numeracy , Lifelong Learning , Experiential Learning |
|
857
One Index
|
Snodgrass, Richard PhD 0000-0003-4703-7460 |
422 docs (1980 - 2024)
Relational Database Systems , Column-oriented Database Systems , Temporal Reasoning , Probabilistic Databases , Temporal database |
|
855
One Index
|
Cormier, Kearsy PhD 0000-0001-6071-7706 |
103 docs (1998 - 2023)
Sign Language , Language Acquisition , Variation (astronomy) , Gesture , Semantic Changes |
|
852
One Index
|
Raeburn, Iain PhD 0000-0002-0368-5979 |
299 docs (1977 - 2021)
C*-Algebras , Crossed product , Rank (graph theory) , Morita equivalence , Cohomology |
|
850
One Index
|
Cann, Ronnie PhD |
94 docs (1983 - 2020)
Front cover , Content (measure theory) , Interactional Linguistics , Language Evolution , Ellipsis (linguistics) |
|
846
One Index
|
Richard Edward Passingham PhD |
376 docs (1873 - 2022)
Premotor cortex , Prefrontal Cortex , Supplementary motor area , Self-reference effect , Sensorimotor Learning |
|
845
One Index
|
Kok, Joost N. PhD 0000-0002-7352-1400 |
272 docs (1985 - 2023)
Programming Language Semantics , Temporal Data Mining , Frequent Patterns , Nonmonotonic Reasoning , Temporal Logic |
|
841
One Index
|
Bowen, Jonathan PhD 0000-0002-8748-6140 |
474 docs (1970 - 2024)
Museum Learning , Turing , Programming Language Semantics , Computability , Fault Detection and Correction |
|
838
One Index
|
PhD 0000-0001-7085-9417 |
118 docs (2004 - 2024)
Model Checking , Proof assistant , Formal Verification , Programming Language Semantics , Runtime Verification |
|
838
One Index
|
Glüer-Pagin, Kathrin PhD 0000-0002-7483-7060 |
67 docs (1993 - 2024)
Perception , Philosophy of language , Argument (complex analysis) , Modality (human–computer interaction) , Content (measure theory) |
|
838
One Index
|
Kim, Jaegwon PhD |
215 docs (1963 - 2023)
Causation , Supervenience , Philosophy of Mind , Physicalism , Perception |
