Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
8,095 authors found
quering by "Separation Logic"
.
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 |
|
926
One Index
|
Vardi, Moshe PhD 0000-0002-0661-5773 |
906 docs (1972 - 2024)
Model Checking , Temporal Logic , Satisfiability , Runtime Verification , Satisfiability Modulo Theories |
|
914
One Index
|
Basin, David PhD 0000-0003-2952-939X |
492 docs (1989 - 2024)
Temporal Logic , Model Checking , Security Protocols , HOL , Constraint Logic Programming |
|
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
|
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
|
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
|
Gordon D. Plotkin PhD |
239 docs (1972 - 2024)
Nonmonotonic Reasoning , Programming Language Semantics , Monad (category theory) , Temporal Logic , Abstract Interpretation |
|
903
One Index
|
Bjorner, Nikolaj PhD 0000-0002-1695-2810 |
191 docs (1994 - 2024)
Model Checking , Satisfiability , Satisfiability Modulo Theories , Solver , Runtime Verification |
|
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 |
|
897
One Index
|
Vafeiadis, Viktor PhD 0000-0001-8436-0334 |
137 docs (2004 - 2024)
Memory model , x86 , Consistency , Model Checking , Multicore Architectures |
|
896
One Index
|
Rybalchenko, Andrey PhD |
147 docs (2002 - 2024)
Model Checking , Runtime Verification , Liveness , Safety Verification , Predicate abstraction |
|
895
One Index
|
A Amir Pnueli PhD |
453 docs (1968 - 2021)
Temporal Logic , Model Checking , Runtime Verification , Liveness , Safety Verification |
|
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
|
Reps, Thomas PhD 0000-0002-5676-9949 |
420 docs (1981 - 2024)
Source Code Analysis , Program Repair , Code (set theory) , Model Checking , Software Defect Prediction |
|
894
One Index
|
Worrell, James PhD 0000-0001-8151-2443 |
325 docs (1998 - 2024)
Temporal Logic , Undecidable problem , Model Checking , Synchronizing Automata , Probabilistic Systems |
|
894
One Index
|
Komorowski, Jan PhD 0000-0002-0766-8789 |
495 docs (1974 - 2023)
Constraint Logic Programming , Description Logics , Rough Sets , Probabilistic Rough Sets , Programming Language Semantics |
|
893
One Index
|
Tinelli, Cesare PhD 0000-0002-6726-775X |
208 docs (1996 - 2024)
Solver , Satisfiability , Satisfiability Modulo Theories , Model Checking , Satisfiability modulo theories |
|
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) |
|
889
One Index
|
Ameen, Zanyar PhD 0000-0003-0740-3331 |
46 docs (2015 - 2024)
Soft Set Theory , Soft set , Topological Spaces , Baire space , Baire measure |
|
888
One Index
|
Yoshida, Nobuko PhD 0000-0002-3925-8557 |
401 docs (1984 - 2024)
Programming Language Semantics , Type Inference , Subtyping , Process calculus , Trypanosoma cruzi |
|
887
One Index
|
Cohen, Larry PhD 0000-0002-0721-8980 |
345 docs (1949 - 2024)
Content (measure theory) , Philosophy of language , Philosophy of Science , Argument (complex analysis) , Assertion |
|
887
One Index
|
Van Hentenryck, Pascal PhD 0000-0001-7085-9994 |
750 docs (1986 - 2024)
Constraint Optimization , Soft Constraints , Optimization , Optimal Power Flow , Constraint Logic Programming |
|
883
One Index
|
Tonetta, Stefano PhD 0000-0001-9091-7899 |
152 docs (2003 - 2024)
Model Checking , Safety Verification , Temporal Logic , Runtime Verification , Symbolic Model Checker |
|
882
One Index
|
Odersky, Martin PhD 0009-0005-3923-8993 |
207 docs (1987 - 2024)
Scala , Programming Language Semantics , Model Checking , Type Inference , Performance Optimization |
