rgrig's library

All authors in rgrig's library
Abiteboul   Abramsky   Alber   Alur   Backes   Baker   Banderier   Bar-Yehuda   Barber   Barnett   Bird   Boneh   Bousquet-Melou   Bowen   Boyen   Burdy   Cardelli   Chaki   Cheon   Chitil   Clarke   Cleaveland   Coglio   Cok   Culler   Cunningham   Deline   Denise   Dershowitz   Detlefs   Dill   Dobkin   Driscoll   Elliott   Emerson   Ernst   Fahndrich   Fernau   Fiore   Flajolet   Flanagan   Fokkinga   Freund   Friedman   Gabbay   Gabow   Gallier   Gardy   Garland   Geiger   Gelfond   German   Goldreich   Gouyou-Beauchamps   Greenlaw   Groce   Gupta   Guttag   Hall   Haynes   Henzinger   Hinze   Hogger   Holzmann   Hoover   Hosoya   Hudak   Hughes   Huhdanpaa   Igarashi   Jha   Jones   Jouannaud   Jung   Karp   Kelsey   Kiniry   Klint   Klop   Kobayashi   Kowalski   Kurshan   Leavens   Leino   Leivant   Leroy   Leveson   Lifschitz   Liskov   Maibaum   Mansour   Marlow   Mazur   Mcadam   Mchugh   Mcmillan   Meijer   Moggi   Moore   Naor   Necula   Nelson   Neuhold   Niedermeier   Nisan   O'Hearn   Paterson   Patterson   Paul   Peled   Pfenning   Pierce   Plotkin   Pnueli   Poll   Quass   Razborov   Reps   Riecke   Robinson   Rodrigues   Roman   Rosolini   Roth   Ruby   Rushby   Rustan   Ruzzo   Sagiv   Sahay   Santos   Saxe   Schauser   Schulte   Shankar   Shrairman   Sifakis   Simon   Sistla   Stark   Steffen   Stirling   Subramonian   Tarjan   Thompson   Tiwari   Tofte   Tucker   Turner   Tzmann   Veith   Vinju   Vouillon   Wadler   Waidner   Walker   Wand   Widom   Wiener   Wing   Wolper   Woodcock   Xi   Yorsh   Zave   van den Brand   von Eicken  
Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.