Clear results
Legend
B De Schutter Prakash Panangaden Petr Hajek John N Tsitsiklis G Conte Yingxu Wang Gianfranco Balbo Roberto Segala Stefano Ceri Etienne E Kerre Elisa Bertino Richard Noss Ivo G Rosenberg Tapan J Chakraborty James Hiebert Tor Helleseth J H Conway Jim Gray Paul Cobb Ari Hottinen Alberto Isidori Nicholas D Sidiropoulos Michael J Franklin Donald D Chamberlin Ioana Manolescu Joachim Parrow N J A Sloane Lynn S Fuchs Jeanclaude Belfiore Richard Bellman Laurent Hardouin Vishwani D Agrawal David J Dewitt Philip A Bernstein Kokichi Futatsugi Rance Cleaveland F J Macwilliams Michael L Bushnell Carlo Zaniolo Jeff Kramer Veronique Cortier Holger Hermanns Peter J Ramadge John E Hopcroft Frits Vaandrager Leslie Lamport James Allen Michel Fliess Abdullah Uz Tansel Abraham Arcavi I R Goodman Tommy Dreyfus Ronald Fagin Vahid Tarokh Moshe Y Vardi Thomas P Carpenter Joseph Sifakis Alfred V Aho Bernhard Steffen J A Bergstra Patrick Sole Petar V Kokotovic Vincent Aleven Yannis Papakonstantinou Eduardo D Sontag T Rojano Nancy Lynch Brian D O Anderson Elke A Rundensteiner Jeffrey F Naughton Michael O J Thomas David William Carraher David N C Tse Divesh Srivastava David C Geary Bogdan J Falkowski Fred Paas W M Wonham Cumrun Vafa Mark Goresky Yiyu Yao Martha W Alibali Richard T Snodgrass G Rekaya Jeanpierre Quadrat Linda Levi Eric J Knuth Dexter Kozen Zohar Manna Rajeev Alur John C Mitchell Donald E Knuth Zexiang Li Dietmar Kuchemann P B Bhattacharya Xavier Nicollin A N Lasenby Mohamed Oussama Damen Joseph Y Halpern Peter Jeavons Stephen L Campbell David Harel Ed Brinksma Megan L Franke Otto Ruttwig Campoamor Stursberg Joanne Bechta Dugan Lotfi A Zadeh Shankar Sastry Ronald L Rivest Jianwen Su Rina Hershkowitz A S Morse M Viot Jan Paredaens Patrick W Thompson John Sweller Sebastian Uchitel Jeff Magee B A Sethuraman Reza Olfatisaber Jeanlouis Ferrier Giovanni Chiola Jerrold E Marsden Laura Jerry Hsiaofeng Lu James Clifford Amir Pnueli V S Subrahmanian Emanuele Viterbo John Doyle J Lasenby T J J Van Den Boom N H Mcclamroch Martin Abadi Frederique Oggier C H Moog Jeffrey D Ullman Ulle Kotta Rosamund Sutherland Paolo Terenziani David L Dill Michelene T H Chi Paul Cobb Lyn D English Babak Hassibi Guy Cohen David Tall Daniel Chazan Olav Tirkkonen Kenneth L Mcmillan Bart De Schutter Eduardo Bayrocorrochano Madhu Sudan Thomas Kailath Linda R Petzold Claudio Bettini Barbara M Brizuela Manfred Morari Serge Abiteboul Marta Kwiatkowska Bethany Rittlejohnson Jerome Simeon A W Roscoe Jan C Willems Sophie Cluet H El Gamal Bertrand M Hochwald Robert Glaser Robin Milner Giovanni De Micheli Hector J Sussmann Guido Moerkotte Xianggen Xia Alexander Renkl Robert K Brayton Kurt Vanlehn Hector Garciamolina Claude Samson Praveen Kumar Jeremy T Bradley Hajime Machida C A R Hoare Yang Xu Scott A Smolka Gordon Plotkin Michael H Bohlen M R Garey Cyprian F Ngolah Curtis E Dyreson Andrew Klapper Dedre Gentner Goetz Graefe Giuliana Franceschinis Tom Richardson Celia Hoyles Lieven De Lathauwer Peter Sussner Didier Dubois Hebertt Siraramirez Stephen Boyd Robert L Goldstone Georgios B Giannakis Joseph Goguen Stephen J Sangwine Henry Kautz Darrell Earnest Gianfranco Ciardo Matthew Hennessy B Sundar Rajan Armita Peymandoust Hung T Nguyen Bart De Moor Kaye Stacey J W Klop Susanna Donatelli Paris C Kanellakis Ana C Stephens Joseph M Hellerstein Ulrich Herzog Edward Witten Andrew Strominger B S Rajan Lizhong Zheng Margaret Kendal Jeanlouis Boimond Marco Bernardo Andrei Krokhin Insup Lee Jorg Liebeherr Kenneth R Koedinger Naomi Ehrich Leonard Daniel Liberzon Ralf Hartmut Guting Paul Chandler Stephen Gilmore Rasmus Bro Roger W Brockett Hamid Jafarkhani E Allen Emerson P Vijay Kumar A R Calderbank Catherine Meadows Asha K Jitendra Stanley B Zdonik Jan Friso Groote John R Anderson Sanjoy K Mitter Pierre Moller Gerald Sommer Petros Elia Arie Segev Mollie Macgregor Andrew Chichih Yao Christian S Jensen Gerard J Holzmann Jose Meseguer Robyn Pierce Kishor S Trivedi Raghu Ramakrishnan Christine Y Osullivan Roger W Brockett Gethin Norman Peter Buchholz J C M Baeten D S Malik Won Kim Demetri Terzopoulos V Shashidhar Elizabeth Fennema Jose Maria Ancochea Bermudez Kim Guldstrand Larsen Anna Sfard Rajeev Motwani David Maier Jon R Star Charles A Desoer Richard M Murray Nancy C Jordan M A O Vasilescu Pascal Morin J C Belfiore Yingxu Wang H V Jagadish Douglas Fuchs Umeshwar Dayal Wan Fokkink Edmund M Clarke Albert T Corbett Eugene J Shekita Ali Jadbabaie Rudolf Lidl Kaye Stacey Analucia D Schliemann Peter Van Beek Harald Niederreiter Jyrki Lahtonen Sanjay Lall Frank M Callier Timos Sellis Shu Lin Keith J Holyoak Fiona Herr George J Pappas John Power Roberto Gorrieri Pierre Rouchon Twan Basten Daizhan Cheng Michael J Carey Eric J Knuth Thomas J Cooper Shanta Hattikudur Soumitra Bose S R Nagpaul Colin Stirling Radim Belohlavek Ewa Orlowska Mathukumalli Vidyasagar Alberto O Mendelzon Nada Ballator Anthony M Bloch David S Johnson Arthur J Krener Peter Kemper Gio Wiederhold Shashi K Gadia Francois Baccelli Herbert A Simon Mark W Spong Maria L Blanton Cheng Fu M A Reniers Marc Gyssens Roope Vehkalahti Vera Pless Henri Prade Cedric Join Benoit Larose Joos Vandewalle Arthur C Graesser Richard Hull Iain Raeburn Andrei A Bulatov Tomas Feder David Pask Boualem Benatallah Stephane Gaubert Christel Baier Zdzislaw Pawlak P S Krishnaprasad Michael Stonebraker Nicole M Mcneil Mamadou Mboup Carol L Hamlett Elizabeth Warren Carolyn Kieran G De Micheli Vilem Vychodil Mitchell J Nathan Gerhard X Ritter Robert S Siegler Oded Goldreich Markus Siegle Camilla Hollanti Todd A Ell Koeno Gravemeijer J P Quadrat Michal Yerushalmy J J M M Rutten Erna Yackel Leslie P Steffe Thomas A Henzinger Marcelo Laca Markus Fidler Jane Hillston Vaughan R Pratt Riccardo Focardi Francesco Bullo Alberto Sangiovannivincentelli Francesc Esteva John N Mordeson Sushil Jajodia Rene L Cruz Jennifer Widom Joostpieter Katoen Wang Yi Charles E Leiserson Peter Buneman Laks V S Lakshmanan Luca Cardelli