| Circular Proofs as Session-Typed Processes: A Local Validity Condition F Derakhshan, F Pfenning Logical Methods in Computer Science 18, 2022 | 35* | 2022 |
| 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 | 16 | 2021 |
| Uniform interpolation in substructural logics M Alizadeh, F Derakhshan, H Ono The Review of Symbolic Logic 7 (3), 455-483, 2014 | 11 | 2014 |
| Strong progress for session-typed processes in a linear metalogic with circular proofs F Derakhshan, F Pfenning arXiv preprint arXiv:2001.05132, 2020 | 7* | 2020 |
| Logical relations for session-typed concurrency S Balzer, F Derakhshan, R Harper, Y Yao arXiv preprint arXiv:2309.00192, 2023 | 5 | 2023 |
| Session-Typed Recursive Processes and Circular Proofs F Derakhshan Carnegie Mellon University, 2021 | 4 | 2021 |
| Human-centered automated proof search W Sieg, F Derakhshan Journal of Automated Reasoning, 2021 | 3 | 2021 |
| Information Flow Control in Cyclic Process Networks B van den Heuvel, F Derakhshan, S Balzer 38th European Conference on Object-Oriented Programming, ECOOP 2024, 35, 2024 | 2 | 2024 |
| Regrading policies for flexible information flow control in session-typed concurrency F Derakhshan, S Balzer, Y Yao https://doi.org/10.4230/LIPIcs.ECOOP.2024.11, 2024 | 2 | 2024 |
| Modal crash types for intermittent computing F Derakhshan, M Dotzel, M Surbatovich, L Jia European Symposium on Programming, 168-196, 2023 | 2 | 2023 |
| 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 WAR-Aware Intermittent Computing M Dotzel, F Derakhshan, M Surbatovich, L Jia ACM Transactions on Programming Languages and Systems, 2025 | | 2025 |
| Information Flow Control in Cyclic Process Networks B Heuvel, F Derakhshan, S Balzer arXiv preprint arXiv:2407.02304, 2024 | | 2024 |
| Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact) F Derakhshan, S Balzer, Y Yao Dagstuhl Artifacts Series 10 (2), 4: 1-4: 3, 2024 | | 2024 |
| Recursive Session Logical Relations F Derakhshan, S Balzer arXiv preprint arXiv:2208.13741, 2022 | | 2022 |
Hiroakira OnoJapan Advanced Institute of Science and Technologyjaist.ac.jp üzerinde doğrulanmış e-posta adresine sahip