Publications
1995. Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
1994. Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
2012. A Temporal Pattern Search Algorithm for Personal History Event Visualization. Knowledge and Data Engineering, IEEE Transactions on. 24(5):799-812.