| 2008 |
|---|
| 20 | EE | Shahram Esmaeilsabzali,
Nancy A. Day,
Farhad Mavaddat:
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata.
Fundam. Inform. 82(4): 465-512 (2008) |
| 19 | EE | Seyyed Vahid Hashemian,
Farhad Mavaddat:
A Logical Reasoning Approach to Automatic Composition of Stateless Components.
Fundam. Inform. 89(4): 539-577 (2008) |
| 2007 |
|---|
| 18 | EE | Seyyed Vahid Hashemian,
Farhad Mavaddat:
Automatic Composition of Stateless Components: A Logical Reasoning Approach.
FSEN 2007: 175-190 |
| 2006 |
|---|
| 17 | EE | Abbas Heydarnoori,
Farhad Mavaddat,
Farhad Arbab:
Deploying Loosely Coupled, Component-based Applications into Distributed Environments.
ECBS 2006: 93-102 |
| 16 | EE | Seyyed Vahid Hashemian,
Farhad Mavaddat:
A Graph-Based Framework for Composition of Stateless Web Services.
ECOWS 2006: 75-86 |
| 15 | EE | Abbas Heydarnoori,
Farhad Mavaddat:
Reliable Deployment of Component-based Applications into Distributed Environments.
ITNG 2006: 52-57 |
| 14 | EE | Shahram Esmaeilsabzali,
Farhad Mavaddat,
Nancy A. Day:
Interface Automata with Complex Actions.
Electr. Notes Theor. Comput. Sci. 159: 79-97 (2006) |
| 13 | EE | Abbas Heydarnoori,
Farhad Mavaddat,
Farhad Arbab:
Towards an Automated Deployment Planner for Composition of Web Services as Software Components.
Electr. Notes Theor. Comput. Sci. 160: 239-253 (2006) |
| 2005 |
|---|
| 12 | EE | Seyyed Vahid Hashemian,
Farhad Mavaddat:
A Graph-Based Approach to Web Services Composition.
SAINT 2005: 183-189 |
| 2002 |
|---|
| 11 | EE | Farhad Arbab,
Farhad Mavaddat:
Coordination through Channel Composition.
COORDINATION 2002: 22-39 |
| 2000 |
|---|
| 10 | EE | Kamran Sartipi,
Kostas Kontogiannis,
Farhad Mavaddat:
Architectural Design Recovery using Data Mining Techniques.
CSMR 2000: 129-140 |
| 9 | EE | Kamran Sartipi,
Kostas Kontogiannis,
Farhad Mavaddat:
A Pattern Matching Framework for Software Architecture Recovery and Restructuring.
IWPC 2000: 37-47 |
| 1998 |
|---|
| 8 | | Farhad Mavaddat,
T. Gahlinger:
On Deducing Timing Constraints in the Verification of Interfaces.
Formal Methods in System Design 12(3): 223-239 (1998) |
| 1995 |
|---|
| 7 | | Pierre G. Paulin,
Farhad Mavaddat:
Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), September 13-15, 1995, Cannes, France
ACM 1995 |
| 1994 |
|---|
| 6 | | Farhad Mavaddat:
On transforming code generation to a parsing problem.
Code Generation for Embedded Processors 1994: 153-170 |
| 1992 |
|---|
| 5 | | Farhad Mavaddat:
Data-Path Synthesis as Grammar Inference.
Synthesis for Control Dominated Circuits 1992: 193-205 |
| 1990 |
|---|
| 4 | EE | Farhad Mavaddat,
M. Mahmood,
Mantis H. M. Cheng:
An application of L systems to local microcode synthesis.
MICRO 1990: 166-175 |
| 1979 |
|---|
| 3 | | Farhad Mavaddat,
Behrooz Parhami:
A Data Structure for Family Relations.
Comput. J. 22(2): 110-113 (1979) |
| 1977 |
|---|
| 2 | | Behrooz Parhami,
Farhad Mavaddat:
Computers and the Farsi Language-A Survey of Problem Areas.
IFIP Congress 1977: 673-676 |
| 1971 |
|---|
| 1 | | Farhad Mavaddat:
Using Stacks to Detect Expression Parallelism.
IFIP Congress (1) 1971: 591-596 |
