Farokh B. Bastani

Available identifiers

zbMath Open bastani.farokh-bMaRDI QIDQ504218

List of research outcomes

Publication	Date of Publication	Type
Fast strong planning for fully observable nondeterministic planning problems	2017-01-25	Paper
A self-adjusting algorithm for Byzantine agreement	1992-09-27	Paper
Effect of artificial-intelligence planning-procedures on system reliability	1991-01-01	Paper
The effect of statically and dynamically replicated components on system reliability	1990-01-01	Paper
Concurrent Maintenance of Data Structures in a Distributed Environment	1988-01-01	Paper
A class of inherently fault tolerant distributed programs	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3792634	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4207563	1986-01-01	Paper
On the Uncertainty in the Correctness of Computer Programs	1985-01-01	Paper
A methodology for assessing the correctness of control programs	1984-01-01	Paper
Performance Improvement of Abstractions Through Context Dependent Transformations	1984-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: Farokh B. Bastani