Robbert Krebbers

Robbert Krebbers

Associate Professor, Radboud University Nijmegen
在 cs.ru.nl 的电子邮件经过验证
被引用次数：3057
Programming languages Concurrency Separation Logic Proof assistants Coq
John Wickerson

John Wickerson

Imperial College London
在 imperial.ac.uk 的电子邮件经过验证
被引用次数：1420
programming languages FPGAs high-level synthesis formal methods separation logic
Mike Dodds

Mike Dodds

Galois Inc.
在 galois.com 的电子邮件经过验证
被引用次数：1181
Concurrency Verification Semantics Separation Logic
Kasper Svendsen

Kasper Svendsen

Department of Computer Science, Aarhus University
在 itu.dk 的电子邮件经过验证
被引用次数：1077
Formal Verification Separation Logic Concurrency Higher-order languages Type Theory
Christoph Matheja

Christoph Matheja

Professor of Theory of Correct Systems, University of Oldenburg
在 uol.de 的电子邮件经过验证
被引用次数：1067
program verification probabilistic programs separation logic rust
Thomas Dinsdale-Young

Thomas Dinsdale-Young

Aarhus University
在 dy.me.uk 的电子邮件经过验证
被引用次数：1023
Logic and Semantics Separation Logic Program Verification Concurrency
Malte Schwerhoff

Malte Schwerhoff

Lecturer Computer Science, ETH Zurich
在 inf.ethz.ch 的电子邮件经过验证
被引用次数：796
formal methods deductive verification separation logic automated verification
Felix Winterstein

Felix Winterstein

Imperial College London
在 imperial.ac.uk 的电子邮件经过验证
被引用次数：433
FPGA High-level Synthesis Separation Logic Signal Processing Radar
Cristian Gherghina

Cristian Gherghina

Google
在 gherghina.xyz 的电子邮件经过验证
被引用次数：305
Formal Methods Program Verification Separation Logic
Dan Frumin

Dan Frumin

University of Groningen
在 rug.nl 的电子邮件经过验证
被引用次数：288
Programming Languages Semantics Separation Logic Type Theory
1 - 10