| Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic J Jacobs, S Balzer, R Krebbers | 25 | 2022 |
| Multiparty GV: functional multiparty session types with certified deadlock freedom J Jacobs, S Balzer, R Krebbers Proceedings of the ACM on Programming Languages 6 (ICFP), 466-495, 2022 | 20 | 2022 |
| Paradoxes of probabilistic programming: And how to condition on events of measure zero with infinitesimal probabilities J Jacobs Proceedings of the ACM on Programming Languages 5 (POPL), 1-26, 2021 | 17 | 2021 |
| Long-term ovarian hormone deprivation alters functional connectivity, brain neurochemical profile and white matter integrity in the Tg2576 amyloid mouse model of Alzheimer's … F Kara, ME Belloy, R Voncken, Z Sarwari, Y Garima, C Anckaerts, ... Neurobiology of aging 102, 139-150, 2021 | 9 | 2021 |
| Higher-Order Leak and Deadlock Free Locks J Jacobs, S Balzer Proceedings of the ACM on Programming Languages 7 (POPL), 1027-1057, 2023 | 6 | 2023 |
| A Self-Dual Distillation of Session Types J Jacobs 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 5 | 2022 |
| Fast Coalgebraic Bisimilarity Minimization J Jacobs, T Wißmann Proceedings of the ACM on Programming Languages 7 (POPL), 1514-1541, 2023 | 4 | 2023 |
| Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic (Artifact) J Jacobs, S Balzer, R Krebbers Zenodo, 2021 | 3 | 2021 |
| Long‐term deprivation of ovarian hormones via ovariectomy alters functional connectivity, brain neurochemistry and white matter integrity in a mouse model of Alzheimer's … F Kara, ME Belloy, R Voncken, Z Sarwari, G Yadav, C Anckaerts, ... Alzheimer's & Dementia 16, e037354, 2020 | 2 | 2020 |
| Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing J Jacobs, JK Hinrichsen, R Krebbers Proceedings of the ACM on Programming Languages 8 (POPL), 1385-1417, 2024 | 1 | 2024 |
| Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl) J Jacobs, JK Hinrichsen, R Krebbers Proceedings of the ACM on Programming Languages 7 (ICFP), 768-795, 2023 | 1 | 2023 |
| KATch: A Fast Symbolic Verifier for NetKAT M Moeller, J Jacobs, OS Belanger, D Darais, C Schlesinger, S Smolka, ... arXiv preprint arXiv:2404.04760, 2024 | | 2024 |
| A Simple Concurrent Lambda Calculus for Session Types J Jacobs Sl: TYPES, 2023 | | 2023 |
| A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact). J Jacobs Dagstuhl Artifacts Ser. 8 (2), 15:1-15:2, 2022 | | 2022 |
| Coalgebraic Partition Refinement For All Functors. J Jacobs, T Wißmann CoRR, 2022 | | 2022 |
| Bottom-up rewriting with smart constructors, hereditary substitution & normalization by evaluation J Jacobs | | 2021 |
| How to compile pattern matching J Jacobs | | 2021 |
| A magic determinant formula for symmetric polynomials of eigenvalues J Jacobs arXiv preprint arXiv:2009.01345, 2020 | | 2020 |
| Guarantees by Construction J Jacobs Nada 3, 540-19020, 2016 | | 2016 |
| Multris: Functional Verification of Multiparty Message Passing in Separation Logic JK HINRICHSEN, J JACOBS, R KREBBERS | | |
Robbert KrebbersAssociate Professor, Radboud University Nijmegen在 cs.ru.nl 的电子邮件经过验证
