Anna Moss

Publication Activity (10 Years)

Years Active: 1999-2010
Publications (10 Years): 0

Publications

Anna Moss
Constraint Programming with Arbitrarily Large Integer Variables. CPAIOR (2010)
Anna Moss, Boris Gutkovich
Functional Test Generation with Distribution Constraints. Haifa Verification Conference (2009)
Anna Moss, Yuval Rabani
Approximation Algorithms for Constrained Node Weighted Steiner Tree Problems. SIAM J. Comput. 37 (2) (2007)
Anna Moss
Constraint Patterns and Search Procedures for CP-Based Random Test Generation. Haifa Verification Conference (2007)
Boris Gutkovich, Anna Moss
CP with Architectural State Lookup for Functional Test Generation. HLDVT (2006)
Anna Moss, Yuval Rabani
Approximation algorithms for constrained for constrained node weighted steiner tree problems. STOC (2001)
Samir Khuller, Anna Moss, Joseph Naor
The Budgeted Maximum Coverage Problem. Inf. Process. Lett. 70 (1) (1999)
Sudipto Guha, Anna Moss, Joseph Naor, Baruch Schieber
Efficient Recovery from Power Outage (Extended Abstract). STOC (1999)