Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
343 authors found
quering by "Hoare logic"
.
Showing
the first 25
sort by ONE Index.
|
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 |
|
880
One Index
|
Birkedal, Lars PhD 0000-0003-1320-0098 |
248 docs (1993 - 2024)
Separation Logic , Temporal Logic , Nonmonotonic Reasoning , Type theory , Constraint Logic Programming |
|
874
One Index
|
Nipkow, Tobias PhD 0000-0003-0730-515X |
282 docs (1986 - 2024)
HOL , Model Checking , Proof assistant , Formal Verification , Unification |
|
870
One Index
|
Appel, Andrew PhD 0000-0001-6009-0325 |
360 docs (1983 - 2024)
Programming Language Semantics , Separation Logic , Model Checking , Soundness , Formal Verification |
|
866
One Index
|
Apt, Krzysztof PhD 0000-0002-1332-4229 |
481 docs (1972 - 2023)
Constraint Logic Programming , Constraint Optimization , Temporal Logic , Soft Constraints , Nonmonotonic Reasoning |
|
854
One Index
|
Peter W. O'Hearn PhD 0000-0001-8730-5496 |
141 docs (1989 - 2022)
Separation Logic , Temporal Logic , Programming Language Semantics , Abstract Interpretation , Nonmonotonic Reasoning |
|
854
One Index
|
Leroy, Xavier PhD 0000-0002-8971-9171 |
664 docs (1978 - 2024)
Prostate Cancer , Model Checking , Formal Verification , Programming Language Semantics , Runtime Verification |
|
853
One Index
|
Ying, Mingsheng PhD 0000-0003-4847-702X |
398 docs (1987 - 2024)
Quantum Computation , Quantum Simulation , Fault-tolerant Quantum Computation , Quantum Machine Learning , Quantum Interpretations |
|
846
One Index
|
Morrisett, John PhD 0000-0002-2619-5614 |
163 docs (1994 - 2023)
Type Inference , Programming Language Semantics , Model Checking , Code (set theory) , Type safety |
|
838
One Index
|
PhD 0000-0001-7085-9417 |
118 docs (2004 - 2024)
Model Checking , Proof assistant , Formal Verification , Programming Language Semantics , Runtime Verification |
|
831
One Index
|
Gaboardi, Marco PhD 0000-0002-5235-7066 |
185 docs (2006 - 2024)
Differential Privacy , Privacy-Preserving Computation , Temporal Logic , Description Logics , Constraint Logic Programming |
|
829
One Index
|
Unruh, Dominique PhD 0000-0001-8965-1931 |
139 docs (2004 - 2023)
Searchable Encryption , Random oracle , Secure Multi-party Computation , Privacy-Preserving Computation , Soundness |
|
826
One Index
|
Shao, Zhong PhD 0000-0001-8184-7649 |
210 docs (1992 - 2024)
Model Checking , Soundness , Programming Language Semantics , Proof assistant , Runtime Verification |
|
813
One Index
|
Calcagno, Cristiano PhD |
76 docs (2000 - 2015)
Separation Logic , Temporal Logic , Description Logics , Heap (data structure) , Model Checking |
|
811
One Index
|
Haeberlen, Andreas PhD 0000-0002-3271-8354 |
102 docs (2000 - 2023)
Differential Privacy , Privacy-Preserving Computation , PlanetLab , Distributed Systems , Fault Tolerance |
|
805
One Index
|
Charles Antony Richard Hoare PhD |
233 docs (1856 - 2023)
Programming Language Semantics , Computability , Parallel Computing , Separation Logic , Structuring |
|
803
One Index
|
Feng, Yuan PhD 0000-0002-3097-3896 |
331 docs (1989 - 2024)
Quantum Simulation , Fault-tolerant Quantum Computation , Quantum Computation , Quantum Machine Learning , Quantum Interpretations |
|
800
One Index
|
Zhan, Naijun PhD 0000-0003-3298-3817 |
215 docs (2000 - 2024)
Hybrid Systems , Model Checking , Safety Verification , Runtime Verification , Temporal Logic |
|
797
One Index
|
Bergstra, Jan PhD 0000-0003-2492-506X |
669 docs (1976 - 2024)
Process calculus , Temporal Logic , Programming Language Semantics , Abstract Interpretation , Separation Logic |
|
796
One Index
|
Ziegler, Martin PhD 0000-0001-6734-7875 |
264 docs (1975 - 2024)
Computability , Computational Depth , Computation , Definable Sets , Undecidable problem |
|
796
One Index
|
Li, Sanjiang PhD 0000-0002-3332-2546 |
128 docs (1999 - 2024)
Spatial Reasoning , Constraint Optimization , Temporal Reasoning , Spatial intelligence , Fault-tolerant Quantum Computation |
|
789
One Index
|
Myreen, Magnus PhD 0000-0002-9504-4107 |
82 docs (2005 - 2024)
Model Checking , HOL , Runtime Verification , Formal Verification , Safety Verification |
|
789
One Index
|
Utting, Mark PhD 0000-0003-3134-6306 |
105 docs (1991 - 2024)
Model-Based Testing , Model Checking , Testing-Effort Dependent Models , Automated Testing , Temporal Logic |
|
788
One Index
|
Banerjee, Anindya PhD 0000-0001-9979-1292 |
156 docs (1987 - 2023)
Model Checking , Programming Language Semantics , Separation Logic , Information flow , Control flow |
