dblp.uni-trier.dewww.uni-trier.de

Seyed-Hassan Mirian-Hosseinabadi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEHossein Keramati, Seyed-Hassan Mirian-Hosseinabadi: Integrating software development security activities with agile methodologies. AICCSA 2008: 749-754
6EEHamid Bagheri, Vajih Montaghami, Gholamreza Safi, Seyed-Hassan Mirian-Hosseinabadi: An evaluation method for aspectual modeling of distributed software architectures. AICCSA 2008: 903-908
5EEHassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi: Nondeterminism in Constructive Z. Fundam. Inform. 88(1-2): 109-134 (2008)
2007
4EEHamid Bagheri, Seyed-Hassan Mirian-Hosseinabadi, Hesam Chiniforooshan Esfahani: An Aspect Enhanced Method of NFR Modeling in Software Architecture. ICIT 2007: 240-242
2006
3 Hesam Chiniforooshan Esfahani, Seyed-Hassan Mirian-Hosseinabadi: A Scalable Agent-Based Workflow Management System for Business Process Management Environments. Multiagent Systems and Software Architecture 2006: 59-70
2EEHassan 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)
1998
1 Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner: Constructive Z. J. Log. Comput. 8(1): 49-70 (1998)

Coauthor Index

1Hamid Bagheri [4] [6]
2Hesam Chiniforooshan Esfahani [3] [4]
3Hassan Haghighi [2] [5]
4Hossein Keramati [7]
5Vajih Montaghami [6]
6Gholamreza Safi [6]
7Raymond Turner [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)