
Journals in DBLP
 Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti
The power of firstorder quantification over states in branching and linear time temporal logics. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2004, v:91, n:5, pp:201210 [Journal]
 Jun Ye, Xiande Liu, Lu Han
Evolutionary game algorithm for continuous parameter optimization. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2004, v:91, n:5, pp:211219 [Journal]
 Hiroshi Nagamochi, Nobuyasu Yamada
Counting edge crossings in a 2layered drawing. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2004, v:91, n:5, pp:221225 [Journal]
 Yong H. Shin, Hyokyung Bahn
A scalable Web cache sharing scheme. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2004, v:91, n:5, pp:227232 [Journal]
 Markus MüllerOlm, Helmut Seidl
Computing polynomial program invariants. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2004, v:91, n:5, pp:233244 [Journal]
 Yijie Han
Improved algorithm for all pairs shortest paths. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2004, v:91, n:5, pp:245250 [Journal]
