| LTN |
N: Computer Science People N:  Nelson, Ted: Ted Neumann, John von: von Ngu, AnneComputers: Ngu, People N University of New South Wales - Cooperative information systems Anne multimedia databases, and object-oriented databases. Nieh, JasonComputers: Nieh, People N Columbia University - operating systems Jason end-to-end system resource management, real-time interactive multimedia systems, network and thin-client computing, ubiquitous computing architectures, performance evaluation. Nipkow, TobiasComputers: Nipkow, People N Technische Universität München - Automatic and interactive theorem proving Tobias formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambda-calculus. Nadjm-Tehrani, Simin - NComputers: Nadjm-Tehrani, People N Linköping University - Formal methods in verification of real-time and embedded systems Simin N including discrete and hybrid models, applications of temporal logic, symbolic model checking, automata-based decompositional proof techniques. Nicol, David M.Computers: Nicol, People N Dartmouth College - Parallel processing David M. performance analysis, parallel simulation, static and dynamic mapping algorithms, network simulation, security. Nilsson, Stefan - NComputers: Nilsson, People N Royal Institute of Technology Stefan N Stockholm, Sweden. Algorithms and data structures, sorting and searching, tries, routing. Nadathur, GopalanComputers: Nadathur, People N University of Chicago - Declarative programming languages Gopalan lambda Prolog. Wired: The Curse of XanaduComputers: Wired, People N · A dismissive article by Gary Wolf on Ted Nelson and the history of Xanadu project The Curse of Xanadu . Ted Nelson and XanaduComputers: Ted Nelson, People N · A brief history of Nelson and Xanadu and Xanadu . John von Neumann: 1903 - 1957Computers: John, People N · Biography along with information about his work in automata theory von Neumann: 1903 1957 information theory, and biology. John von NeumannComputers: John, People N · Photographs of von Neumann and related to, John von Neumann. HomePageSearchComputer Science People - Searchtool for Personal Home Pages of Computer Scientists HomePageSearch Provides more than 75000 Links to Personal Home Pages of Computer Scientists. A Day in the Life of...Computer Science People - Archive of short biographies of how people in computer science/management information science spend their days in the Life of.. Hosted by Crossroads, the student magazine of the Association for Computing Machinery. CS Faculty LinksComputer Science People - List of Schools with Computer Science Departments Links linked directly to their faculty lists. | |||||||