|
Journals in DBLP
- Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti
The power of first-order quantification over states in branching and linear time temporal logics. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2004, v:91, n:5, pp:201-210 [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:211-219 [Journal]
- Hiroshi Nagamochi, Nobuyasu Yamada
Counting edge crossings in a 2-layered drawing. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2004, v:91, n:5, pp:221-225 [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:227-232 [Journal]
- Markus Müller-Olm, Helmut Seidl
Computing polynomial program invariants. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2004, v:91, n:5, pp:233-244 [Journal]
- Yijie Han
Improved algorithm for all pairs shortest paths. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2004, v:91, n:5, pp:245-250 [Journal]
|