David Currie

From MaRDI portal



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!

PublicationDate of PublicationType
Embedded software verification using symbolic execution and uninterpreted functions
International Journal of Parallel Programming
2006-09-28Paper
scientific article; zbMATH DE number 437299 (Why is no real title available?)1993-10-26Paper
The design of feedback rules in linear stochastic rational expectations models
Journal of Economic Dynamics and Control
1987-01-01Paper
Credibility and time consistency in a stochastic world
Journal of Economics
1987-01-01Paper
Estimating Michaelis-Menten Parameters: Bias, Variance and Experimental Design
Biometrics
1982-01-01Paper


Research outcomes over time


This page was built for person: David Currie