 |
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Gates, Bill 15
| | G - Personal Pages, Programming, Computers 17
G - Personal Homepages, People, Society 319
 Gabbrielli, MaurizioGabbrielli, Maurizio
 University of Bologna - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming.
|
Gadia, Shashi K.Gadia, Shashi K.
 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.
|
Garg, NaveenGarg, Naveen
 Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
|
Gazdar, GeraldGazdar, Gerald
 University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars.
|
George, DeepakGeorge, Deepak
 This site is for all in the field of VLSI design, VHDL/Verilog Coding and Synthesis. It has links to tutorials, style guides, tips on designing and some useful codes.
|
Ghodosi, HosseinGhodosi, Hossein
 James Cook University - Secret sharing schemes, society-oriented cryptography.
|
Ghosh, R. K.Ghosh, R. K.
 Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases.
|
Ghosh, Subir KumarGhosh, Subir Kumar
 Tata Institute of Fundamental Research, Mumbai - Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications.
|
Gibbons, NickGibbons, Nick
 Keele University, UK
|
Gibson, GarthGibson, Garth
 Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, and network-attached storage devices.
|
Gibson, PaulGibson, Paul
 IT SudParis. Personal information, details of research, publications, and teaching.
|
Gilmore, StephenGilmore, Stephen
 University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.
|
Goethals, BartGoethals, Bart
 Post-doctoral researcher of the ADReM research group at the University of Antwerp, Belgium. Research topics are: databases, data mining, and inductive databases.
|
Gousie, Michael B.Gousie, Michael B.
 Wheaton College - Computational Geometry and Computer Graphics, as applied to Geographic Information Systems (GIS).
|
Grumberg, OrnaGrumberg, Orna
 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.
|
Gupta, AbhinavGupta, Abhinav
 University of Calgary - Routing in Ad hoc Networks.
|
Gupta, DeepakGupta, Deepak
 A collection of funny pictures and optical illusions.
|
Güting, Ralf HartmutGüting, Ralf Hartmut
 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.
|
|
|
|
