| pH-Sensitive adsorption of gastrointestinal drugs (famotidine and pantoprazole) as pharmaceutical pollutants by using the Au-doped@ ZIF-90-glycerol adsorbent: insights from … N Montazeri, I Salahshoori, P Feyzishendi, FS Miri, MM Mohseni, ... Journal of Materials Chemistry A 11 (47), 26127-26151, 2023 | 23 | 2023 |
| Formalizing chemical physics using the Lean theorem prover MP Bobbin, S Sharlin, P Feyzishendi, AH Dang, CM Wraback, ... Digital Discovery, 2023 | 4 | 2023 |
| A model based on the equality of chemical potentials for describing the liquid-liquid interfaces of water-hydrocarbons up to high pressures S Khosharay, P Feyzi, S Tourang, F Tajfar Journal of Molecular Liquids 317, 113931, 2020 | 2 | 2020 |
| Computer-Verified BET Analysis Using the Lean Theorem Prover. J Velkey, P Feyzishendi, MP Bobbin, TR Josephson 2023 AIChE Annual Meeting, 2023 | | 2023 |
| Verifying Properties of Chemical Reactors Using an Automated Theorem Prover P Feyzishendi, S Hamer, J Huang, TR Josephson 2022 AIChE Annual Meeting, 2022 | | 2022 |
| Formal Proofs in the Chemical Sciences Using the Lean Theorem Prover P Feyzishendi, MP Bobbin, CM Wraback, S Sharlin, TR Josephson 2022 AIChE Annual Meeting, 2022 | | 2022 |