| Circular Proofs as Session-Typed Processes: A Local Validity Condition F Derakhshan, F Pfenning Logical Methods in Computer Science 18, 2022 | 29* | 2022 |
| Uniform interpolation in substructural logics M Alizadeh, F Derakhshan, H Ono The Review of Symbolic Logic 7 (3), 455-483, 2014 | 9 | 2014 |
| Session Logical Relations for Noninterference F Derakhshan, S Balzer, L Jia LICS '21: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in …, 2021 | 7 | 2021 |
| Strong Progress for Session-Typed Processes in a Linear Metalogic with Circular Proofs F Derakhshan, F Pfenning arXiv preprint arXiv:2001.05132, 2020 | 6* | 2020 |
| Human-centered automated proof search W Sieg, F Derakhshan Journal of Automated Reasoning, 2021 | 3 | 2021 |
| Session-Typed Recursive Processes and Circular Proofs F Derakhshan Carnegie Mellon University, 2021 | 3 | 2021 |
| Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers F Derakhshan, Z Zhang, A Vasudevan, L Jia 2023 IEEE 36th Computer Security Foundations Symposium (CSF), 324-339, 2023 | 1 | 2023 |
| Modal crash types for intermittent computing F Derakhshan, M Dotzel, M Surbatovich, L Jia European Symposium on Programming, 168-196, 2023 | 1 | 2023 |
| Logical Relations for Session-Typed Concurrency S Balzer, F Derakhshan, R Harper, Y Yao arXiv preprint arXiv:2309.00192, 2023 | | 2023 |
| Recursive Session Logical Relations F Derakhshan, S Balzer arXiv preprint arXiv:2208.13741, 2022 | | 2022 |
Hiroakira OnoJapan Advanced Institute of Science and TechnologyVerified email at jaist.ac.jp
