| Whois | Domain Search | Domain Suggestions | For Sale | Sales History | Auction Search | Domain Monitor | Domain Directory |
| Sort by |
| (Google PR) (Alphabetical) |
| Gates, Bill@ (14) |
  University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language. |
University of Calgary - Routing in Ad hoc Networks. |
University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars. |
University of Bologna - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming. |
Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, and network-attached storage devices. |
Iowa State University - Temporal, spatial, belief, security, statistical and incomplete data; database models, type hierarchy, languages, user interfaces, optimization, implementation and access methods; pattern matching in spatio-temporal data. |
IT SudParis. Personal information, details of research, publications, and teaching. |
Post-doctoral researcher of the ADReM research group at the University of Antwerp, Belgium. Research topics are: databases, data mining, and inductive databases. |
University of Hagen - Spatial data models and query languages (algebras), finite resolution geometry for spatial database systems, extensible spatial database systems, graphs (networks) in spatial databases. |
Wheaton College - Computational Geometry and Computer Graphics, as applied to Geographic Information Systems (GIS). |
The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking. |
Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms |
Keele University, UK |
Tata Institute of Fundamental Research, Mumbai - Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications. |
Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases. |
| Help build the largest human-edited directory on the web. |
| Submit a Site - Open Directory Project - Become an Editor |
Domain Tools analysis of DMOZ top listed domains
