Farokh Bastani

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Fast strong planning for fully observable nondeterministic planning problems Annals of Mathematics and Artificial Intelligence	2017-01-25	Paper
Optimization models for assessing the peak capacity utilization of intelligent transportation systems European Journal of Operational Research	2012-05-14	Paper
Systematic validation of a relational control program for the bay area rapid transit system	2001-10-21	Paper
A self-adjusting algorithm for Byzantine agreement Distributed Computing	1992-09-27	Paper
Effect of artificial-intelligence planning-procedures on system reliability IEEE Transactions on Reliability	1991-01-01	Paper
The effect of statically and dynamically replicated components on system reliability IEEE Transactions on Reliability	1990-01-01	Paper
A class of inherently fault tolerant distributed programs IEEE Transactions on Software Engineering	1988-01-01	Paper
Concurrent Maintenance of Data Structures in a Distributed Environment The Computer Journal	1988-01-01	Paper
scientific article; zbMATH DE number 4057450 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4128363 (Why is no real title available?)	1986-01-01	Paper
On the Uncertainty in the Correctness of Computer Programs IEEE Transactions on Software Engineering	1985-01-01	Paper
A methodology for assessing the correctness of control programs Computers and Electrical Engineering	1984-01-01	Paper
Performance Improvement of Abstractions Through Context Dependent Transformations IEEE Transactions on Software Engineering	1984-01-01	Paper

Research outcomes over time

This page was built for person: Farokh Bastani