Bultan, Tevfik
University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.
Bundy, Alan
University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.
Burdakov, Aleksey
Moscow State Technical University - CORBA, Object-oriented DBMSs, Performance evaluation tools and methods.
Buyya, Rajkumar
Monash University - Computer Architecture, Operating Systems, Compilers, Programming Paradigms, Parallel and Distributed Computing, Cluster Computing, Parallel I/O.
Hans J. Boehm
HP Labs - Java, Garbage collection, language theory
Bacon, Jean
University of Cambridge - Distributed systems.
Balakrishnan, M.
Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
Ball, Thomas
Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization.
Banerjee, Subhashis
Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
Banicescu, Ioana
Mississippi State University - Parallel algorithms, scientific computing, scheduling theory, and computational biology.
Banks, David
Florida State University - 3D computer graphics and scientific visualization.
Baquero, Carlos
Minho University - Distributed systems and mobile computing, Concurrent object-oriented programming.
Barr, Rimon
Cornell University - Distributed systems and database research
Bartolini, Claudio
HP Labs Palo Alto - Architecture and design of software systems and frameworks; Business activity management.
Becker, Simon M.
University of Technology Aachen - Software Engineering, Incremental Integration.
Bednarik, Roman
University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education.
Bennett, Charles H.
IBM Research - Quantum information and computation theory.
Berar, Sanda
Nokia Networks, Helsinki.
Bergamaschi, Sonia
Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases.
Bernstein, D. J.
University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking
Results: Previous 1 2 3 4 5 6 7 8 Next
Site
Menu 
