Publications
2004. Optimal models of disjunctive logic programs: semantics, complexity, and computation. Knowledge and Data Engineering, IEEE Transactions on. 16(4):487-503.
2002. Maintaining software with a security perspective. Software Maintenance, 2002. Proceedings. International Conference on. :194-203.
1995. On the stability of sequential updates and downdates. Signal Processing, IEEE Transactions on. 43(11):2642-2648.