Mohammad Torabi Dashti
- Clinical Psychology
- Artificial Intelligence
- Information Systems top 10%
- General Health Professions
- Computer Networks and Communications
- Co-authors
- David BasinPetar TsankovVahideh AghamohammadiHamed Rezakhani MoghaddamHadi BazyarKhadijeh NasiriJan CederquistMahdi Asadpour
- Topics
- Formal Methods in Verification (7 papers)Security and Verification in Computing (6 papers)Advanced Authentication Protocols Security (5 papers)
- Partner nations
- SwitzerlandNetherlandsIran
In The Last Decade
Mohammad Torabi Dashti
38 papers receiving 312 citations
Peers
Comparison fields: 5 of 99
- Clinical Psychology 78
- Artificial Intelligence 75
- Information Systems 70
- General Health Professions 66
- Computer Networks and Communications 58
Countries citing papers authored by Mohammad Torabi Dashti
This map shows the geographic impact of Mohammad Torabi Dashti's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Mohammad Torabi Dashti with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Mohammad Torabi Dashti more than expected).
Fields of papers citing papers by Mohammad Torabi Dashti
This network shows the impact of papers produced by Mohammad Torabi Dashti. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Mohammad Torabi Dashti. The network helps show where Mohammad Torabi Dashti may publish in the future.
Co-authorship network of co-authors of Mohammad Torabi Dashti
This figure shows the co-authorship network connecting the top 25 collaborators of Mohammad Torabi Dashti. A scholar is included among the top collaborators of Mohammad Torabi Dashti based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Mohammad Torabi Dashti. Mohammad Torabi Dashti is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 0 | |
| 2 | 4 | |
| 3 | 6 | |
| 4 | 130 | |
| 5 | 14 | |
| 6 | 2 | |
| 7 | 2 | |
| 8 | 4 | |
| 9 | 4 | |
| 10 | 2 | |
| 11 | 5 | |
| 12 | 1 | |
| 13 | 9 | |
| 14 | Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme | 5 |
| 15 | 6 | |
| 16 | Pruning state spaces with extended beam search | 3 |
| 17 | Nuovo DRM Paradiso : formal specification and verification of a DRM protocol | 1 |
| 18 | An intruder model for verifying termination in security protocols | 3 |
| 19 | 4 | |
| 20 | 1 |
About Mohammad Torabi Dashti
Mohammad Torabi Dashti is a scholar working on Software, Theoretical Computer Science and Information Systems, having authored 40 papers that have together received 325 indexed citations. Recurring topics across this work include Formal Methods in Verification (7 papers), Security and Verification in Computing (6 papers) and Advanced Authentication Protocols Security (5 papers). The work is most often cited by research in Software (42 citations), Signal Processing (41 citations) and Clinical Psychology (78 citations). Mohammad Torabi Dashti has collaborated with scholars based in Switzerland, Netherlands and Iran. Frequent co-authors include David Basin, Petar Tsankov, Vahideh Aghamohammadi, Hamed Rezakhani Moghaddam, Hadi Bazyar, Khadijeh Nasiri, Jan Cederquist, Mahdi Asadpour, Sjouke Mauw and Anton Wijs. Their work appears in journals such as Scientific Reports, BMC Public Health and Soil Dynamics and Earthquake Engineering.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.