|
|
Home: Computer Science: People: G
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- Gadia, Shashi K.
Iowa State University - Temporal, spatial, belief, security, stastical and incomplete data; database models, type hierarchy, languages, user interfaces, optimization, implementation and access methods; pattern matching in spatio-temporal data.
(Rating: 0.00 Votes: 0)
Rate It
- Garg, Naveen
Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
(Rating: 0.00 Votes: 0)
Rate It
- Gazdar, Gerald
University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- Ghodosi, Hossein
James Cook University - Secret sharing schemes, society-oriented cryptography.
(Rating: 0.00 Votes: 0)
Rate It
- Ghosh, R. K.
Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases.
(Rating: 0.00 Votes: 0)
Rate It
- Ghosh, Subir Kumar
Tata Institute of Fundamental Research, Mumbai - Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications.
(Rating: 0.00 Votes: 0)
Rate It
- Gilmore, Stephen
University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- Gueziec, Andre P.
Triangle Software - Medical imaging, data visualization, 3D graphics, video processing.
(Rating: 0.00 Votes: 0)
Rate It
- Gupta, Deepak
Indian Institute of Technology, Kanpur - Distributed Systems, Operating Systems, Internet Technologies.
(Rating: 0.00 Votes: 0)
Rate It
- Gupta, Shyam
Indian Institute of Technology, Delhi - Databases and Data Mining, Graph Theory, Computer Vision
(Rating: 0.00 Votes: 0)
Rate It
|
|
|
Web Hosting
Inkjet Cartridges
Go to my PC
Coupons
Discount Software
|