Farhad Mavaddat

From MaRDI portal
Person:3199185

Available identifiers

zbMath Open mavaddat.farhadMaRDI QIDQ3199185

List of research outcomes





PublicationDate of PublicationType
A logical reasoning approach to automatic composition of stateless components2009-02-10Paper
Automatic Composition of Stateless Components: A Logical Reasoning Approach2008-07-01Paper
https://portal.mardi4nfdi.de/entity/Q54572722008-04-14Paper
https://portal.mardi4nfdi.de/entity/Q47381712004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q42824931994-08-21Paper
Consistency and satisfiability of waveform timing specifications1991-01-01Paper
A data structure for family relations1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41027301976-01-01Paper
A note on construction of an analogue computer in Fortran for teaching of differential equations1975-01-01Paper
A unified approach to evaluation of expressions1972-01-01Paper

Research outcomes over time

This page was built for person: Farhad Mavaddat

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3199185&oldid=7661405"
Powered by MediaWiki