| | - Bart Goethals
Postdoctoral researcher of the ADReM research group at the University of Antwerp, Belgium. Research topics are: databases, data mining, and inductive databases. ...
http://www.adrem.ua.ac.be/~goethals/
|
| |
- Subir Kumar Ghosh
Tata Institute of Fundamental Research, Mumbai Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications. ...
http://www.tcs.tifr.res.in/~ghosh/
|
| |
|
- The University of Bologna
Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for realtime applications, logic programming. ...
http://www.cs.unibo.it/~gabbri/
| | |
| |
- Shashi K
A pattern matching language for spatiotemporal databases with T. Cheng. Proceedings of the Third International Conference on Information and Knowledge Management, 1994, pp. 288295. identity and dimension alignment in parametric databases with T. Che ...
http://www.cs.iastate.edu/faculty/gadia.html
|
| |
- Orna Grumberg
Computeraided 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. ...
http://www.cs.technion.ac.il/users/orna/
| | - Stephen Gilmore
I am a Reader in the School of Informatics at The University of Edinburgh. I pursue research on the use of the PEPA stochastic process algebra, a highlevel modelling language with applications in areas as diverse as performance evaluation of computer ...
http://www.dcs.ed.ac.uk/home/stg/
|
| |
- NickGibbons
As the name of the site suggests, Im Nick Gibbons. I hail from Staffordshire, Great Britain. I went to school, went to sixth form school, and then went to the University of Keele where I read a dual honours Bachelor of Science degree in computer scie ...
http://www.nickgibbons.co.uk/
| | |
| |
