Diagnosis of Symmetric Graphs Under the BGM Model.
- Published in:
- Computer Journal, 2004, v. 47, n. 1, p. 85, doi. 10.1093/comjnl/47.1.85
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2004 AND VI 47 AND IP 1
Results: 14
1
2
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs).
- Published in:
- Computer Journal, 2004, v. 47, n. 1, p. 71
- By:
- Publication type:
- Article
3
Combining Encryption and Proof of Knowledge in the Random Oracle Model.
- Published in:
- Computer Journal, 2004, v. 47, n. 1, p. 58, doi. 10.1093/comjnl/47.1.58
- By:
- Publication type:
- Article
4
Inversion Coding.
- Published in:
- Computer Journal, 2004, v. 47, n. 1, p. 46, doi. 10.1093/comjnl/47.1.46
- By:
- Publication type:
- Article
5
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation.
- Published in:
- Computer Journal, 2004, v. 47, n. 1, p. 25, doi. 10.1093/comjnl/47.1.25
- By:
- Publication type:
- Article
6
The Tower of Hanoi with Forbidden Moves.
- Published in:
- Computer Journal, 2004, v. 47, n. 1, p. 20, doi. 10.1093/comjnl/47.1.20
- By:
- Publication type:
- Article
7
Generalized Template Splay: A Basic Theory and Calculus.
- Published in:
- Computer Journal, 2004, v. 47, n. 1, p. 10
- By:
- Publication type:
- Article
8
New Models of Computation.
- Published in:
- Computer Journal, 2004, v. 47, n. 1, p. 4, doi. 10.1093/comjnl/47.1.4
- By:
- Publication type:
- Article
9
Book Reviews.
- Published in:
- Computer Journal, 2004, v. 47, n. 1, p. 135
- By:
- Publication type:
- Article
10
Book Reviews.
- Published in:
- Computer Journal, 2004, v. 47, n. 1, p. 134
- By:
- Publication type:
- Article
11
Book Reviews.
- Published in:
- Computer Journal, 2004, v. 47, n. 1, p. 134
- By:
- Publication type:
- Article
12
Building Footprint Simplification Techniques and Their Effects on Radio Propagation Predictions.
- Published in:
- Computer Journal, 2004, v. 47, n. 1, p. 103, doi. 10.1093/comjnl/47.1.103
- By:
- Publication type:
- Article
13
A Suggestion for a Fast Residue Multiplier for a Family of Moduli of the Form (2<sup>n</sup> - (2<sup>p</sup> ± 1)).
- Published in:
- Computer Journal, 2004, v. 47, n. 1, p. 93, doi. 10.1093/comjnl/47.1.93
- By:
- Publication type:
- Article
14
Capsule Reviews.
- Published in:
- Computer Journal, 2004, v. 47, n. 1, p. 1, doi. 10.1093/comjnl/47.1.1
- Publication type:
- Article