Monitoring a Complex Physical System using a Hybrid Dynamic Bayes Net,
Proceedings of the 18th Annual Conference on Uncertainty in
Artificial Intelligence (UAI-02)
Edmonton, Canada, August 2002.
Inference in Hybrid Networks: Theoretical Limits and Practical Algorithms,
Proceedings of the 17th Annual Conference on Uncertainty in
Artificial Intelligence (UAI-01)
Seattle, Washington, August 2001, pages 310-318.
Joint winner of best student paper award
Exact Inference in Networks with Discrete Children of Continuous Parents,
Proceedings of the 17th Annual Conference on Uncertainty in
Artificial Intelligence (UAI-01)
Seattle, Washington, August 2001, pages 319-328.
Bayesian Fault Detection and Diagnosis in Dynamic Systems,
Proceedings of the 17th National Conference on Artificial Intelligence
(AAAI) Austin, Texas, July 2000, pages 531-537.
A General Algorithm for Approximate Inference and its Application to Hybrid Bayes Nets,
Proceedings of the 15th Annual Conference on Uncertainty in
Artificial Intelligence (UAI-99) pages 324-333.
Deductive verification of parameterized fault-tolreant systems: A case study,
Nikolaj Bjørner, Uri Lerner and Zohar Manna
Presented at ICTL 97.
STeP - Stanford Temporal Prover
A Real-Time Photo-Realistic Visual Flythrough,
IEEE Transactions on Visualization and Computer Graphics
Vol. 2, No. 3, September 1996, Pages 255-265.
Also available in gzip format.