[ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z ]
- Eades, Peter - - University of Sydney - Graph drawing, information visualization, software visualization, algorithms.
|
- Eder, Elmar - - University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory .
|
- 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.
|
- Engelfriet, Joeri - - Vrije Universiteit Amsterdam - Formal models for static and dynamic aspects of complex reasoning processes, temporal logic, and belief revision.
|
|