Farhad Mavaddat

Publication Activity (10 Years)

Years Active: 1971-2008
Publications (10 Years): 0

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavaddat
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata. Fundam. Informaticae 82 (4) (2008)
Seyyed Vahid Hashemian, Farhad Mavaddat
A Logical Reasoning Approach to Automatic Composition of Stateless Components. Fundam. Informaticae 89 (4) (2008)
Seyyed Vahid Hashemian, Farhad Mavaddat
Automatic Composition of Stateless Components: A Logical Reasoning Approach. FSEN (2007)
Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. Day
Interface Automata with Complex Actions. Electron. Notes Theor. Comput. Sci. 159 (2006)
Abbas Heydarnoori, Farhad Mavaddat
Reliable Deployment of Component-based Applications into Distributed Environments. ITNG (2006)
Seyyed Vahid Hashemian, Farhad Mavaddat
A Graph-Based Framework for Composition of Stateless Web Services. ECOWS (2006)
Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab
Towards an Automated Deployment Planner for Composition of Web Services as Software Components. Electron. Notes Theor. Comput. Sci. 160 (2006)
Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab
Deploying Loosely Coupled, Component-based Applications into Distributed Environments. ECBS (2006)
Seyyed Vahid Hashemian, Farhad Mavaddat
A Graph-Based Approach to Web Services Composition. SAINT (2005)
Farhad Arbab, Farhad Mavaddat
Coordination through Channel Composition. COORDINATION (2002)
Kamran Sartipi, Kostas Kontogiannis, Farhad Mavaddat
A Pattern Matching Framework for Software Architecture Recovery and Restructuring. IWPC (2000)
Kamran Sartipi, Kostas Kontogiannis, Farhad Mavaddat
Architectural Design Recovery using Data Mining Techniques. CSMR (2000)
Farhad Mavaddat, T. Gahlinger
On Deducing Timing Constraints in the Verification of Interfaces. Formal Methods Syst. Des. 12 (3) (1998)
Farhad Mavaddat
On transforming code generation to a parsing problem. Code Generation for Embedded Processors (1994)
Farhad Mavaddat
Data-Path Synthesis as Grammar Inference. Synthesis for Control Dominated Circuits (1992)
Janusz A. Brzozowski, T. Gahlinger, Farhad Mavaddat
Consistency and satisfiability of waveform timing specifications. Networks 21 (1) (1991)
Farhad Mavaddat, M. Mahmood
On compiling behaviour to silicon: a formal language approach. Integr. 12 (3) (1991)
M. Mahmood, Farhad Mavaddat, M. I. Elmastry
Experiments with an efficient heuristic algorithm for local microcode generation. ICCD (1990)
Farhad Mavaddat, M. Mahmood, Mantis H. M. Cheng
An application of L systems to local microcode synthesis. MICRO (1990)
Farhad Mavaddat, S. K. S. Cheng
Word recognition in a reduced linear prediction space. Pattern Recognit. Lett. 3 (3) (1985)
G. A. C. Justice, Farhad Mavaddat
An IEEE696 compatible signal processor. ICASSP (1984)
Farhad Mavaddat
Another experiment with teaching of programming languages. ACM SIGCSE Bull. 13 (2) (1981)
Farhad Mavaddat, Behrooz Parhami
A Data Structure for Family Relations. Comput. J. 22 (2) (1979)
Behrooz Parhami, Farhad Mavaddat
Computers and the Farsi Language-A Survey of Problem Areas. IFIP Congress (1977)
Farhad Mavaddat
An experiment in teaching programming languages. ACM SIGCSE Bull. 8 (2) (1976)
Farhad Mavaddat
Using Stacks to Detect Expression Parallelism. IFIP Congress (1) (1971)

Farhad Mavaddat.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Farhad Mavaddat