zuleger's library

All authors in zuleger's library
Aiken   Ashcraft   Baader   Balakrishnan   Ball   Bellantoni   Ben-Amram   Beyer   Bilardi   Blanchet   Boudet   Bourdoncle   Bradley   Brewer   Bruynooghe   Bryant   Burch   Bush   Cardelli   Chandler   Chandra   Chechik   Chelf   Chen   Chin   Christodorescu   Clarke   Comon   Cook   Cooper   Cousot   Cytron   Damas   Das   Davey   Delzanno   Detlefs   Devanbu   Dill   Dor   Engler   Ernst   Evans   Feret   Ferrante   Fischer   Flanagan   Floyd   Foster   Freund   Ganapathy   Godefroid   Gould   Graf   Grumberg   Gulwani   Guo   Gupta   Gurfinkel   Hallem   Hankin   Henzinger   Hoare   Horwitz   Hwang   Jackson   Jha   Jhala   Jones   Keshav   Kildall   Kristiansen   Lee   Lengauer   Lerner   Lev-Ami   Lillibridge   Lim   Loveland   Majumdar   Manna   Mauborgne   McCamant   Mcmillan   Mcpeak   Melski   Millstein   Milner   Miné   Monniaux   Necula   Nelson   Nielson   Niggl   Nipkow   O'Callahan   Oppen   Pacheco   Palm   Peled   Perkins   Pincus   Pingali   Podelski   Popeea   Priestley   Qadeer   Rabin   Rackoff   Rahul   Rajamani   Reddy   Reps   Rival   Rodeh   Rosen   Rustan   Rybalchenko   Rümmer   Sagiv   Saidi   Saxe   Saïdi   Schmidt   Schwichtenberg   Seigle   Shankar   Sielaff   Sifakis   Sipma   Srivastava   Stata   Su   Sutre   Talupur   Talwar   Tarjan   Theiling   Théoduloz   Théoduloz   Tiwari   Tschantz   Tucker   Useni   Veith   Velroyen   Venkatesan   Vitek   Wagner   Wegman   Wei   Weimer   Wirsing   Xiao   Xie   Xu   Zadeck  
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.