All sites of Computer Science

Stolte, Nilo Stolte, Nilo
Stolte, Nilo- Research in computer graphics: voxelization and visualization of implicit surfaces, discrete ray tracing, and fractal clouds. ...
Subramaniam, L. Venkata Subramaniam, L. Venkata
Subramaniam, L. Venkata- IBM India Research Lab, New Delhi - Multimodal Speech Recognition, Image Processing. ...
Spiliotopoulos, Dimitris Spiliotopoulos, Dimitris
Spiliotopoulos, Dimitris- National and Kapodistrian University of Athens - Speech, Phonology, Intonation. ...
Sannella, Donald Sannella, Donald
Sannella, Donald- University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development. ...
Sewell, Peter Sewell, Peter
Sewell, Peter- University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing. ...
Simon, Janos Simon, Janos
Simon, Janos- University of Chicago - Computational complexity, including machine-based complexity, communication complexity, models of parallel computation, distributed computation, algorithms, problems inspired by the ...
Simpson, Alexander Simpson, Alexander
Simpson, Alexander- University of Edinburgh - Category theory, domain theory, logic, type theory. ...
Stirling, Colin Stirling, Colin
Stirling, Colin- University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties. ...
Sipper, Moshe Sipper, Moshe
Sipper, Moshe- Swiss Federal Institute of Technology, Lausanne. Application of Biological Principles to Artificial Systems, Evolutionary Computation, Cellular Computing, Bio-inspired Systems, Evolvable Hardware, Complex ...
Stark, Ian Stark, Ian
Stark, Ian- University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages. ...
Stroustrup, Bjarne Stroustrup, Bjarne
Stroustrup, Bjarne- Developer of the C++ programming language. ...
Schreiner, Wolfgang Schreiner, Wolfgang
Schreiner, Wolfgang- Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic computation. ...
Sitharam, Meera Sitharam, Meera
Sitharam, Meera- University of Florida. ...
Thompson, Henry S. Thompson, Henry S.
Thompson, Henry S.- University of Edinburgh - Computational linguistics, data-intensive linguistics, language corpora and corpus management, SGML, XML, XSL and DSSSL. ...
Tanenbaum, Andrew S. Tanenbaum, Andrew S.
Tanenbaum, Andrew S.- Vrije Universiteit - Operating systems, Minix, networks, distributed systems. ...
Theodorou, Pavlos Theodorou, Pavlos
Theodorou, Pavlos- University of The Aegean. Computer networks teaching and research. ...
Tasso, Carlo Tasso, Carlo
Tasso, Carlo- University of Udine - Knowledge based system development, student modeling, user modeling, intelligent information retrieval, intelligent information filtering. ...
Torp, Kristian Torp, Kristian
Torp, Kristian- Aalborg University - Temporal database systems. ...
Uustalu, Tarmo Uustalu, Tarmo
Uustalu, Tarmo- University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction. ...
Vegter, Gert Vegter, Gert
Vegter, Gert- University of Groningen - Geometric computing, computer algebra, and dynamical systems. ...
Vazirgiannis, Michalis Vazirgiannis, Michalis
Vazirgiannis, Michalis- Athens University of Economics and Business - Research on data mining, pattern bases, uncertainty and multimedia. ...
Vishwanathan, Sundar Vishwanathan, Sundar
Vishwanathan, Sundar- Indian Institute of Technology, Bombay - Algorithms, Combinatorics, Complexity theory. ...
Vemuri, V. Rao Vemuri, V. Rao
Vemuri, V. Rao- University of California, Davis - Digital Media, Soft Computing, Neural Networks, Genetic Algorithms, Numerical Methods. ...
Vidal, Germán Vidal, Germán
Vidal, Germán- Technical University of Valencia, Spain - Programming Languages, Functional and Logic Programming, Multi-Paradigm Programming, Semantics, Program Transformation, Partial Evaluation, Slicing, Specification, ...
Wegner, Peter Wegner, Peter
Wegner, Peter- Brown University - Interaction, compound and active document systems (such as OpenDoc, JavaBeans and ActiveX), object oriented programming, and programming languages. ...
Wilson, Bill 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 algorithms. ...
Widom, Jennifer Widom, Jennifer
Widom, Jennifer- Stanford University - Databases: semistructured data and XML, data warehousing and heterogeneous database integration, active database systems, constraint management, rule languages and systems, issues i ...
Williams, Chris Williams, Chris
Williams, Chris- University of Edinburgh - Neural networks, statistical pattern recognition, probabilistic graphical models, and computer vision. ...
Tompa, Martin Tompa, Martin
Tompa, Martin- University of Washington. ...
Zilberstein, Shlomo Zilberstein, Shlomo
Zilberstein, Shlomo- University of Massachusetts - Research interests include approximate reasoning, decision theory, design of autonomous agents, heuristic search, information gathering, monitoring and control of comput ...
Zennaro, Marco Zennaro, Marco
Zennaro, Marco- UC Berkeley. Tutorials on SMIL, XML, RPC, RR and RRA, parser LRk. Pictures, presentations and publications. ...
Bibliography on Logical Frameworks Bibliography on Logical Frameworks
Bibliography on Logical Frameworks- 450 references related to logical frameworks, which are formal meta-languages for deductive systems. ...
Network Bibliography Network Bibliography
Network Bibliography- Searchable bibliography on performance evaluation, computer networks, network security, digital signal processing (54,000 records with abstracts, 20,000 documents, submission welcome). ...
USC Computer Vision 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). ...
Human-Computer Interaction Human-Computer Interaction
Human-Computer Interaction- Collection of about 850 links to bibliographic databases and annotated bibliographies, with short descriptions. ...
The Collection of Computer Science Bibliographies The Collection of Computer Science Bibliographies
The Collection of Computer Science Bibliographies- Searchable database with over a million references. ...
FirstSearch 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). ...
Safari Safari
Safari- Electronic reference library for programmers and IT professionals. Offers search, annotate, read and build a personal reference collection. ...
ACM Digital Library 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. ...
Inspec Inspec
Inspec- English-language bibliographic information service providing access to scientific and technical literature in physics, electrical engineering, electronics, communications, control engineering, computers, computin ...
IngentaConnect IngentaConnect
IngentaConnect- Online articles from over 30,000 publications. Abstracts are free; full text is available by subscription or pay-per-view. ...
IEEE Xplore IEEE Xplore
IEEE Xplore- 650,000 on-line articles from 12,000 journals or conferences. Different levels of subscription are possible. ...
Theory of Computing Systems 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. ...
IEEE Computer Society Digital Library 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. ...
On-line CS Techreports On-line CS Techreports
On-line CS Techreports- List of 400 tech reports archives by institutions and countries (1996). ...
UCSTRI - Unified Computer Science TR Index UCSTRI - Unified Computer Science TR Index
UCSTRI - Unified Computer Science TR Index- Indexes 14,000 technical reports from institutions archives - accepts archive submissions. ...
COGPRINTS - Cognitive Sciences Eprint Archive COGPRINTS - Cognitive Sciences Eprint Archive
COGPRINTS - Cognitive Sciences Eprint Archive- Preprint archive open to all researchers - 500 documents in computer sciences. ...
CoRR - Computing Research Repository 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. ...
Computing Reviews Computing Reviews
Computing Reviews- Publishes reviews on current publications in any area of the computing sciences. ...
Nelson H. F. Beebe's Bibliographies Page 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. ...

Latest sites from Computer Science