Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
1,335 authors found
quering by "Proof assistant"
.
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
|
BARTHE, Gilles PhD 0000-0002-3853-1777 |
455 docs (1995 - 2024)
Privacy-Preserving Computation , Searchable Encryption , Security Analysis , Pairing-based Cryptography , Type Inference |
|
895
One Index
|
Tripakis, Stavros PhD 0000-0002-1777-493X |
280 docs (1996 - 2024)
Model Checking , Runtime Verification , Temporal Logic , Undecidable problem , Timing Analysis |
|
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) |
|
883
One Index
|
Foster, Simon PhD 0000-0001-7432-7805 |
287 docs (1986 - 2024)
Staphylococcus aureus , Autolysin , Lipoteichoic acid , Penicillin binding proteins , FtsZ |
|
881
One Index
|
Zdancewic, Steve PhD 0000-0002-3516-1512 |
171 docs (1999 - 2024)
Programming Language Semantics , Information flow , Security Policies , Memory safety , Type Inference |
|
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 |
|
877
One Index
|
Strub, Pierre-Yves PhD 0000-0002-8196-7875 |
117 docs (2001 - 2024)
Proof assistant , Privacy-Preserving Computation , Secure Multi-party Computation , Differential Privacy , Implementation |
|
877
One Index
|
Heule, Marijn PhD 0000-0002-5587-8801 |
204 docs (2005 - 2024)
Satisfiability , Boolean satisfiability problem , Solver , Satisfiability Modulo Theories , Conjunctive normal form |
|
875
One Index
|
Sutskever, Ilya PhD |
143 docs (2007 - 2024)
Sequence (biology) , Representation Learning , Deep Learning , Language Modeling , Backpropagation Learning |
|
874
One Index
|
Alglave, Jade PhD |
62 docs (2009 - 2024)
Multicore Architectures , Benchmarking , Parallel Computing , Performance Optimization , x86 |
|
874
One Index
|
Nipkow, Tobias PhD 0000-0003-0730-515X |
282 docs (1986 - 2024)
HOL , Model Checking , Proof assistant , Formal Verification , Unification |
|
872
One Index
|
Rosu, Grigore PhD 0000-0002-3102-0421 |
341 docs (1994 - 2024)
Programming Language Semantics , Runtime Verification , Model Checking , Temporal Logic , Executable |
|
871
One Index
|
Leslie B. Lamport PhD |
286 docs (1966 - 2022)
Model Checking , Temporal Logic , Distributed Systems , Programming Language Semantics , Parallel Computing |
|
871
One Index
|
Urban, Josef PhD 0000-0002-1384-1613 |
273 docs (1977 - 2024)
Model Checking , Proof assistant , HOL , Gas meter prover , Benchmark (surveying) |
|
870
One Index
|
Appel, Andrew PhD 0000-0001-6009-0325 |
360 docs (1983 - 2024)
Programming Language Semantics , Separation Logic , Model Checking , Soundness , Formal Verification |
|
858
One Index
|
Platzer, André PhD 0000-0001-7238-5710 |
248 docs (2006 - 2025)
Hybrid Systems , Model Checking , Safety Verification , Description Logics , Temporal Logic |
|
857
One Index
|
Tixeuil, Sebastien PhD 0000-0002-0948-7172 |
466 docs (1996 - 2024)
Mobile Robots , Gathering Algorithms , Impossibility , Self-stabilization , Byzantine Fault Tolerance |
|
853
One Index
|
Paulson, Lawrence PhD 0000-0003-0288-4279 |
305 docs (1981 - 2024)
HOL , Proof assistant , Gas meter prover , Nonmonotonic Reasoning , Description Logics |
|
852
One Index
|
Pfenning, Frank PhD 0000-0002-8279-5817 |
343 docs (1984 - 2024)
Temporal Logic , Constraint Logic Programming , Nonmonotonic Reasoning , Description Logics , Separation Logic |
|
851
One Index
|
Kaliszyk, Cezary PhD 0000-0002-8273-6059 |
190 docs (2004 - 2024)
HOL , Proof assistant , Model Checking , Gas meter prover , Neural Machine Translation |
|
851
One Index
|
Dixon, Lucas PhD 0000-0003-1094-1675 |
96 docs (2003 - 2024)
Topic Modeling , Language Modeling , Unintended consequences , Rippling , Proof assistant |
|
848
One Index
|
DELAUNE, Stéphanie PhD 0000-0002-9744-8834 |
142 docs (2004 - 2025)
Security Protocols , Authentication , TRACE (psycholinguistics) , Graphical Passwords , Privacy-Preserving Computation |
|
848
One Index
|
Sakallah, Karem PhD 0000-0002-5819-9089 |
223 docs (1982 - 2023)
Satisfiability , Boolean satisfiability problem , Satisfiability Modulo Theories , Model Checking , Statistical Timing Analysis |
