Statistics - General 
14 entries using 3,556 words stored in 22,736 bytes.
6 comments using 247 words stored in 1,786 bytes.
0 trackbacks stored in 0 bytes.
0 static pages using 0 words stored in 0 bytes.
7,345 votes stored in 293 bytes.
10 Most rated entries 
Formal Model of a Protocol Converter (3.08).
On Process Complexity (3.03).
Minimum Cost Homomorphism to Oriented Cycles with Some Loops (3.02).
Papers (3.01).
Spreading of messages in random graphs (3.00).
CATS 2009 Discussion Track (2.99).
Boolean Affine Approximation with Binary Decision Diagrams (2.99).
Linear Axis for Planar Straight Line Graphs (2.97).
Reasoning about a distributed probabilistic system (2.96).
Syntactic Conditions for Invertibility in Sequent Calculi (2.94).
10 Most voted entries 
CATS 2009 Discussion Track (798).
Linear Axis for Planar Straight Line Graphs (630).
Longest Paths in Planar DAGs in Unambiguous Logspace (620).
Transformation Rules for Z (600).
On Process Complexity (553).
Distributing Frequency-Dependent Data Stream Computations (549).
10 Most viewed entries 
Minimum Cost Homomorphism to Oriented Cycles with Some Loops (51).
Spreading of messages in random graphs (50).
Formal Model of a Protocol Converter (27).
Boolean Affine Approximation with Binary Decision Diagrams (27).
Distributing Frequency-Dependent Data Stream Computations (26).
CATS 2009 Discussion Track (20).
Longest Paths in Planar DAGs in Unambiguous Logspace (19).
Reasoning about a distributed probabilistic system (19).
Transformation Rules for Z (18).
Edge-Selection Heuristics for Computing Tutte Polynomials (17).
10 Most commented entries 
CATS 2009 Discussion Track (2).
Boolean Affine Approximation with Binary Decision Diagrams (2).
Spreading of messages in random graphs (1).
Minimum Cost Homomorphism to Oriented Cycles with Some Loops (1).
Linear Axis for Planar Straight Line Graphs (0).
Syntactic Conditions for Invertibility in Sequent Calculi (0).