 |
|
|
 |
|
 | 
|
|
|
|
|
| |
| | | | | Show pages from United States Show all pages | |
|
 |  | 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. | |
| | Gadia, Shashi K.
- http://www.cs.iastate.edu/faculty/gadia.html
- 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, Naveen
- http://www.cse.iitd.ernet.in/~naveen
- Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms | |
| | Gazdar, Gerald
- http://www.informatics.sussex.ac.uk/research/groups/nlp/gazdar/gazdar.html
- University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars. | |
| | George, Deepak
- http://www.geocities.com/deepakgeorge2000/
- 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, Hossein
- http://www.cs.jcu.edu.au/~hossein/
- James Cook University - Secret sharing schemes, society-oriented cryptography. | |
| | 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. | |
| | Ghosh, Subir Kumar
- http://www.tcs.tifr.res.in/~ghosh/
- Tata Institute of Fundamental Research, Mumbai - Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications. | |
| | 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.
| |
|
|
This site is presented in modified Open Directory form
| |
| |
|
|
|
|
|
|
|
|
|
|
|
| | | | |
|
