|
|
Journals in DBLP
Inf. Comput.
2007, volume: 205, number: 9
- Jason P. Bell, Teow Lim Goh
Exponential lower bounds for the number of words of uniform length avoiding a pattern. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2007, v:205, n:9, pp:1295-1306 [Journal]
- Stavros Konstantinidis
Computing the edit distance of a regular language. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2007, v:205, n:9, pp:1307-1316 [Journal]
- Xiaoyang Gu, Jack H. Lutz, Philippe Moser
Dimensions of Copeland-Erdös sequences. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2007, v:205, n:9, pp:1317-1333 [Journal]
- Nicoletta De Francesco, Luca Martini
Instruction-level security analysis for information flow in stack-based assembly languages. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2007, v:205, n:9, pp:1334-1370 [Journal]
- Luigi Liquori, Simona Ronchi Della Rocca
Intersection-types à la Church. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2007, v:205, n:9, pp:1371-1386 [Journal]
- Tomasz Jurdzinski, Krzysztof Lorys
Lower bound technique for length-reducing automata. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2007, v:205, n:9, pp:1387-1412 [Journal]
- Guo-Qiang Zhang
Mediating secure information flow policies. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2007, v:205, n:9, pp:1413-1425 [Journal]
- Rance Cleaveland, Gerald Lüttgen, V. Natarajan
Priority and abstraction in process algebra. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2007, v:205, n:9, pp:1426-1458 [Journal]
- Wojciech Rytter
The number of runs in a string. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2007, v:205, n:9, pp:1459-1469 [Journal]
- Roberto M. Amadio
A synchronous pi-calculus. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2007, v:205, n:9, pp:1470-1490 [Journal]
|
