Computer Science

Knowledge Engineering Review Knowledge Engineering Review- Committed to the development of the field of artificial intelligence and the clarification and dissemination of its methods and concepts. Combinatorics, Probability and Computing Combinatorics, Probability and Computing- Bimonthly devoted to the three areas of combinatorics, probability theory and theoretical computer science. Theoretical Informatics and Applications Theoretical Informatics and Applications- Publishes original research in the area of theoretical computer science and its applications. Informatica Informatica- An international journal of Computing and Informatics published by the Slovene Informatika Society. Tables of contents and abstracts from vol.17 (1993). Informatica Informatica- Mathematical simulation and optimization, recognition and control, programming theory and systems, automation systems and elements. Institute of Mathematics and Infor… Algorithmica Algorithmica- A journal about the design of algorithms in many applied and fundamental areas. Abstracts available, subscription for full-text articles. Theory of Computing Systems Theory of Computing Systems- Publishes research in all areas of theoretical computer science. Tables of contents from vol.29 (1996) on; full text to subscribers. Computational Statistics Computational Statistics- Focuses on the contribution of computing to statistics and vice versa in variety of fields of statistics. Publisher's site: abstracts, with full text for… Acta Informatica Acta Informatica- Covers design, description, presentation and analysis of programs, information structures and computing systems. Abstracts available, subscription for full-text … Visual Computer Visual Computer- Dedicated to reporting on the state-of-the-art technology in the fields of computer vision, graphics, and imaging including applications. Computational Complexity Computational Complexity- At the interface between mathematics and theoretical computer science. Abstracts available, subscription for full-text articles. Journal of Functional Programming Journal of Functional Programming- Devoted to this important area of computer science and spans the range from mathematical theory to industrial practice. Theory and Practice of Logic Programming Theory and Practice of Logic Programming- Among the topics covered are AI applications that use logic programming, natural language processing, knowledge representation, nonmonoti… Electronic Colloquium on Computational Complexity Electronic Colloquium on Computational Complexity- A forum about computational complexity supervised by a scientific board. Provides on-line research reports, surveys and books. SIAM Journal on Computing SIAM Journal on Computing- Contains research articles on the mathematical and formal aspects of computer science and nonnumerical computing. Journal of Computer and System Sciences Journal of Computer and System Sciences- A bimonthly journal covering computer and system sciences and their underlying mathematical theory. Computer Journal Computer Journal- Publishes articles across a wide range of computer science areas. IT Now (Formerly, Computer Bulletin) IT Now (Formerly, Computer Bulletin)- The membership magazine of the British Computer Society with the aim of spreading awareness of professional issues, IT innovations and techno… Journal of Logic and Computation Journal of Logic and Computation- Promotes the growth of logic and computing. The bulk of the content is technical scientific papers, letters, reviews, and discussions, as well as… Upgrade: The European Journal for the Informatics Professional Upgrade: The European Journal for the Informatics Professional- A bimonthly technical, independent, non-commercial, and freely distributed electronic publication. Journal of Theoretical and Applied Information Technology (JATIT) Journal of Theoretical and Applied Information Technology (JATIT)- Peer-reviewed electronic research journal with aim of promoting and publishing original high quality research de… Studia Universitatis Babes-Bolyai Series Informatica Studia Universitatis Babes-Bolyai Series Informatica- Tables of contents from vol.36 (1991) on. International Journal of Foundations of Computer Science International Journal of Foundations of Computer Science- (World Scientific) Tables of contents and abstracts from vol.10 (1999) on. Full text to subscribers or by individual purc… Chicago Journal of Theoretical Computer Science Chicago Journal of Theoretical Computer Science- A peer-reviewed on-line journal in theoretical computer science. Includes archived articles from 1995 to 2000. Journal of Universal Computer Science Journal of Universal Computer Science- A monthly on-line journal covering all aspects of computer science. Tables of contents and abstracts of all volumes. Full text to subscriber… Nelson H. F. Beebe's Bibliographies Page Nelson H. F. Beebe's Bibliographies Page- List of 100 journals, with completed and corrected bibliographies and links to the homepages. Computing Reviews Computing Reviews- Publishes reviews on current publications in any area of the computing sciences. CoRR - Computing Research Repository CoRR - Computing Research Repository- A preprint repository open to all researchers. Indexed in the Networked Computer Science Technical Reference Library - 900 papers. COGPRINTS - Cognitive Sciences Eprint Archive COGPRINTS - Cognitive Sciences Eprint Archive- Preprint archive open to all researchers - 500 documents in computer sciences. UCSTRI - Unified Computer Science TR Index UCSTRI - Unified Computer Science TR Index- Indexes 14,000 technical reports from institutions archives - accepts archive submissions. On-line CS Techreports On-line CS Techreports- List of 400 tech reports archives by institutions and countries (1996). ProQuest ProQuest- Databases, eBooks, and technology for researchers and libraries. IEEE Computer Society Digital Library IEEE Computer Society Digital Library- On-line access to 18 IEEE journals and to the proceedings of 150 conferences in computer science. Free access to abstracts and bibliography. IEEE Xplore IEEE Xplore- 650,000 on-line articles from 12,000 journals or conferences. Different levels of subscription are possible. IngentaConnect IngentaConnect- Online articles from over 30,000 publications. Abstracts are free; full text is available by subscription or pay-per-view. Inspec Inspec- English-language bibliographic information service providing access to scientific and technical literature in physics, electrical engineering, electronics, communications,… ACM Digital Library ACM Digital Library- 54,000 on-line articles from 30 journals and 900 proceedings of the Association for Computing Machinery. Free bibliography, some abstracts. Safari Safari- Electronic reference library for programmers and IT professionals. Offers search, annotate, read and build a personal reference collection. FirstSearch FirstSearch- Access to on-line publications and citations including computer sciences (for all fields: 11000 full-text journals, 75 databases and citations from 12500 journals). The Collection of Computer Science Bibliographies The Collection of Computer Science Bibliographies- Searchable database with over a million references. Human-Computer Interaction Human-Computer Interaction- Collection of about 850 links to bibliographic databases and annotated bibliographies, with short descriptions. USC Computer Vision USC Computer Vision- An annotated and searchable bibliography of computer vision and image processing papers, arranged by topics (36,000 entries, 1800 on-line papers). Network Bibliography Network Bibliography- Searchable bibliography on performance evaluation, computer networks, network security, digital signal processing (54,000 records with abstracts, 20,000 docu… Bibliography on Logical Frameworks Bibliography on Logical Frameworks- 450 references related to logical frameworks, which are formal meta-languages for deductive systems. Zennaro, Marco Zennaro, Marco- UC Berkeley. Tutorials on SMIL, XML, RPC, RR and RRA, parser LRk. Pictures, presentations and publications. Zilberstein, Shlomo Zilberstein, Shlomo- University of Massachusetts - Research interests include approximate reasoning, decision theory, design of autonomous agents, heuristic search, information ga… Wiederhold, Gio Wiederhold, Gio- Stanford University - Large-scale interoperation, mediation, and composition. Williams, Chris Williams, Chris- University of Edinburgh - Neural networks, statistical pattern recognition, probabilistic graphical models, and computer vision. Widom, Jennifer Widom, Jennifer- Stanford University - Databases: semistructured data and XML, data warehousing and heterogeneous database integration, active database systems, constraint managem… Wilson, Bill Wilson, Bill- University of New South Wales - Neural networks, natural language processing and collection of ill-formed sentences, cognitive modelling, and combinatorial search al…