Please help support CiteULike by taking part in our survey.
CiteULike yoriyuki's CiteULike Search Register Log in

yoriyuki's library

All authors in yoriyuki's library
   Abbott   Ajtai   Altenkirch   Avigad   Baaz   Baier   Barendregt   Barker   Barringer   Barwise   Beffara   Bella   Bellantoni   Bellare   Bengtsson   Bennett   Berardi   Berezin   Berger   Beyer   Bhargavan   Boudet   Bovykin   Buss   Byrd   Campos   Canetti   Cervesato   Chaki   Cheng   Chirimar   Church   Ciaffaglione   Clarke   Coecke   Comon   Cook   Danner   Danos   Danvy   David   Di Gianantonio   Dill   Dosen   Drexler   Dwyer   Ehrhard   Fabio   Feferman   Felleisen   Filinski   Flanagan   Freund   Gallier   Ganesh   Giannakopoulou   Gibbons   Ginnakopoulou   Gold   Goldreich   Grattage   Green   Gunter   Hagihara   Haiyan   Hankin   Henkin   Henzinger   Hofmann   Holzmann   Honda   Hu   Hughes   Huth   Igarashi   Ignjatovic   Inaoka   Ishihara   Iwama   Jaeger   Jhala   Johannsen   Jones   Jouannaud   Jukna   Katoen   Keisler   Kennedy   Kholshevnikov   Kimura   Kirsten   Kiyotaka   Klement   Kobayashi   Komendantsky   Krawczyk   Lamarche   Lambert   Lee   Leitsch   Leivant   Leue   Lowe   Luo   Maciel   Majumdar   Massacci   Matsumoto   Mauborgne   Mazala   Mcbride   Miller   Minamide   Mironova   Mitchell   Moniri   Morishima   Myllri   Nakazawa   Nelson   Nguyen   Nielson   Nikiforov   Nishizaki   Norell   Normann   Norrish   Nour   Obradovic   Ohsaki   Orlov   Padawitz   Pantel   Panu   Paris   Pasareanu   Paulson   Pennacchiotti   Perry   Petric   Pitassi   Pudlak   Pudlák   Pugh   Păsăreanu   Rémy   Raatikainen   Rajamani   Reed   Regnier   Rehof   Riecke   Royer   Russell   Saito   Sakurai   Sato   Satoru   Schwichtenberg   Selinger   Shibayama   Simpson   Smullyan   Sprenger   Stern   Stirling   Straburger   Sumii   Syverson   Takai   Takeuti   Tanikawa   Taura   Thielecke   Thiemann   Topping   Toyama   Travis   Ulrich   Urquhart   Vitaly   Voigtländer   Wadler   Wallingford   Watanabe   Weise   Werner   Whitehead   Wilkie   Wkolja   Woods   Wright   Xi   Yablo   Yamagata   Yang   Yasumoto   Yatabe   Yhoshida   Yi   Yoshida   Yu   Zappe   あきら　のなか   中島   安藤   安藤馨　   平田圭二   東条敏   柳生孝昭   義次   薄葉季路  
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.