Eades, Peter
University of Sydney - Graph drawing, information visualization, software visualization, algorithms.
http://www.cs.usyd.edu.au/~peter/
Eder, Elmar
University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory .
http://www.cosy.sbg.ac.at/~eder/eder.html
Elmasri, Ramez
University of Texas in Arlington - Temporal databases, conceptual modeling, object-oriented databases, systems integration, distributed and multi-database systems, database models and languages, DBMS system implemention, indexing techniques, software engineering environments, operating systems, programming languages.
http://ranger.uta.edu/~elmasri/
Engelfriet, Joeri
Vrije Universiteit Amsterdam - Formal models for static and dynamic aspects of complex reasoning processes, temporal logic, and belief revision.
http://www.cs.vu.nl/~joeri/
|
E category powered by Free PHP ODP Script © Site Directory