新規登録 | ログイン | FAQ      [?] 

著者: Gheyi [11 articles]

Recent papers posted to CiteULike by the author Gheyi.
  • Protein production and purification.
    Nat Methods, Vol. 5, No. 2. (February 2008), pp. 135-146.
    by , S Gräslund, P Nordlund, J Weigelt, J Bray, O Gileadi, S Knapp, U Oppermann, C Arrowsmith, R Hui, J Ming, S dhe-Paganon, HW Park, A Savchenko, A Yee, A Edwards, R Vincentelli, C Cambillau, R Kim, SH Kim, Z Rao, Y Shi, TC Terwilliger, CY Kim, LW Hung, GS Waldo, Y Peleg, S Albeck, T Unger, O Dym, J Prilusky, JL Sussman, RC Stevens, SA Lesley, IA Wilson, A Joachimiak, F Collart, I Dementieva, MI Donnelly, WH Eschenfeldt, Y Kim, L Stols, R Wu, M Zhou, SK Burley, JS Emtage, JM Sauder, D Thompson, K Bain, J Luz, T Gheyi, F Zhang, S Atwell, SC Almo, JB Bonanno, A Fiser, S Swaminathan, FW Studier, MR Chance, A Sali, TB Acton, R Xiao, L Zhao, LC Ma, JF Hunt, L Tong, K Cunningham, M Inouye, S Anderson, H Janjua, R Shastry, CK Ho, D Wang, H Wang, M Jiang, GT Montelione, DI Stuart, RJ Owens, S Daenke, A Schütz, U Heinemann, S Yokoyama, K Büssow, KC Gunsalus
    posted to purification protein by hchmani on 2008-05-14 18:52:03 as ** along with 4 people Yanno jyuh dchughes neils
  • Formal Model-Driven Program Refactoring
    Fundamental Approaches to Software Engineering (2008), pp. 362-376.
    by Tiago Massoni, Rohit Gheyi, Paulo Borba
    posted to no-tag by leonardo on 2008-04-05 19:07:24 as **
  • A rigorous approach for proving model refactorings
    (2005), pp. 372-375.
    by Rohit Gheyi, Tiago Massoni, Paulo Borba
    posted to 2005 proof by leonardo on 2008-02-01 15:12:38 as **
  • Refactoring Alloy Specifications
    Electronic Notes in Theoretical Computer Science, Vol. 95 (17 May 2004), pp. 227-243.
    by Rohit Gheyi, Paulo Borba
    posted to no-tag by leonardo on 2008-01-28 23:27:51 as **
  • An Abstract Equivalence Notion for Object Models
    Electronic Notes in Theoretical Computer Science, Vol. 130 (12 May 2005), pp. 3-21.
    by Rohit Gheyi, Tiago Massoni, Paulo Borba
    posted to no-tag by leonardo on 2008-01-28 23:27:48 as **
  • Formal refactorings for object models
    (2005), pp. 208-209.
    by Rohit Gheyi, Tiago Massoni
    posted to no-tag by leonardo on 2008-01-28 23:27:45 as **
  • A model-driven approach to formal refactoring
    (2005), pp. 124-125.
    by Tiago Massoni, Rohit Gheyi, Paulo Borba
    posted to no-tag by leonardo on 2008-01-28 23:27:43 as **
  • A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs
    Electronic Notes in Theoretical Computer Science, Vol. 195 (18 January 2008), pp. 189-209.
    by Tiago Massoni, Rohit Gheyi, Paulo Borba
    posted to no-tag by leonardo on 2008-01-28 23:27:33 as **
  • Refactoring product lines
    (2006), pp. 201-210.
    by Vander Alves, Rohit Gheyi, Tiago Massoni, Uir&\#225; Kulesza, Paulo Borba, Carlos Lucena
    posted to citas citas-caise05 by benavides on 2007-11-07 08:56:37 as ** along with 1 person segura
  • Requirement progression in problem frames: deriving specifications from requirements
    Requirements Engineering, Vol. 12, No. 2. (April 2007), pp. 77-102.
    by Robert Seater, Daniel Jackson, Rohit Gheyi
    posted to problemframes requirements specifications by asilva on 2007-10-22 09:27:48 as read along with 1 person leonardo
  • A Static Semantics for Alloy and its Impact in Refactorings
    Electron. Notes Theor. Comput. Sci., Vol. 184 (2007), pp. 209-233.
    by Rohit Gheyi, Tiago Massoni, Paulo Borba
    posted to 2007 alloy refactoring semantics by leonardo on 2007-08-10 03:28:24 as ***
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/author/Gheyi

    RIS BibTeX RSS
    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.