Journal: Journal of the ACM

Volume 55, Issue 6

0 -- 0Richard E. Korf. Linear-time disk-based implicit graph search
0 -- 0Noga Alon, Haim Kaplan, Gabriel Nivasch, Micha Sharir, Shakhar Smorodinsky. Weak &epsis;-nets and interval chains
0 -- 0Matthew Andrews, Lisa Zhang. Almost-tight hardness of directed congestion minimization
0 -- 0Heiner Ackermann, Heiko Röglin, Berthold Vöcking. On the impact of combinatorial structure on congestion games

Volume 55, Issue 5

0 -- 0Nikhil R. Devanur, Christos H. Papadimitriou, Amin Saberi, Vijay V. Vazirani. Market equilibrium via a primal--dual algorithm for a convex program
0 -- 0Ziv Bar-Yossef, Maxim Gurevich. Random sampling from a search engine s index
0 -- 0Jianer Chen, Yang Liu 0002, Songjian Lu, Barry O Sullivan, Igor Razgon. A fixed-parameter algorithm for the directed feedback vertex set problem
0 -- 0Hagit Attiya, Keren Censor. Tight bounds for asynchronous randomized consensus
0 -- 0Nir Ailon, Moses Charikar, Alantha Newman. Aggregating inconsistent information: Ranking and clustering

Volume 55, Issue 4

0 -- 0Omer Reingold. Undirected connectivity in log-space
0 -- 0Baruch Awerbuch, Israel Cidon, Shay Kutten. Optimal maintenance of a spanning tree
0 -- 0Vladimir G. Deineko, Peter Jonsson, Mikael Klasson, Andrei A. Krokhin. The approximability of MAX CSP with fixed-value constraints
0 -- 0Alain Frisch, Giuseppe Castagna, Véronique Benzaken. Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types

Volume 55, Issue 3

0 -- 0Benjamin Rossman. Homomorphism preservation theorems
0 -- 0Xi Chen, Xiaotie Deng. Matching algorithmic bounds for finding a Brouwer fixed point
0 -- 0Christos H. Papadimitriou, Tim Roughgarden. Computing correlated equilibria in multi-player games
0 -- 0Ninghui Li, Qihua Wang. Beyond separation of duty: An algebra for specifying high-level security policies

Volume 55, Issue 2

0 -- 0Wolfgang Mulzer, Günter Rote. Minimum-weight triangulation is NP-hard
0 -- 0Michael Benedikt, Wenfei Fan, Floris Geerts. XPath satisfiability in the presence of DTDs
0 -- 0Georg Gottlob, Alan Nash. Efficient core computation in data exchange
0 -- 0Martín Abadi, Bogdan Warinschi. Security analysis of cryptographically controlled access to XML documents
0 -- 0Marcelo Arenas, Leonid Libkin. XML data exchange: Consistency and query answering
0 -- 0Gábor Tardos. Optimal probabilistic fingerprint codes

Volume 55, Issue 1

0 -- 0Petr Jancar, Jirí Srba. Undecidability of bisimilarity by defender s forcing
0 -- 0Sergey Yekhanin. Towards 3-query locally decodable codes of subexponential length
0 -- 0Joseph Y. Halpern, Vicky Weissman. A formal foundation for XrML
0 -- 0Yefim Dinitz, Shlomo Moran, Sergio Rajsbaum. Bit complexity of breaking and achieving symmetry in chains and rings
0 -- 0Sergio Flesca, Filippo Furfaro, Elio Masciari. On the minimization of XPath queries