 | 2011 |
|---|
| 7 |       | Hassan Haghighi,
Mohammad Mahdi Javanmard:
Constructive Development of Probabilistic Programs.
FSEN 2011: 80-95 |
| 6 | | Ali Kazemi,
Ali Nasirzadeh Azizkandi,
Ali Rostampour,
Hassan Haghighi,
Pooyan Jamshidi,
Fereidoon Shams:
Measuring the Conceptual Coupling of Services Using Latent Semantic Indexing.
IEEE SCC 2011: 504-511 |
| 5 | | Ali Kazemi,
Ali Rostampour,
Amin Zamiri,
Pooyan Jamshidi,
Hassan Haghighi,
Fereidoon Shams:
An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion.
QSIC 2011: 102-111 |
| 4 | | Mahdi Fahmideh,
Mohsen Sharifi,
Pooyan Jamshidi,
Fereidoon Shams,
Hassan Haghighi:
Process patterns for service-oriented software development.
RCIS 2011: 1-9 |
| 2010 |
|---|
| 3 | | Hassan Haghighi:
Towards a formal framework for developing concurrent programs: Modeling dynamic behavior.
AICCSA 2010: 1-8 |
| 2008 |
|---|
| 2 | | Hassan Haghighi,
Seyed-Hassan Mirian-Hosseinabadi:
Nondeterminism in Constructive Z.
Fundam. Inform. 88(1-2): 109-134 (2008) |
| 2006 |
|---|
| 1 | | Hassan Haghighi,
Seyed-Hassan Mirian-Hosseinabadi:
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types.
Electr. Notes Theor. Comput. Sci. 159: 117-137 (2006) |
Data released under the ODC-BY 1.0 license — See also our legal information page