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

Subcategories 1

Related categories 2

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.
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.
[Mozilla Letter G]
Last update:
September 19, 2016 at 12:02:44 UTC
Computers
Games
Health
Home
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
All Languages
Arts
Business