[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Scrum goes formal: Agile methods for safety-critical systems
- 作者Wolff, Sune
- 文件大小190.15KB
- 发表时间2012
- DOI10.1109/formsera.2012.6229784
- 页码23-29
Modeling higher twist contributions to deep inelastic scattering with diquarksM. Anselmino; F. Caruso; J. R. T. Mello Neto; A. Penna Firme; J. Soares · 1996
Modeling higher twist contributions to deep inelastic scattering with diquarksM. Anselmino; F. Caruso; J. R. T. de Mello Neto; A. Penna Firme; J. Soares · 2011
Second-order contributions to the structure functions in deep inelastic scattering: (II) Comparison with experiment for the non-singlet contributions to e, μ-nucleon scatteringA. González-Arroyo; C. López; F.J. Ynduráin · 1979
Unitarity and Production AmplitudesCook, L. F.; Lee, B. W. · Physical Review · 1962
Genomic copy number dictates a gene-independent cell response to CRISPR-Cas9 targetingAguirre, A. J.; Meyers, R. M.; Weir, B. A.; Vazquez, F.; Zhang, C.-Z.; Ben-David, U.; Cook, A.; Ha, G.; Harrington, W. F.; Doshi, M. B.; Kost-Alimova, M.; Gill, S.; Xu, H.; Ali, L. D.; Jiang, G.; Pantel, S.; Lee, Y.; Goodale, A.; Cherniack, A. D.; Oh, C.; Kryukov, G.; Cowley, G. S.; Garraway, L. A.; Stegmaier, K.; Roberts, C. W.; Golub, T. R.; Meyerson, M.; Root, D. E.; Tsherniak, A.; Hahn, W. C. · Cancer Discovery · 2016
Initial results from the New Horizons exploration of 2014 MU <sub/>69</sub> , a small Kuiper Belt objectStern, S. A.; Weaver, H. A.; Spencer, J. R.; Olkin, C. B.; Gladstone, G. R.; Grundy, W. M.; Moore, J. M.; Cruikshank, D. P.; Elliott, H. A.; McKinnon, W. B.; Parker, J. Wm.; Verbiscer, A. J.; Young, L. A.; Aguilar, D. A.; Albers, J. M.; Andert, T.; Andrews, J. P.; Bagenal, F.; Banks, M. E.; Bauer, B. A.; Bauman, J. A.; Bechtold, K. E.; Beddingfield, C. B.; Behrooz, N.; Beisser, K. B.; Benecchi, S. D.; Bernardoni, E.; Beyer, R. A.; Bhaskaran, S.; Bierson, C. J.; Binzel, R. P.; Birath, E. M.; Bird, M. K.; Boone, D. R.; Bowman, A. F.; Bray, V. J.; Britt, D. T.; Brown, L. E.; Buckley, M. R.; Buie, M. W.; Buratti, B. J.; Burke, L. M.; Bushman, S. S.; Carcich, B.; Chaikin, A. L.; Chavez, C. L.; Cheng, A. F.; Colwell, E. J.; Conard, S. J.; Conner, M. P.; Conrad, C. A.; Cook, J. C.; Cooper, S. B.; Custodio, O. S.; Dalle Ore, C. M.; Deboy, C. C.; Dharmavaram, P.; Dhingra, R. D.; Dunn, G. F.; Earle, A. M.; Egan, A. F.; Eisig, J.; El-Maarry, M. R.; Engelbrecht, C.; Enke, B. L.; Ercol, C. J.; Fattig, E. D.; Ferrell, C. L.; Finley, T. J.; Firer, J.; Fischetti, J.; Folkner, W. M.; Fosbury, M. N.; Fountain, G. H.; Freeze, J. M.; Gabasova, L.; Glaze, L. S.; Green, J. L.; Griffith, G. A.; Guo, Y.; Hahn, M.; Hals, D. W.; Hamilton, D. P.; Hamilton, S. A.; Hanley, J. J.; Harch, A.; Harmon, K. A.; Hart, H. M.; Hayes, J.; Hersman, C. B.; Hill, M. E.; Hill, T. A.; Hofgartner, J. D.; Holdridge, M. E.; Horányi, M.; Hosadurga, A.; Howard, A. D.; Howett, C. J. A.; Jaskulek, S. E.; Jennings, D. E.; Jensen, J. R.; Jones, M. R.; Kang, H. K.; Katz, D. J.; Kaufmann, D. E.; Kavelaars, J. J.; Keane, J. T.; Keleher, G. P.; Kinczyk, M.; Kochte, M. C.; Kollmann, P.; Krimigis, S. M.; Kruizinga, G. L.; Kusnierkiewicz, D. Y.; Lahr, M. S.; Lauer, T. R.; Lawrence, G. B.; Lee, J. E.; Lessac-Chenen, E. J.; Linscott, I. R.; Lisse, C. M.; Lunsford, A. W.; Mages, D. M.; Mallder, V. A.; Martin, N. P.; May, B. H.; McComas, D. J.; McNutt, R. L.; Mehoke, D. S.; Mehoke, T. S.; Nelson, D. S.; Nguyen, H. D.; Núñez, J. · Science · 2019
Referee RecognitionAbraham, Bovas; Adatia, A.; Albert, James; Amini, Saeid B.; Ansley, Graig F.; Balakrishnan, N.; Bayne, Charles K.; Berk, Kenneth N.; Berry, Kenneth J.; Champ, C.; Chandler, John P.; Chaubey, Yogendra P.; Cook, Peyton; Dahiya, Ram C.; Dey, Dipak; Feiveson, A. H.; Fellner, William H.; Fomby, Thomas B.; Fujikoshi, Y.; Gokhale, D. V.; Greenhouse, Joel B.; Games, Paul A.; Gupta, Ramesh C.; Guttman, Irwin; Hawkins, D. L.; Hauck, W. W.; Higgins, James J.; Hinz, Paul; Isaki, C. T.; Jeyaratnam, S.; Jones, Michael P.; Keener, Robert; Korwar, R. M.; Lam, H. K.; Lee, Kwan; Li, Huaixiang; Macpherson, B. D.; Malik, Henrick J.; Manly, B. F. J.; Mansfield, Edward R.; Mantel, Nathan; Martin, R. D.; McCool, John I.; Mee, Robert; Moors, H.; Mukhopadhyay, N.; Nagarsenker, P. B.; Nelson, Peter R.; Nenno, M. R.; Perng, S. K.; Rao, Poduri S. R. S.; Rayner, J. C. W.; Roy, Roch; Rust, R. T.; Anthony Schork, M.; Seto, Noriaki; Shenton, L. R.; Shorack, G. R.; Shuster, J. J.; Simpson, D. G.; Slud, Eric V.; Strijbosch, L.; Swallow, William H.; Thompson, Georgia; Tiku, M. L.; Vardeman, Steven; Vardi, Y.; Warde, William; Weisberg, Sanford; Witt, Thomas K.; Wolf, Dennis A.; Wolfe, Robert A.; Woodward, W. A.; Young, Linda J. · Communications in Statistics - Simulation and Computation · 1989
The atmosphere of Pluto as observed by New HorizonsGladstone, G. R.; Stern, S. A.; Ennico, K.; Olkin, C. B.; Weaver, H. A.; Young, L. A.; Summers, M. E.; Strobel, D. F.; Hinson, D. P.; Kammer, J. A.; Parker, A. H.; Steffl, A. J.; Linscott, I. R.; Parker, J. W.; Cheng, A. F.; Slater, D. C.; Versteeg, M. H.; Greathouse, T. K.; Retherford, K. D.; Throop, H.; Cunningham, N. J.; Woods, W. W.; Singer, K. N.; Tsang, C. C. C.; Schindhelm, E.; Lisse, C. M.; Wong, M. L.; Yung, Y. L.; Zhu, X.; Curdt, W.; Lavvas, P.; Young, E. F.; Tyler, G. L.; Bagenal, F.; Grundy, W. M.; McKinnon, W. B.; Moore, J. M.; Spencer, J. R.; Andert, T.; Andrews, J.; Banks, M.; Bauer, B.; Bauman, J.; Barnouin, O. S.; Bedini, P.; Beisser, K.; Beyer, R. A.; Bhaskaran, S.; Binzel, R. P.; Birath, E.; Bird, M.; Bogan, D. J.; Bowman, A.; Bray, V. J.; Brozovic, M.; Bryan, C.; Buckley, M. R.; Buie, M. W.; Buratti, B. J.; Bushman, S. S.; Calloway, A.; Carcich, B.; Conard, S.; Conrad, C. A.; Cook, J. C.; Cruikshank, D. P.; Custodio, O. S.; Ore, C. M. D.; Deboy, C.; Dischner, Z. J. B.; Dumont, P.; Earle, A. M.; Elliott, H. A.; Ercol, J.; Ernst, C. M.; Finley, T.; Flanigan, S. H.; Fountain, G.; Freeze, M. J.; Green, J. L.; Guo, Y.; Hahn, M.; Hamilton, D. P.; Hamilton, S. A.; Hanley, J.; Harch, A.; Hart, H. M.; Hersman, C. B.; Hill, A.; Hill, M. E.; Holdridge, M. E.; Horanyi, M.; Howard, A. D.; Howett, C. J. A.; Jackman, C.; Jacobson, R. A.; Jennings, D. E.; Kang, H. K.; Kaufmann, D. E.; Kollmann, P.; Krimigis, S. M.; Kusnierkiewicz, D.; Lauer, T. R.; Lee, J. E.; Lindstrom, K. L.; Lunsford, A. W.; Mallder, V. A.; Martin, N.; McComas, D. J.; McNutt, R. L.; Mehoke, D.; Mehoke, T.; Melin, E. D.; Mutchler, M.; Nelson, D.; Nimmo, F.; Nunez, J. I.; Ocampo, A.; Owen, W. M.; Paetzold, M.; Page, B.; Pelletier, F.; Peterson, J.; Pinkine, N.; Piquette, M.; Porter, S. B.; Protopapa, S.; Redfern, J.; Reitsema, H. J.; Reuter, D. C.; Roberts, J. H.; Robbins, S. J.; Rogers, G.; Rose, D.; Runyon, K.; Ryschkewitsch, M. G.; Schenk, P.; Sepan, B.; Showalter, M. R.; Soluri, M.; Stanbr · Science · 2016
Plutos interaction with its space environment: Solar wind, energetic particles, and dustBagenal, F.; Horanyi, M.; McComas, D. J.; McNutt, R. L.; Elliott, H. A.; Hill, M. E.; Brown, L. E.; Delamere, P. A.; Kollmann, P.; Krimigis, S. M.; Kusterer, M.; Lisse, C. M.; Mitchell, D. G.; Piquette, M.; Poppe, A. R.; Strobel, D. F.; Szalay, J. R.; Valek, P.; Vandegriff, J.; Weidner, S.; Zirnstein, E. J.; Stern, S. A.; Ennico, K.; Olkin, C. B.; Weaver, H. A.; Young, L. A.; Gladstone, G. R.; Grundy, W. M.; McKinnon, W. B.; Moore, J. M.; Spencer, J. R.; Andert, T.; Andrews, J.; Banks, M.; Bauer, B.; Bauman, J.; Barnouin, O. S.; Bedini, P.; Beisser, K.; Beyer, R. A.; Bhaskaran, S.; Binzel, R. P.; Birath, E.; Bird, M.; Bogan, D. J.; Bowman, A.; Bray, V. J.; Brozovic, M.; Bryan, C.; Buckley, M. R.; Buie, M. W.; Buratti, B. J.; Bushman, S. S.; Calloway, A.; Carcich, B.; Cheng, A. F.; Conard, S.; Conrad, C. A.; Cook, J. C.; Cruikshank, D. P.; Custodio, O. S.; Dalle Ore, C. M.; Deboy, C.; Dischner, Z. J. B.; Dumont, P.; Earle, A. M.; Ercol, J.; Ernst, C. M.; Finley, T.; Flanigan, S. H.; Fountain, G.; Freeze, M. J.; Greathouse, T.; Green, J. L.; Guo, Y.; Hahn, M.; Hamilton, D. P.; Hamilton, S. A.; Hanley, J.; Harch, A.; Hart, H. M.; Hersman, C. B.; Hill, A.; Hinson, D. P.; Holdridge, M. E.; Howard, A. D.; Howett, C. J. A.; Jackman, C.; Jacobson, R. A.; Jennings, D. E.; Kammer, J. A.; Kang, H. K.; Kaufmann, D. E.; Kusnierkiewicz, D.; Lauer, T. R.; Lee, J. E.; Lindstrom, K. L.; Linscott, I. R.; Lunsford, A. W.; Mallder, V. A.; Martin, N.; Mehoke, D.; Mehoke, T.; Melin, E. D.; Mutchler, M.; Nelson, D.; Nimmo, F.; Nunez, J. I.; Ocampo, A.; Owen, W. M.; Paetzold, M.; Page, B.; Parker, A. H.; Parker, J. W.; Pelletier, F.; Peterson, J.; Pinkine, N.; Porter, S. B.; Protopapa, S.; Redfern, J.; Reitsema, H. J.; Reuter, D. C.; Roberts, J. H.; Robbins, S. J.; Rogers, G.; Rose, D.; Runyon, K.; Retherford, K. D.; Ryschkewitsch, M. G.; Schenk, P.; Schindhelm, E.; Sepan, B.; Showalter, M. R.; Singer, K. N.; Soluri, M.; Stanbridge, D.; Steffl, A. J.; Stryk, T.; Summers, M. E.; Tapley, M. · Science · 2016
CELL BIOLOGY AND SIGNALINGFurnari, F.; Fenton, T.; Nathanson, D.; de Alberquerque, C. P.; Kuga, D.; Wanami, A.; Dang, J.; Yang, H.; Tanaka, K.; Gao, L.; Oba-Shinjo, S.; Uno, M.; Inda, M.-d.-M.; Bachoo, R.; James, C. D.; DePinho, R.; Vandenberg, S.; Zhou, H.; Marie, S.; Mischel, P.; Cavenee, W.; Szerlip, N.; Pedraza, A.; Huse, J.; Mikkelsen, T.; Brennan, C.; Szerlip, N.; Castellani, R. J.; Ivanova, S.; Gerzanich, V. V.; Simard, J. M.; Ito, M.; See, W.; Mukherjee, J.; Ohba, S.; Tan, I.-L.; Pieper, R. O.; Lukiw, W. J.; Culicchia, F.; Pogue, A.; Bhattacharjee, S.; Zhao, Y.; Proescholdt, M. A.; Merrill, M.; Storr, E. M.; Lohmeier, A.; Brawanski, A.; Abraham, S.; Jensen, R.; Khatua, S.; Gopal, U.; Du, J.; He, F.; Golub, T.; Isaacs, J. S.; Dietrich, J.; Kalogirou-Valtis, Y.; Ly, I.; Scadden, D.; Proschel, C.; Mayer-Proschel, M.; Rempel, S. A.; Schultz, C. R.; Golembieski, W.; Brodie, C.; Mathew, L. K.; Skuli, N.; Mucaj, V.; Imtiyaz, H. Z.; Venneti, S.; Lal, P.; Zhang, Z.; Davuluri, R. V.; Koch, C.; Evans, S.; Simon, M. C.; Ranganathan, P.; Clark, P.; Salamat, S.; Kuo, J. S.; Kalejta, R. F.; Bhattacharjee, B.; Renzette, N.; Moser, R. P.; Kowalik, T. F.; McFarland, B. C.; Ma, J.-Y.; Langford, C. P.; Gillespie, G. Y.; Yu, H.; Zheng, Y.; Nozell, S. E.; Huszar, D.; Benveniste, E. N.; Lawrence, J. E.; Cook, N. J.; Rovin, R. A.; Winn, R. J.; Godlewski, J. A.; Ogawa, D.; Bronisz, A.; Lawler, S.; Chiocca, E. A.; Lee, S. X.; Wong, E. T.; Swanson, K. D.; Liu, K.-w.; Feng, H.; Bachoo, R.; Kazlauskas, A.; Smith, E. M.; Symes, K.; Hamilton, R. L.; Nagane, M.; Nishikawa, R.; Hu, B.; Cheng, S.-Y.; Silber, J.; Jacobsen, A.; Ozawa, T.; Harinath, G.; Brennan, C. W.; Holland, E. C.; Sander, C.; Huse, J. T.; Sengupta, R.; Dubuc, A.; Ward, S.; Yang, L.; Northcott, P.; Kroll, K.; Taylor, M.; Wechsler-Reya, R.; Rubin, J.; Chu, W.-T.; Lee, H.-T.; Huang, F.-J.; Aldape, K.; Yao, J.; Steeg, P. S.; Lu, Z.; Xie, K.; Huang, S.; Sim, H.; Agudelo-Garcia, P. A.; Hu, B.; Viapiano, M. S.; Hu, B.; Agudelo-Garcia, P. A.; Saldivar, J.; · Neuro-Oncology · 2011
Phonon frequencies of goldSingh, Natthi; Prakash, Satya · Physical Review B · 1974
All Entangled Quantum States Are NonlocalBuscemi, Francesco · Physical Review Letters · 2012
Graphene nanoribbons subject to gentle bendsKoskinen, P. · Physical Review B · 2012
Spatial Pinning ControlFrasca, Mattia; Buscarino, Arturo; Rizzo, Alessandro; Fortuna, Luigi · Physical Review Letters · 2012
Entangled Granular MediaGravish, Nick; Franklin, Scott V.; Hu, David L.; Goldman, Daniel I. · Physical Review Letters · 2012
Quantum Degenerate Dipolar Fermi GasLu, Mingwu; Burdick, Nathaniel Q.; Lev, Benjamin L. · Physical Review Letters · 2012
Quantum Electron StarAllais, Andrea; McGreevy, John; Suh, S. Josephine · Physical Review Letters · 2012
Simple waves in Hertzian chainsMcDonald, B. Edward; Calvo, David · Physical Review E · 2012