Gabbrielli, Maurizio
University of Udine - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming.
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.
Gareth, Danieln
University of Wales, Swansea - Visualization of video data, summarising video, volume rendering, video processing, image processing.
Garg, Naveen
Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
Gazdar, Gerald
University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars.
George, 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.
Gerrard, Anthony
City University, London
Ghodosi, Hossein
James Cook University - Secret sharing schemes, society-oriented cryptography.
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
National University of Ireland, Maynooth - TASS (theoretical aspects of software systems) research group co-ordinator.
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.
Gueziec, Andre P.
Triangle Software - Medical imaging, data visualization, 3D graphics, video processing.
Gupta, Abhinav
University of Calgary - Routing in Ad hoc Networks.
Gupta, Deepak
Indian Institute of Technology, Kanpur - Distributed Systems, Operating Systems, Internet Technologies.
Results: 1 2 3 4 5 Next
Site
Menu 
