Hojjat, Hossein
Author ID: | hojjat.hossein |
Published as: | Hojjat, Hossein |
External Links: | MGP |
Documents Indexed: | 10 Publications since 2009 |
4 Contributions as Editor | |
Co-Authors: | 20 Co-Authors with 14 Joint Publications |
457 Co-Co-Authors |
all
top 5
Co-Authors
Serials
3 | Lecture Notes in Computer Science |
1 | Science of Computer Programming |
1 | Formal Methods in System Design |
1 | Electronic Proceedings in Theoretical Computer Science (EPTCS) |
Fields
13 | Computer science (68-XX) |
4 | General and overarching topics; collections (00-XX) |
2 | Mathematical logic and foundations (03-XX) |
1 | Operations research, mathematical programming (90-XX) |
Publications by Year
all
top 5
Cited by 66 Authors
Cited in 5 Serials
3 | Formal Methods in System Design |
2 | Acta Informatica |
1 | Science of Computer Programming |
1 | Journal of Automated Reasoning |
1 | Journal of Logical and Algebraic Methods in Programming |
Cited in 2 Fields
25 | Computer science (68-XX) |
8 | Mathematical logic and foundations (03-XX) |