Directory of Resources

Home > Computers > Computer Science > People > G

Subcategories

• Gates, Bill

Resources in This Category

• Gabbrielli, Maurizio

  http://www.cs.unibo.it/~gabbri/
  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

  http://www.cse.iitd.ernet.in/~naveen
  Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms

• Ghosh, R. K.

  http://www.cse.iitk.ac.in/~rkg/
  Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases.

• Gibbons, Nick

  http://www.nickgibbons.co.uk/
  Keele University, UK

• Gibson, Garth

  http://www.cs.cmu.edu/~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

  http://www-public.int-evry.fr/~gibson/
  IT SudParis. Personal information, details of research, publications, and teaching.

• Gilmore, Stephen

  http://www.dcs.ed.ac.uk/home/stg/
  University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.

• Goethals, Bart

  http://www.adrem.ua.ac.be/~goethals/
  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.

  http://cs.wheatoncollege.edu/~mgousie/
  Wheaton College - Computational Geometry and Computer Graphics, as applied to Geographic Information Systems (GIS).

• Grumberg, Orna

  http://www.cs.technion.ac.il/users/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

  http://agupta.wordpress.com/
  University of Calgary - Routing in Ad hoc Networks.

• Güting, Ralf Hartmut

  http://dna.fernuni-hagen.de/gueting/home.html
  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.

Related Categories

• Home > Computers > Programming > Personal Pages > G
• Home > Society > People > Personal Homepages > G

 

Home > Computers > Computer Science > People > G

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us