| 451 F. Pfenning (Professor, Department of Computer Science Carnegie Mellon University ) |
|
|
||||
| Expertise: Logic Programs Theorem Proving / General-Purpose Automated Reasoning Logic Programs / Algebraic Semantics Functional Programming / Binding-Time Analysis Machine Learning Infinitary Logic / Recursive Models | |||||
| 452 Dana Ron (Professor, Department of Electrical Engineering - Systems Tel-Aviv University ) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds Machine Learning | |||||
| 453 Giorgio Buttazzo (Full Professor, Computer Engineering Scuola Superiore Sant'Anna of Pisa) |
| |
|
||||
| Expertise: Real-Time Systems | |||||
| 454 Justin Zobel (Professor, School of Computer Science and Software Engineering, the University of Melbourne) |
| |
|
||||
| Expertise: Information Retrieval / Probabilistic Indexing Data Compression / Arithmetic Coding XML Data Knowledge Management / Information Technologies Data Mining / Query Processing | |||||
| 455 R. J. Cole (Researcher, Computer Science Department Courant Institute of Mathematical Sciences New York University) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds Approximation Algorithms / Perfect Graphs | |||||
| 456 Michael T. Goodrich (Director, Department of Computer Science University of California ) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds Approximation Algorithms / Perfect Graphs Convex Polygons / Planar Arrangements Security Views / New Denial | |||||
| 457 Luis Gravano (Associate Professor, Computer Science Department Columbia University) |
| |
|
||||
| Expertise: Digital library / Information Access XML Data Database Systems Parallel Algorithms / Wormhole Networks | |||||
| 458 Scott E. Hudson (Professor, Human-Computer Interaction Institute School of Computer Science Carnegie Mellon University) |
| |
|
||||
| Expertise: User Interface Design / Collaborative interaction Database Systems | |||||
| 459 D. Panda (Professor, Computer Science and Engineering at The Ohio State University) |
| |
|
||||
| Expertise: Scheduling problem / Search algorithm Parallel Applications / Average-Case Performance Analysis Parallel Algorithms / Wormhole Networks | |||||
| 460 M. Atallah (Professor, Purdue University) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds Approximation Algorithms / Perfect Graphs Robust Watermarking Scheme / Copyright Protection Convex Polygons / Planar Arrangements Security Views / New Denial Logic Networks / Fault Simulation | |||||
| 461 R. G. Melhem (Chair Professor, Department of Computer Science University of Pittsburgh ) |
|
|
||||
| Expertise: Real-Time Systems Instruction Cache Organizations / Branch Prediction Logic Networks / Fault Simulation Parallel Algorithms / Wormhole Networks | |||||
| 462 Rajiv Gupta (Professor, Dept. of Computer Science & Engineering University of California Riverside) |
| |
|
||||
| Expertise: Real-Time Systems / Automated Software Test Data Instruction Cache Organizations / Branch Prediction Parallel Algorithms / Wormhole Networks Functional Programming / Binding-Time Analysis Parallel Computing / High Performance Fortran | |||||
| 463 Gerhard Woeginger (Department of Mathematics and Computer Science Eindhoven University of Technology ) |
|
|
||||
| Expertise: Communication Complexity / Lower Bounds Approximation Algorithms / Perfect Graphs Combinatorial optimization problem / Linear Programming | |||||
| 464 Zixiang Xiong (Professor, Department of Electrical and Computer Engineering Texas A&M University) |
| |
|
||||
| Expertise: Channel state information / Universal coding Wireless Networks / Priority Scheduling Scalable video coding / Rate control Data Compression / Arithmetic Coding Wavelet image coding / Video compression | |||||
| 465 I. L. Markov (Associate Professor, Electrical Engr. and Computer Science (CSE Division) ) |
|
|
||||
| Expertise: Power optimization / Synchronous Sequential Circuits | |||||
| 466 Edward J. McCluskey (Professor, Department of Electrical Engineering) |
| |
|
||||
| Expertise: Delay Test / Analysis Replace Fault Simulation Logic Networks / Fault Simulation | |||||
| 467 Gerard Salton (Professor, Harvard University Engineering College Library Committee) |
| |
|
||||
| Expertise: Information Retrieval / Probabilistic Indexing Computer / Systems | |||||
| 468 Yoav Shoham (Professor , Computer Science Department Stanford University ) |
| |
|
||||
| Expertise: Mechanism design / Learning Stochastic Finite Automata Default Logic / Description Logics Multi-Agent Systems / Agent organization Learning Search Control Rules / Explanation-based Approach | |||||
| 469 Kyuseok Shim (Professor, School of Electrical Engineering and Computer Science Seoul National University ) |
| |
|
||||
| Expertise: Data mining XML Data | |||||
| 470 Stefan Savage (Professor, Department of Computer Science and Engineering University of California) |
|
|
||||
| Expertise: Wireless network / End-to-end Routing Behavior File System / Software Systems Security Views / New Denial | |||||
| 471 F. T. Leighton (professor, Massachusetts Institute of Technology) |
|
|
||||
| Expertise: Communication Complexity / Lower Bounds Approximation Algorithms / Perfect Graphs | |||||
| 472 David Wagner (Associate Professor, Computer Science Division University of California, Berkeley ) |
| |
|
||||
| Expertise: Signature Schemes / Authenticated Key Exchange Secure Security Views / New Denial | |||||
| 473 M. Crovella (Professor, Computer Science Boston University) |
|
|
||||
| Expertise: Wireless network / End-to-end Routing Behavior Queueing Networks / Time-dependent performance analysis Parallel Algorithms / Wormhole Networks | |||||
| 474 Rina Dechter (Professor, University of California School of Information and Computer Science ) |
| |
|
||||
| Expertise: Constraint Programming / Combinatorial Search Problems Learning Search Control Rules / Explanation-based Approach Bayesian Networks | |||||
| 475 Richard N. Taylor (Chancellor's Professor, Information and Computer Sciences University of California) |
| |
|
||||
| Expertise: Real-Time Systems / Automated Software Test Data User Interface Design / Collaborative interaction Software Engineering | |||||
| 476 David Maier (Professor, Environmental & Biomolecular Systems, OGI School of Science & Engineering, OHSU) |
| |
|
||||
| Expertise: Finite Languages / Database Queries XML Data Database Systems | |||||
| 477 F. van Harmelen (professor, Division of Mathematics and Computer Science Vrije Universiteit Amsterdam) |
| |
|
||||
| Expertise: Knowledge-based data analysis / Medical Costs Default Logic / Description Logics Semantic Web / Ontology Alignment Multi-Agent Systems / Agent organization | |||||
| 478 Peng Ning (Associate Professor, Cyber Defense Laboratory Department of Computer Science North Carolina State University ) |
| |
|
||||
| Expertise: Sensor Networks / Outdoor wireless Security Views / New Denial | |||||
| 479 Andrew Yao (Professor, Center for Advanced Study Tsinghua University) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds | |||||
| 480 Lawrence C. Paulson (Professor of Computational Logic, Computer Laboratory University of Cambridge) |
| |
|
||||
| Expertise: Theorem Proving / General-Purpose Automated Reasoning Security Views / New Denial | |||||
| 481 Uriel Feige (Professor, Department of Computer Science and Applied Mathematics) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds | |||||
| 482 R. Studer (Professor, Knowledge Management Research Group Karlsruhe Institute of Technology (KIT)) |
| |
|
||||
| Expertise: Intelligent Systems / Artificial Intelligence Semantic Web / Ontology Alignment Web Data / Database design Database Systems Database Systems / Programming Languages | |||||
| 483 A. Frieze (Department of Mathematical Sciences Carnegie Mellon University) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds Random graph / Independence number | |||||
| 484 G. G. Robertson (Principal Researcher, Microsoft Research ) |
|
|
||||
| Expertise: Information Visualization / Turning Data User Interface Design / Collaborative interaction Visual Language Interactive Visualization / Computer graphics File System / Software Systems | |||||
| 485 P. Buneman (Professor, Laboratory for Foundations of Computer Science) |
|
|
||||
| Expertise: Finite Languages / Database Queries XML Data Database Systems Functional Programming / Binding-Time Analysis | |||||
| 486 Catriel Beeri |
|
|
||||
| Expertise: Finite Languages / Database Queries XML Data Web Data / Database design Database Systems | |||||
| 487 Saul Greenberg (Professor and iCore Chair, Department of Computer Science University of Calgary) |
| |
|
||||
| Expertise: User Interface Design / Collaborative interaction | |||||
| 488 Anna Karlin (Professor, Department of Computer Science & Engineering University of Washington ) |
| |
|
||||
| Expertise: Mechanism design / Learning Stochastic Finite Automata Communication Complexity / Lower Bounds Approximation Algorithms / Perfect Graphs Instruction Cache Organizations / Branch Prediction File System / Software Systems | |||||
| 489 Geoffrey Voelker (Associate Professor, Systems and Networking Research Group) |
| |
|
||||
| Expertise: Wireless network / End-to-end Routing Behavior Wireless Networks / Priority Scheduling Data Compression / Arithmetic Coding File System / Software Systems | |||||
| 490 Richard R. Muntz (Professor , UCLA Computer Science Department) |
| |
|
||||
| Expertise: Error function / Runge-Kutta integration XML Data Software Security Database Systems Logic Networks / Fault Simulation Queueing Networks / Time-dependent performance analysis | |||||
| 491 M. Waidner (IBM Distinguished Engineer, IBM Chief Technology Officer for Security, Watson Research Center (Hawthorne)) |
|
|
||||
| Expertise: Signature Schemes / Authenticated Key Exchange Secure Security Views / New Denial | |||||
| 492 J. Ponce (Professeur , D´epartement d’Informatique, Ecole Normale Sup´erieure [ENS], Paris) |
|
|
||||
| Expertise: Image Registration / MR Images Object Recognition / Two-View Motion Estimation Mobile Robot / Hybrid Control | |||||
| 493 N. Shavit (Computer Science Department Tel-Aviv University ) |
| |
|
||||
| Expertise: Communication Complexity / Lower Bounds Dynamic Networks / Extended Abstract | |||||
| 494 Pengjun Wan (Associate Professor, Department of Computer Science Illinois Institute of Technology) |
| |
|
||||
| Expertise: ATM Networks Approximation Algorithms / Perfect Graphs Wireless Networks / Priority Scheduling ATM network / Ethernet performance Parallel Algorithms / Wormhole Networks | |||||
| 495 Franco Zambonelli (Full Professor, Computer Science University of Modena and Reggio Emilia) |
|
|
||||
| Expertise: Web Services / Mobile Agents Adaptive Mobile Applications / Pervasive Computing Systems Multi-Agent Systems / Agent organization Grid Computing / Parallel Data Parallel Computing / High Performance Fortran | |||||
| 496 Raimund Seidel (Professor, Universität des Saarlandes) |
| |
|
||||
| Expertise: Convex Polygons / Planar Arrangements | |||||
| 497 H. Ney (Professor, Computer Science VI Human Language Technology and Pattern Recognition) |
| 498 ChengXiang Zhai (Associate Professor, Department of Computer Science, University of Illinois at Urbana-Champaign) |
|
|
||||
| Expertise: Gene Expression Analysis / Data Clustering Expression data / Microarray experiment Information Retrieval / Probabilistic Indexing Web Mining Instruction Cache Organizations / Branch Prediction | |||||
| 499 Dana Nau (Professor, Department of Computer Science Institute for Systems Research (ISR)) |
| |
|
||||
| Expertise: Surface interpolation / Geometric modeling Semantic Web / Ontology Alignment Learning Search Control Rules / Explanation-based Approach | |||||
| 500 Davide Sangiorgi (Professor, Department of Computer Science University of Bologna) |
| |
|
||||
| Expertise: Logic Programs / Algebraic Semantics | |||||