Edit Profile (opens in new tab) Sefidgar, S. Reza Compute Distance To: Compute Author ID: sefidgar.s-reza Published as: Sefidgar, S. Reza; Sefidgar, S. Documents Indexed: 4 Publications since 2014 Co-Authors: 4 Co-Authors with 4 Joint Publications 153 Co-Co-Authors Co-Authors 0 single-authored 2 Lammich, Peter 1 Alimohammadi, Davood 1 Basin, David A. 1 Lochbihler, Andreas Serials 1 Journal of Automated Reasoning 1 Journal of Cryptology 1 Journal of Linear and Topological Algebra all top 5 Fields 3 Computer science (68-XX) 2 Combinatorics (05-XX) 2 Operations research, mathematical programming (90-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 17 times in 13 Documents Cited by ▼ Year ▼ Formalizing the Edmonds-Karp algorithm. Zbl 1468.68327Lammich, Peter; Sefidgar, S. Reza 8 2016 Formalizing network flow algorithms: a refinement approach in Isabelle/HOL. Zbl 1468.68328Lammich, Peter; Sefidgar, S. Reza 5 2019 CryptHOL: game-based proofs in higher-order logic. Zbl 1455.94121Basin, David A.; Lochbihler, Andreas; Sefidgar, S. Reza 4 2020 CryptHOL: game-based proofs in higher-order logic. Zbl 1455.94121Basin, David A.; Lochbihler, Andreas; Sefidgar, S. Reza 4 2020 Formalizing network flow algorithms: a refinement approach in Isabelle/HOL. Zbl 1468.68328Lammich, Peter; Sefidgar, S. Reza 5 2019 Formalizing the Edmonds-Karp algorithm. Zbl 1468.68327Lammich, Peter; Sefidgar, S. Reza 8 2016 all cited Publications top 5 cited Publications all top 5 Cited by 20 Authors 4 Lammich, Peter 4 Lochbihler, Andreas 3 Nipkow, Tobias 2 Fürer, Basil 2 Schneider, Joshua P. 2 Traytel, Dmitry 1 Abdulaziz, Mohammad 1 Aspinall, David 1 Doczkal, Christian 1 Eberl, Manuel 1 Gascón, Adrià 1 Haslbeck, Max W. 1 Hobor, Aquinas 1 Leow, Wei Xiang 1 Mehlhorn, Kurt 1 Mohan, Anshuman 1 Paulson, Lawrence Charles 1 Pous, Damien 1 Sefidgar, S. Reza 1 Wenzel, Makarius Cited in 3 Serials 7 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Logical Methods in Computer Science Cited in 4 Fields 13 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year