Back to Results
First PageMeta Content
Association for Computing Machinery / Science / Academia / Year of birth missing / ACM SIGACT / Computational learning theory / Theoretical computer science / Edward G. Coffman /  Jr. / Computer science


Document Date: 2012-12-28 00:19:24


Open Document

File Size: 82,21 KB

Share Result on Facebook

City

Santos / New York / /

Company

Avaya Laboratories / JAI Press / SIAM Journal / Minimizing Real-Time Transition Systems / Bell Laboratories / ACM-SIGMOD Intl / Computing Succinct Trade / 7th Annual Intl / Bell Labs / Database Systems / Recursive Probabilistic Systems / Rutgers-Princeton-Bell Labs / Real Time Systems / Pushdown Systems / Bell Labs-AT&T Labs / /

/

EntertainmentAwardEvent

Algorithmic Game Theory Databases Testing and Verification Awards / /

Facility

Electrical Engineering National Technical University of Athens / Computer Science Columbia University / University Percy K. / Computer Science Princeton University / /

NaturalFeature

Opposing Forests / /

Organization

Rutgers / Columbia University / National Academy of Engineering / Stanford University / Board of Governors / Oxford Univ. / Mathematics and Artificial Intelligence / Princeton University / Institute for Mathematics / NSF STC Center for Discrete Mathematics / Advisory Board / National Technical University of Athens / Association for Computing Machinery / /

Person

Review / Batch Sizing / A. V. Aho / N. Garg / V / Murray Hill / Nat / Nash Equilibria / Y. Sagiv / John Wiley / Algorithmica / Job Sequencing / D. Maier / /

/

Position

NJ Director / Model Checking / President / Program Chair / Traveling Salesman / Co-chair / Conference Chair / Member of Technical Staff / Professor of Computer Science August / Professor of Computer Science October / /

ProgrammingLanguage

Datalog / K / /

ProvinceOrState

New York / /

PublishedMedium

SIAM Journal on Computing / Annals of Mathematics / Logical Methods in Computer Science / Theoretical Computer Science / Theory of Computing / /

Technology

Approximation Algorithms / Network Protocols / /

SocialTag