Journals in DBLP

J. ACM
2003, volume: 50, number: 5

1. Andrei A. Krokhin, Peter Jeavons, Peter Jonsson
   Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra. [Citation Graph (0, 0)][DBLP]
   J. ACM, 2003, v:50, n:5, pp:591-640 [Journal]
   
2. Alexander I. Barvinok, Sándor P. Fekete, David S. Johnson, Arie Tamir, Gerhard J. Woeginger, Russell Woodroofe
   The geometric maximum traveling salesman problem. [Citation Graph (0, 0)][DBLP]
   J. ACM, 2003, v:50, n:5, pp:641-664 [Journal]
   
3. Wei Biao Wu, Chinya V. Ravishankar
   The performance of difference coding for sets and relational tables. [Citation Graph (0, 0)][DBLP]
   J. ACM, 2003, v:50, n:5, pp:665-693 [Journal]
   
4. Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin
   Definable relations and first-order query languages over strings. [Citation Graph (0, 0)][DBLP]
   J. ACM, 2003, v:50, n:5, pp:694-751 [Journal]
   
5. Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
   Counterexample-guided abstraction refinement for symbolic model checking. [Citation Graph (0, 0)][DBLP]
   J. ACM, 2003, v:50, n:5, pp:752-794 [Journal]