Legend
Programming Language
Paper Map
Academic Map   Topic Map   Affiliation Map
Bryant Jiawei Han Patrick Cousot Jon Louis Bentley Ulrike Von Luxburg Franz Aurenhammer John W Sammon Edgar Frank Codd Alfred V Aho Maurice Herlihy Randal E Bryant Tapas Kanungo John C Reynolds Marsha J Berger Charles M Fiduccia Robin Milner W Daniel Hillis Robert E Tarjan Volker Gaede Xifeng Yan Aristides Gionis Sunil Arya Michael L Fredman Jonathan Richard Shewchuk Jiawei Han Andrei Broder P D Weiner Susan Horwitz Andrew V Goldberg Raphael Finkel Robert Paige Karl S Brace Michael Stonebraker Mayur Datar Natalia Volfovsky Akers Edgar Frank Codd Sergey Melnik I Herman Maurice Herlihy Niklaus Wirth Richard L Rudell John T Robinson Philippe Lacroute Daniel Dominic Sleator Jessica Lin Renzo Angles Szymon Rusinkiewicz Yannis Papakonstantinou Bruce Hendrickson Ronald Fagin Geoff Wyvill Ron K Cytron Rajesh Raman Karl Aberer Philippe Charles Christos Faloutsos Arthur L Delcher Patrick G A Pedrioli A Prasad Sistla Anand S Rao E P Crist Jordan Pollack Kunwar P Singh Mikael Degermark Mark Girolami Cristiana Amza Vasil Simeonov William Pugh Robin Milner Sanjay Agrawal John K Ousterhout Jehee Lee Koushik Sen Niklaus Wirth Michael Ernst Chi Cao Minh David Lorge Parnas Jon Louis Bentley Paolo Ferragina Jeannette M Wing Jianyong Wang Daniel Dominic Sleator Charles F Rose Peter W Ohearn Xifeng Yan Sergey Brin Jon Louis Bentley Emden R Gansner Niklaus Wirth Fran Ois Bancilhon James R Driscoll Ian Foster George Kollios Jerry R Burch Graham Cormode Leo J Guibas Mohammed J Zaki King Ip Lin Jerry R Burch Michael A Bender P N Yanilos Gordon Kindlmann Marc Sturm Jeffrey Scott Vitter Kurt Mehlhorn Robert E Strom Thomas Anderson J Bengtsson Ravindra K Ahuja Jack A Orenstein Ehud Shapiro Hugues Hoppe Kurt Hornik Peter Van Emde Boas Neil Sarnak Shinichi Minato Sarfraz Khurshid C D Thompson Glenn Ammons John V Guttag Harold N Gabow Kunwar P Singh Randal E Bryant Beate Bollig Andrew Chichih Yao G Gallo Jerry R Burch Mohamed Abouelhoda Chandrasekhar Boyapati John V Guttag Jason Gait Frank Losasso Maurizio Filippone Guy Jacobson Michael L Fredman Michael Mitzenmacher Jack A Orenstein C O S Sorzano Ellis Horowitz Bettina Grun Herbert Edelsbrunner Michael B Greenwald Ibrahim Kamel Chris Okasaki Maurice Herlihy Tian Zhang Jessica Lin Douglas R Smith Per Brinch Hansen S Nilsson Edmund M Clarke Paolo Frasconi Francine Berman Chandrasekhar Boyapati Tinsley A Galyean William B Frakes Carlos Pacheco Julien Basch Balachander Krishnamurthy Rakesh Agrawal Ralph H J M Otten Georgescu Alistair Moffat Alain Deutsch Mooly Sagiv Samin Ishtiaq Roberto Grossi Jure Leskovec Venkatachary Srinivasan Benjamin Zhu Moses Charikar Takashi Washio Benjamin S Kirk Maurice Herlihy Rudolf Bayer Robert E Tarjan Mark Dinverno John F Roddick Mooly Sagiv David W Embley Harold N Gabow Paolo Ferragina Goetz Graefe Kurt Mehlhorn David M Mount Yihfarn Chen Hanan Samet Sean P Healey Bernard Chazelle Eleftherios Koutsoos Martin Farach John Miles Smith Sarang Dharmapurikar Steven D Gribble Ron K Cytron Xin Li Anders Moller Michael J Carey Gosta Grahne Graham Cormode Kenneth L Clarkson Rudolf Bayer Ronald Fagin Jack A Orenstein James R Larus Rakesh Ghiya Willibald Doeringer Paolo Ferragina Jon Louis Bentley Jon Louis Bentley Juha Karkkainen Stefan Kurtz Krishnamurthy Sameer A Nene Randal E Bryant Daniel Jackson Dan Pelleg Ziyang Liu Martin Dietzfelbinger Yun Chi Manuel Fahndrich Arthur H Veen William A Wulf Chris Erway Milind Kulkarni K Rustan M Leino David R Karger Bernard Chazelle Anne Rogers Ralf Hartmut Gqting Randal E Bryant Sean Rhea John E Hughes Klaus Havelund Charles Koelbel Christos Faloutsos Paul F Dietz Yunchih Chang Zvi Galil Mohammed J Zaki Jonathan Aldrich Rupak Majumdar Stefano Spaccapietra Dick Hamlet Dertsai Lee Saar Cohen Lucas Kovar David Harel Alfred V Aho Rajeev Alur Leslie Lamport Alberto Bemporad Thomas A Henzinger Fred B Schneider A Chandra Stephen C Kleene David Lee James C Corbett Zvi Kohavi Daniel Brand Sushmita Mitra Wolfgang Thomas Martin Abadi Moshe Y Vardi Miguel F De Castro T S Chow Rajeev Alur Rohit Parikh Ahmed Bouajjani Rajeev Alur Reetinder P S Sidhu Ariel Rubinstein E A Emerson James W Thatcher Werner Damm Robert Mcnaughton R Sekar Michael Kearns Hao Chen Arthur Gill Jeremy Dick Axel Cleeremans Gerard Medioni Daniela Berardi Tevfik Bultan Calvin C Elgot Liwei He Dilip Abreu Alan Tickle Paul Caspi V M Glushkov Rajeev Alur C L Giles Alfred V Aho Ronald L Rivest J E Hopcroft Douglas Appelt Jordan Pollack Alan W Biermann Helen J Wang Wieslaw Zielonka Arto Salomaa Herve J Touati Somboon Hongeng Paola Inverardi Michael Abdelmalek Lin Tan Attila Kondacs Fred B Schneider Narain H Gehani Ying Liu Alain Girault James Moscola Timm Schafer Adam Dunkels William Chan Parosh Aziz Abdulla Simona Bernardi Anneliese Andrews M S Jaffe Jian Yin Jerry R Hobbs Gang Luo Chris Fox D L Coleman David Lee Rajeev Alur Santanu Paul Davide Lorenzoli Rajeev Alur Cristopher Moore E A Emerson Wolfgang Grieskamp Ramakrishna Kotla Fred B Schneider Tiziano Villa James W Thatcher Cuneyt M Ozveren Anselm Blumer Valentin M Antimirov Fabio Danilo Torrisi S Hashtrudi Zad Steven P Reiss Alexander Knapp Narain H Gehani Mehryar Mohri Claire J Tomlin Amitanand S Aiyer Benjamin C Brodie G De Micheli Miguel Castro Garth R Goodson Veronique Bruyare Yoginder S Dandass H K T Ma Kwangting Cheng Satoru Miyano Mike Casey Xiang Fu David Servanschreiber Pengyu Hong Dennis K Peters Matthew B Dwyer Peter Pietzuch R L Smith John H Miller Randy K Smith Leonard Pitt Marcelo Damorim Nicolas Halbwachs Ph Schnoebelen A P Kosoresow Henk Barendregt Dana S Scott Eugenio Moggi John C Mitchell Gul Agha N G De Bruijn Roberto M Amadio Martin Abadi Samson Abramsky John C Reynolds Robert Harper Samson Abramsky Gordon Plotkin James H Morris Marcelo Fiore Christopher K R T Jones Barry K Rosen Gul Agha Luis Damas Thomas Philip Runarsson Koen Claessen Luke M Williams Ye Zheng Jeff Kramer Donald D Chamberlin Elizabeth Oneil Richard Bird Edward A Lee Erik Meijer D A Turner Philip Wadler John G Hughes Simon L Peyton Jones Henri E Bal David Tarditi Arvind Robert Harper Per Bjesse John Backus Martin Odersky Philip Wadler Thomas Johnsson Paul Hudak William W Wadge Ralf Lammel Thomas Philip Runarsson M Hofmann Hongwei Xi Walid Taha Bruno Blanchet Thomas Johnsson Timothy S Freeman Fritz Henglein David Macqueen J Nathan Foster David Grove Simon L Peyton Jones Phil Trinder Malcolm Wallace Simon Thompson Jeanraymond Abrial Gerard Berry John Launchbury Cormac Flanagan Peter Sewell David E Culler Edward A Lee Peter W Shor Dally Kung Leslie Lamport Lamport William J Dally Andrei Sabelfeld Mark J Karol David C Luckham Edward A Lee Glenn Ricart Jeff Kramer Leslie Lamport Luiz Andre Barroso Yukwong Kwok Anant Agarwal Rajkumar Buyya Albert Benveniste Robert P Colwell Francine Berman Ahuja Bhuyan William J Dally Dennis David C Luckham Sankar K Pal Tom Leighton Daniel H Linder E A De Kock Monica S Lam Eric Mohr Steven K Reinhardt David Harel Gilles Fedak Shekhar Borkar Guy T Almes Philip Bohannon Ackerman Martin Abadi N R Adiga George Karypis Arthur J Bernstein Pohua P Chang Rajendra V Boppana Keshab K Parhi Kai Wang Leonardo Neumeyer R J A Buhr Guy E Blelloch James C Corbett Kemal Efe Snyder Karthikeyan Sankaralingam Gary L Miller Yong Zhao Davis Michael D Noakes Kwanliu Ma Kemal Efe Russ Miller Ishfaq Ahmad Umit V Catalyurek Sunyuan Kung Andrew Grimshaw Khaled Day Edward A Lee David Heimbold Patrice Godefroid Wittie William E Weihl Wenyen Chen Philipp Haller Rich Wolski Xiaola Lin Jeanpierre Goux Arvind R P Gorman Arvind Shekhar Y Borkar Jordi Cortadella Simonetta Balsamo Dirk Beyer Edmund M Clarke Cormac Flanagan Hidde De Jong Willem Visser Edmund M Clarke Klaus Havelund Anthony Hall Sam Owre Lilian Burdy Ji Zhang Dennis Dams Deepinder P Sidhu George Furnas Angelo Gargantini Ronald Ritchey Robert Darimont Luca P Carloni Xavier Leroy David S Rosenblum David Lorge Parnas Mats P E Heimdahl Jeff Offutt Matthew B Dwyer Jim Woodcock Ben Potter Yoonsik Cheon Leslie Lamport Jan Tretmans Yoonsik Cheon Andrea Ferrara Mudhakar Srivatsa A Van Lamsweerde Richard A Kemmerer Jonathan P Bowen Tommi Mikkonen Gregor V Bochmann Constance L Heitmeyer Christoph Kern Amihai Motro Steve Schneider Matthew B Dwyer Jonathan P Bowen Xavier Leroy Jan Tretmans Thomas Ball Gilles Bernot Robert H Bourdeau Jonathan P Bowen Data Structure Finite-state Machine Concurrent Computing Formal Methods Functional Programming Lambda Calculus