×
Edit Profile (opens in new tab)

Nazarpour, Hosein

Co-Author Distance
Author ID: nazarpour.hosein Recent zbMATH articles by "Nazarpour, Hosein"
Published as: Nazarpour, Hosein
Documents Indexed: 1 Publication since 2017
Co-Authors: 3 Co-Authors with 1 Joint Publication
114 Co-Co-Authors

Co-Authors

0 single-authored
1 Bensalem, Saddek
1 Bozga, Marius
1 Falcone, Yliès

Serials

1 Formal Aspects of Computing

Fields

1 Computer science (68-XX)

Publications by Year

Citations contained in zbMATH Open

1 Publications have been cited 3 times in 3 Documents Cited by ▼ Year ▼
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Zbl 1377.68042
Nazarpour, Hosein; Falcone, Yliès; Bensalem, Saddek; Bozga, Marius
3
2017
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Zbl 1377.68042
Nazarpour, Hosein; Falcone, Yliès; Bensalem, Saddek; Bozga, Marius
3
2017
all top 5

Cited by 21 Authors

3 Falcone, Yliès
1 Ahrendt, Wolfgang
1 Bartocci, Ezio
1 Bensalem, Saddek
1 Bianculli, Domenico
1 Bozga, Marius
1 Colombo, Christian
1 El-Hokayem, Antoine
1 Francalanza, Adrian
1 Jaber, Mohamad Y.
1 Krstić, Srđan
1 Lourenço, João M.
1 Nazarpour, Hosein
1 Nickovic, Dejan
1 Pace, Gordon J.
1 Rufino, José
1 Sánchez, César
1 Schneider, Gerardo
1 Signoles, Julien
1 Traytel, Dmitry
1 Weiss, Alexander

Cited in 3 Serials

1 Formal Aspects of Computing
1 Formal Methods in System Design
1 Journal of Logical and Algebraic Methods in Programming

Cited in 1 Field

3 Computer science (68-XX)

Citations by Year