Journals in DBLP
Bruno Blanchet Security protocols: from linear to classical logic by abstract interpretation. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2005, v:95, n:5, pp:473-479 [Journal ] Kyung-Sub Min , Hyoung-Joo Kim A path-based node filtering method for efficient structural joins, . [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2005, v:95, n:5, pp:480-486 [Journal ] Maurice H. ter Beek , Jetty Kleijn Modularity for teams of I/O automata. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2005, v:95, n:5, pp:487-495 [Journal ] Ian F. Blake , V. Kumar Murty , Guangwu Xu A note on window tau -NAF algorithm. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2005, v:95, n:5, pp:496-502 [Journal ] Kengo Katayama , Akihiro Hamamoto , Hiroyuki Narihisa An effective local search for the maximum clique problem. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2005, v:95, n:5, pp:503-511 [Journal ] Abraham P. Punnen , Olena Chapovska The bottleneck k -MST. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2005, v:95, n:5, pp:512-517 [Journal ]