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) |
