In Partnership with AOL
[A|B|C|D|E|F|GH|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z]
See also:
  • Gabbrielli, 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.
    [!]
  • Garg, Naveen - Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
    [!]
  • Ghosh, R. K. - Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases.
    [!]
  • Ghosh, Subir Kumar - Tata Institute of Fundamental Research, Mumbai - Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications.
    [!]
  • Gibbons, Nick - Keele University, UK
    [!]
  • Gibson, 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, Paul - IT SudParis. Personal information, details of research, publications, and teaching.
    [!]
  • Gilmore, Stephen - University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.
    [!]
  • Goethals, 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. - Wheaton College - Computational Geometry and Computer Graphics, as applied to Geographic Information Systems (GIS).
    [!]
  • Grumberg, 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, Abhinav - University of Calgary - Routing in Ad hoc Networks.
    [!]
  • G├╝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.
    [!]
Volunteer to edit this category.
[Mozilla Letter G]
Copyright © 1998-2014 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: December 8, 2013 at 1:27:20 UTC - edit