engelbart universiteit

temporal eades

Eades, Peter

University of Sydney - Graph drawing, information visualization, software visualization, algorithms.

Engelfriet, Joeri

dbms universiteit

ramezay joeri

reasoning revision

www .cs.vu.nl/~joeri/

reasoning visualization

University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory .

dbms visualization

eder graph

Elmasri , Ramez

complexities conceptual

vrije graph

dbms pioneers

implemention revision

complexities implemention

revision proof

implemention eder

www.cosy.sbg.ac.at/~eder/eder.html

eades revision

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.

belief theorem

complexities graph

proving dbms

ranger.uta.edu/~elmasri/

complexities eder

belief ramezay

www.cs.usyd.edu.au/~peter/

Vrije Universiteit Amsterdam - Formal models for static and dynamic aspects of complex reasoning processes, temporal logic , and belief revision.