Farhad Mavaddat - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2008

Interface Automata with Complex Actions: Limiting Interleaving in Interface AutomataShahram Esmaeilsabzali, Nancy A. Day, Farhad Mavaddat. FUIN, 82(4):465-512, 2008. [doi]

A Logical Reasoning Approach to Automatic Composition of Stateless ComponentsSeyyed Vahid Hashemian, Farhad Mavaddat. FUIN, 89(4):539-577, 2008. [doi]

2007

Automatic Composition of Stateless Components: A Logical Reasoning ApproachSeyyed Vahid Hashemian, Farhad Mavaddat. fsen 2007: 175-190 [doi]

2006

2005

A Graph-Based Approach to Web Services CompositionSeyyed Vahid Hashemian, Farhad Mavaddat. saint 2005: 183-189 [doi]

2002

Coordination through Channel CompositionFarhad Arbab, Farhad Mavaddat. coordination 2002: 22-39 [doi]

2000

Architectural Design Recovery using Data Mining TechniquesKamran Sartipi, Kostas Kontogiannis, Farhad Mavaddat. CSMR 2000: 129-140 [doi]

A Pattern Matching Framework for Software Architecture Recovery and RestructuringKamran Sartipi, Kostas Kontogiannis, Farhad Mavaddat. IWPC 2000: 37-47 [doi]

1998

On Deducing Timing Constraints in the Verification of InterfacesFarhad Mavaddat, T. Gahlinger. fmsd, 12(3):223-239, 1998.

1994

On transforming code generation to a parsing problemFarhad Mavaddat. Dagstuhl 1995: 153-170

1992

Data-Path Synthesis as Grammar InferenceFarhad Mavaddat. ifip10-2 1993: 193-205

1991

Consistency and satisfiability of waveform timing specificationsJanusz A. Brzozowski, T. Gahlinger, Farhad Mavaddat. networks, 21(1):91-107, 1991. [doi]

On compiling behaviour to silicon: a formal language approachFarhad Mavaddat, M. Mahmood. integration, 12(3):239-266, 1991. [doi]

1990

Experiments with an efficient heuristic algorithm for local microcode generationM. Mahmood, Farhad Mavaddat, M. I. Elmastry. iccd 1990: 319-323 [doi]

An application of L systems to local microcode synthesisFarhad Mavaddat, M. Mahmood, Mantis H. M. Cheng. euromicro 1990: 166-175 [doi]

1981

Another experiment with teaching of programming languagesFarhad Mavaddat. SIGCSE, 13(2):49-56, 1981. [doi]

1979

A Data Structure for Family RelationsFarhad Mavaddat, Behrooz Parhami. cj, 22(2):110-113, 1979.

1977

Computers and the Farsi Language-A Survey of Problem AreasBehrooz Parhami, Farhad Mavaddat. ifip11-9 1977: 673-676

1976

An experiment in teaching programming languagesFarhad Mavaddat. SIGCSE, 8(2):45-59, 1976. [doi]

1971

Using Stacks to Detect Expression ParallelismFarhad Mavaddat. ifip 1971: 591-596

1968

Automatic conversion of serial to parallel programs and the organization of computer systems for their executionFarhad Mavaddat. PhD thesis, Imperial College London, UK, 1968. [doi]

Sign in or sign up to see more results.

runs on WebDSL