A probabilistic technique for simultaneous localization and door state estimation with mobile robots in dynamic environments. - Dzintars Avots; Edward Lim; Romain Thibaux; Sebastian Thrun (IROS, 2002)

Using Datalog with Binary Decision Diagrams for Program Analysis. - John Whaley; Dzintars Avots; Michael Carbin; Monica S. Lam (APLAS, 2005)

Improving software security with a C pointer analysis. - Dzintars Avots; Michael Dalton; V. Benjamin Livshits; Monica S. Lam (ICSE, 2005)

Context-sensitive program analysis as database queries. - Monica S. Lam; John Whaley; V. Benjamin Livshits; Michael C. Martin; Dzintars Avots; Michael Carbin; Christopher Unkel (PODS, 2005)