Farhad Mavaddat

Available identifiers

zbMath Open mavaddat.farhadMaRDI QIDQ3199185

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3601415	2009-02-10	Paper
Automatic Composition of Stateless Components: A Logical Reasoning Approach	2008-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q5457272	2008-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q4738171	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4282493	1994-08-21	Paper
Consistency and satisfiability of waveform timing specifications	1991-01-01	Paper
A data structure for family relations	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4102730	1976-01-01	Paper
A note on construction of an analogue computer in Fortran for teaching of differential equations	1975-01-01	Paper
A unified approach to evaluation of expressions	1972-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Farhad Mavaddat