 |
|
|
|
 |
egories |
 |
 |
New Addition |
 |
|
|
 |
Details: |
 |
|
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.
Sponsored Links:
|
| URL: |
http://www.cs.technion.ac.il/users/orna/
|
| Title: |
Orna Grumberg's Home Page |
| Description: |
Computers, Computer Science, People, G - 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. |
| Specialized in: |
|
|
 |
|
 |
Gadia, Shashi K. (Popularity: ): Iowa State University - Temporal, spatial, belief, security, statistical and incomplete data; database models, type hierarchy, languages, user interfaces, optimization, ...
Gazdar, Gerald (Popularity: ): University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars.
Gilmore, Stephen (Popularity: ): University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.
George, Deepak (Popularity: ): This site is for all in the field of VLSI design, VHDL/Verilog Coding and Synthesis. It has links to tutorials, ...
Garg, Naveen (Popularity: ): Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
Gupta, Shyam (Popularity: ): Indian Institute of Technology, Delhi - Databases and Data Mining, Graph Theory, Computer Vision
Ghosh, Subir Kumar (Popularity: ): Tata Institute of Fundamental Research, Mumbai - Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications.
Gibbons, Nick (Popularity: ): Keele University, UK
Gueziec, Andre P. (Popularity: ): Triangle Software - Medical imaging, data visualization, 3D graphics, video processing.
Ghosh, R. K. (Popularity: ): Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases.
|
 |
Popular Sites |
 |
Grumberg, Orna (Popularity: ): The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite ...
Garg, Naveen (Popularity: ): Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
Gadia, Shashi K. (Popularity: ): Iowa State University - Temporal, spatial, belief, security, statistical and incomplete data; database models, type hierarchy, languages, user interfaces, optimization, ...
Gibson, Garth (Popularity: ): Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk ...
Gazdar, Gerald (Popularity: ): University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars.
|
 |
Related Press |
 |
 |
Related Articles |
 |
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|