×
Edit Profile (opens in new tab)

Amighi, Afshin

Co-Author Distance
Author ID: amighi.afshin Recent zbMATH articles by "Amighi, Afshin"
Published as: Amighi, Afshin
Documents Indexed: 3 Publications since 2014
Co-Authors: 7 Co-Authors with 3 Joint Publications
52 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
3 Huisman, Marieke
2 Blom, Stefan
1 Darabi, Saeed
1 Haack, Christian
1 Hurlin, Clément
1 Mostowski, Wojciech I.
1 Zaharieva-Stojanovski, Marina

Serials

1 Logical Methods in Computer Science

Fields

3 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

Citations contained in zbMATH Open

3 Publications have been cited 6 times in 5 Documents Cited by ▼ Year ▼
Resource protection using atomics. Patterns and verification. Zbl 1453.68042
Amighi, Afshin; Blom, Stefan; Huisman, Marieke
3
2014
Verification of concurrent systems with VerCors. Zbl 1445.68131
Amighi, Afshin; Blom, Stefan; Darabi, Saeed; Huisman, Marieke; Mostowski, Wojciech; Zaharieva-Stojanovski, Marina
2
2014
Permission-based separation logic for multithreaded Java programs. Zbl 1448.68215
Amighi, Afshin; Haack, Christian; Huisman, Marieke; Hurlin, Clément
1
2015
Permission-based separation logic for multithreaded Java programs. Zbl 1448.68215
Amighi, Afshin; Haack, Christian; Huisman, Marieke; Hurlin, Clément
1
2015
Resource protection using atomics. Patterns and verification. Zbl 1453.68042
Amighi, Afshin; Blom, Stefan; Huisman, Marieke
3
2014
Verification of concurrent systems with VerCors. Zbl 1445.68131
Amighi, Afshin; Blom, Stefan; Darabi, Saeed; Huisman, Marieke; Mostowski, Wojciech; Zaharieva-Stojanovski, Marina
2
2014
all top 5

Cited by 19 Authors

2 Huisman, Marieke
1 Amighi, Afshin
1 Blom, Stefan
1 Bordis, Tabea
1 Bugariu, Alexandra
1 Darabi, Saeed
1 Groves, Lindsay J.
1 Joosten, Sebastiaan J. C.
1 Mostowski, Wojciech I.
1 Oortwijn, Wytse
1 Pearce, David J.
1 Potanin, Alex
1 Runge, Tobias
1 Schaefer, Ina
1 Ter-Gabrielyan, Arshavir
1 Thüm, Thomas
1 Utting, Mark
1 van de Pol, Jan Cornelis
1 Zaharieva-Stojanovski, Marina

Cited in 3 Serials

1 Journal of Automated Reasoning
1 Formal Aspects of Computing
1 Logical Methods in Computer Science

Cited in 1 Field

5 Computer science (68-XX)

Citations by Year