| 110267 |
A large bibliography on theory/foundations of computer science |
(2008) |
| 13109 |
Bibliography on Nonlinear Dynamics and Chaos |
(2003) |
| 6244 |
Bibliography for the journal "Theoretical Computer Science" |
(2005) |
| 5408 |
Bibliography of publications on cryptography and related subjects |
(2007) |
| 5317 |
Nachum Dershowitz's personal bibliography |
(1998) |
| 4217 |
Henning Fernau's personal bibliography |
(2008) |
| 2952 |
Bibliography of the Algorithms Project at INRIA |
(2007) |
| 2549 |
Bibliography of the "Journal of the ACM" |
(2008) |
| 2276 |
Bibliography of the proceedings volumes of the annual ACM Symposia on the Theory of Computing (STOC) |
(2006) |
| 2272 |
Categorical Logic In Computer Science Bibliography |
(1998) |
| 2223 |
Bibliography on pattern matching |
(2008) |
| 1686 |
Bibliography on cryptography and security |
(2001) |
| 1668 |
Bibliography on Hashing |
(2008) |
| 1608 |
Eureca Bibliography |
(1991) |
| 1508 |
Bibliography on Logic |
(2005) |
| 1448 |
Bibliography on the theory of concurrency |
(2004) |
| 1416 |
Bibliography for Relational Methods in Computer Science - RelMiCS |
(2001) |
| 1389 |
Bibliography of publications in the journal Algorithmica (ISSN 0178-4617 (print), 1432-0541 (electronic), CODEN ALGOEJ), which began publishing in 1986 |
(2008) |
| 1363 |
Bibliography of the proceedings of the annual IEEE symposia on the Foundations of Computer Science (FOCS) |
(2004) |
| 1357 |
Bibliography on Computability, Complexity and Constructivity in Analysis |
(2008) |
| 1357 |
Bibliography of publications in "Theory of Probability and its Applications" |
(2005) |
| 1287 |
Bibliography on online competitive algorithms |
(2007) |
| 1285 |
Bibliography of publications in the journal Acta Informatica |
(2008) |
| 1122 |
Bibliography for the Bulletin of the European Association of Theoretical Computer Science (EATCS) |
(2008) |
| 1073 |
Bibliography of the journal Designs, Codes, and Cryptography |
(2008) |
| 1066 |
Graph grammar bibliography |
(2003) |
| 924 |
Bibliography of the "Journal of Symbolic Computation" |
(1999) |
| 906 |
Bibliography of the book "An Introduction to Substructural Logics" |
(1999) |
| 871 |
Bibliography on trace theory |
(2008) |
| 834 |
Bibliographic Database for Computability Theory |
(2007) |
| 730 |
Bibliography on Computer Arithmetic |
(2009) |
| 672 |
Bibliography of the International Journal of Foundations of Computer Science |
(2006) |
| 669 |
Bibliography on logic (especially with respect to concurrency) |
(2006) |
| 643 |
Annotated Bibliography for the "Handbook for Probability in Computing" |
(1994) |
| 584 |
A bibliography on complexity and information |
(2000) |
| 562 |
MML/MDL/Inductive Inference Bibliography |
(1997) |
| 558 |
Bibliography on Calculi for Mobile Processes |
(2002) |
| 552 |
Bibliography on Finite Model Theory |
(1998) |
| 525 |
Bibliography of the Symposia on Information Theory in the Benelux |
(2000) |
| 499 |
Bibliography on algorithms for k shortest paths |
(2001) |
| 492 |
Imprecise Probabilities: A Bibliography |
(2001) |
| 490 |
The FLoC'02 omnibus bibliography |
(2002) |
| 482 |
Bibliography of the publications of the Graphs & Applications Group at LaBRI, University of Bordeaux |
(2007) |
| 475 |
Bibliography on Computational Intelligence and Efficient Algorithms |
(2002) |
| 470 |
Bibliography on Linear Logic |
(1998) |
| 463 |
Bibliography on graph coloring |
(2003) |
| 449 |
Bibliography on Logical Frameworks |
(2000) |
| 422 |
Bibliography on Dynamic Graph Algorithms |
(1996) |
| 414 |
Bibliography on Randomization in Sequential and Distributed Algorithms |
(1994) |
| 390 |
Picture Languages Bibliography |
(1998) |
| 360 |
The Map Labeling Bibliography |
(2008) |
| 357 |
Bibliography from the SYDCAT group |
(1993) |
| 345 |
Bibliography on Realizability |
(2000) |
| 329 |
Bibliography on linear logic and related subjects |
(1998) |
| 329 |
PVS Bibliography |
(2001) |
| 328 |
Bibliography on Rewriting Logic and Applications |
(2002) |
| 326 |
Bibliography on computational semantics |
(1994) |
| 322 |
Bibliography on the theory/foundations of computer science |
(2005) |
| 319 |
Bibliography on Subgraph Isomorphism |
(2001) |
| 309 |
Bibliography of Grammar Systems |
(2003) |
| 305 |
Annotated Bibliography of the Logical Frameworks Basic Research Action |
(1992) |
| 289 |
Bibliography of the LuFG Theoretical Computer Science, RWTH Aachen |
(2002) |
| 265 |
Bioinformatics Bibliography |
(2001) |
| 256 |
Papers in category theory and other areas |
(1993) |
| 235 |
Bibliography on partial k-trees |
(1992) |
| 230 |
Publications of the Correct System Design Group (University of Oldenburg) |
(2008) |
| 225 |
Bibliography on Mesh Generation and Optimal Triangulation |
(1994) |
| 198 |
Bibliography on the journal ACM Transactions on Computational Logic |
(2008) |
| 196 |
Bibliography on linear logic in computer science |
(1995) |
| 194 |
Bibliography on interactive proofs |
(1995) |
| 191 |
Heap Bibliography |
(1994) |
| 190 |
Bibliography of the proceedings of International Colloquium on Grammatical Inference (ICGI) |
(2004) |
| 187 |
Bibliography of the SATBIB project |
(2002) |
| 185 |
Bibliography of the Werkgemeenschap Informatie- en Communicatietheorie |
(2000) |
| 184 |
Bibliography on Formalism, Logic, Institution - Relating, Translating and Structuring (FLIRTS) |
(2003) |
| 181 |
Bibliography of the Journal of Cryptology |
(2000) |
| 177 |
Bibliography of the electronic journal "Discrete Mathematics & Theoretical Computer Science" (DMTCS) |
(2004) |
| 168 |
Bibliography on Steiner Trees |
(1997) |
| 164 |
Bibliography on graph partitioning |
(1992) |
| 162 |
Bibliography on Computational Number Theory |
(1994) |
| 149 |
Bibliography on Graph Partitioning |
(2000) |
| 129 |
Bibliography on ACM Transactions on Algorithms (ISSN 1549-6325). |
(2008) |
| 123 |
Bibliography on halving lines, k-sets, and parametric matroid optimization |
(1996) |
| 107 |
Bibliography on the random generation of combinatorial structures |
(2000) |
| 105 |
Bibliography on Quantum Computation |
(1996) |
| 105 |
Mesh generation bibliography |
(1996) |
| 93 |
Bibliography on Parallel Grammars |
(2003) |
| 90 |
Bibliography on cryptology |
(1993) |
| 58 |
INFOCOMP Journal of Computer Science |
(2005) |
| 49 |
Bibliography of the Proceedings of Graph Drawing '93, ALCOM International Workshop PARIS 1993 on Graph Drawing and Topological Graph Algorithms |
(1993) |
| 48 |
Bibliography on fractals |
(1990) |
| 38 |
Bibliography of Team Automata |
(2009) |
| 37 |
Bibliography of the electronic journal Chicago Journal of Theoretical Computer Science |
(2002) |
| 29 |
Prof. Dr. Christian Pape's Bibliography on Computer Science |
(2007) |
| 27 |
BFCA Bibliography |
(2006) |
| 26 |
Bibliography on biological information theory. |
(1993) |