Brajnik, Giorgio
University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.
Brandt, Felix
Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory.
Brankovic, Ljiljana
University of Newcastle - Security of statistical databases.
Breugel, Franck van
York University, Ontario - Concurrent programming languages, semantics, specification languages.
Bridges, Susan
Mississippi State University - Expert systems, knowledge discovery in databases, intelligent interfaces.
Brill, Eric
Johns Hopkins University - Empirical natural language processing, speech recognition, spoken language systems, machine learning, and artificial intelligence. Lexical disambiguation, parsing, classifier combination, spelling correction, language modelling.
Briot, Jean-Pierre
Laboratoire d'Informatique de Paris - Object-oriented programming, concurrency/parallelism, distributed programming, flexible and adaptive programs, meta-programming and reflection, artificial intelligence, multi-agent systems, software agents, mobile agents, artificial life, computer music.
Briscoe, Ted
University of Cambridge - Speech and language processing, computational linguistics.
Bruce, Kim B.
Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.
Bryant, Barrett R.
University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.
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
Results: Previous 1 2 3 4 5 6 7 8