The Collection of
Computer Science Bibliographies

Bibliographies on Theory/Foundations of Computer Science

You can add bibliographies and references to this collection!


#RefsBibliographyDate
2864Bibliographies on Wavelets
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)
203126Total number of references in this section