학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 154건 | 목록 1~10
Academic Journal
In Electronic Notes in Discrete Mathematics 2001 9:19-35
Conference
Proceedings of the 18th IEEE International Conference on Automated Software Engineering. :94-105
Conference
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering. :62-73
Academic Journal
Altshuler, David M., (Co-Chair); Durbin, Richard M., (Co-Chair, Principal Investigator); Donnelly, PeterGreen, Eric D.Nickerson, Deborah A.Boerwinkle, EricDoddapaneni, HarshaHan, YiKorchina, ViktoriyaKovar, ChristieLee, SandraMuzny, DonnaReid, Jeffrey G.Zhu, YimingWang, Jun, (Principal Investigator); Chang, YuqiFeng, QiangFang, XiaodongGuo, XiaosenJian, MinJiang, HuiJin, XinLan, TianmingLi, GuoqingLi, JingxiangLi, YingruiLiu, ShengmaoLiu, XiaoLu, YaoMa, XuediTang, MeifangWang, BoWang, GuangbiaoWu, HonglongWu, RenhuaXu, XunYin, YeZhang, DandanZhang, WenweiZhao, JiaoZhao, MeiruZheng, XiaoleLander, Eric S., (Principal Investigator); Gabriel, Stacey B., (Co-Chair); Gupta, NamrataGharani, NedaToji, Lorraine H.Gerry, Norman P.Resch, Alissa M.Barker, JonathanGil, LaurentHunt, Sarah E.Kelman, GavinKulesha, EugeneLeinonen, RaskoMcLaren, William M.Radhakrishnan, RajeshRoa, AsierSmirnov, DmitriySmith, Richard E.Streeter, IanThormann, AnjaToneva, IlianaVaughan, BrendanZheng-Bradley, XiangqunBentley, David R., (Principal Investigator); Grocock, RussellHumphray, SeanJames, TerenaKingsbury, ZoyaLehrach, Hans, (Principal Investigator); Sudbrak, Ralf, (Project Leader); Albrecht, Marcus W.Amstislavskiy, Vyacheslav S.Borodina, Tatiana A.Lienhard, MatthiasMertes, FlorianSultan, MarcTimmermann, BerndYaspo, Marie-LaureMardis, Elaine R., (Co-Principal Investigator) (Co-Chair); Wilson, Richard K., (Co-Principal Investigator); Fulton, LucindaFulton, RobertAnaniev, VictorBelaia, ZinaidaBeloslyudtsev, DimitriyBouk, NathanChen, ChaoChurch, DeannaCohen, RobertCook, CharlesGarner, JohnHefferon, TimothyKimelman, MikhailLiu, ChunleiLopez, JohnMeric, PeterO’Sullivan, ChrisOstapchuk, YuriPhan, LonPonomarov, SergiySchneider, ValerieShekhtman, EugeneSirotkin, KarlSlotta, DouglasZhang, HuaBalasubramaniam, SenduranBurton, JohnDanecek, PetrKeane, Thomas M.Kolb-Kokocinski, AnjaMcCarthy, ShaneStalker, JamesQuail, MichaelSchmidt, Jeanette P., (Principal Investigator); Davies, Christopher J.Gollub, JeremyWebster, TeresaWong, BrantZhan, YipingAuton, Adam, (Principal Investigator); Campbell, Christopher L.Kong, YuMarcketta, AnthonyYu, Fuli, (Project Leader); Antunes, LilianBainbridge, MatthewSabo, AnikoHuang, ZhuoyiCoin, Lachlan J. M.Fang, LinLi, QibinLi, ZhenyuLin, HaoxiangLiu, BinghangLuo, RuibangShao, HaojingXie, YinlongYe, ChenYu, ChangZhang, FanZheng, HanchengZhu, HongmeiAlkan, CanDal, ElifKahveci, FatmaGarrison, Erik P., (Project Lead); Kural, DenizLee, Wan-PingLeong, Wen FungStromberg, MichaelWard, Alistair N.Wu, JiantaoZhang, MengyaoDaly, Mark J., (Principal Investigator); DePristo, Mark A., (Project Leader); Handsaker, Robert E., (Project Leader); Banks, EricBhatia, Gauravdel Angel, GuillermoGenovese, GiulioLi, HengKashin, SevaNemesh, James C.Poplin, Ryan E.Yoon, Seungtai C., (Principal Investigator); Lihm, JayonMakarov, VladimirClark, Andrew G., (Principal Investigator); Gottipati, SrikanthKeinan, AlonRodriguez-Flores, Juan L.Rausch, Tobias, (Project Leader); Fritz, Markus H.Stütz, Adrian M.Beal, KathrynDatta, AvikHerrero, JavierRitchie, Graham R. S.Zerbino, DanielSabeti, Pardis C., (Principal Investigator); Shlyakhter, IlyaSchaffner, Stephen F.Vitti, JosephCooper, David N., (Principal Investigator); Ball, Edward V.Stenson, Peter D.Barnes, BretBauer, MarkusCheetham, Keira R.Cox, AnthonyEberle, MichaelKahn, ScottMurray, LisaPeden, JohnShaw, RichardKenny, Eimear E., (Principal Investigator); Batzer, Mark A., (Principal Investigator); Konkel, Miriam K.Walker, Jerilyn A.MacArthur, Daniel G., (Principal Investigator); Lek, MonkolHerwig, RalfKoboldt, Daniel C.Larson, DavidYe, KaiGravel, SimonSwaroop, AnandChew, EmilyLappalainen, Tuuli, (Principal Investigator); Erlich, Yaniv, (Principal Investigator); Gymrek, MelissaWillems, Thomas FrederickSimpson, Jared T.Shriver, Mark D., (Principal Investigator); Rosenfeld, Jeffrey A., (Principal Investigator); Montgomery, Stephen B., (Principal Investigator); De La Vega, Francisco M., (Principal Investigator); Byrnes, Jake K.Carroll, Andrew W.DeGorter, Marianne K.Lacroute, PhilMaples, Brian K.Martin, Alicia R.Moreno-Estrada, AndresShringarpure, Suyash S.Zakharia, FouadHalperin, Eran, (Principal Investigator); Baran, YaelCerveira, ElizaHwang, JaehoMalhotra, Ankit, (Co-Project Lead); Plewczynski, DariuszRadew, KamenRomanovitch, MalloryZhang, Chengsheng, (Co-Project Lead); Hyland, Fiona C. L.Craig, David W., (Principal Investigator); Christoforides, AlexisHomer, NilsIzatt, TylerKurdoglu, Ahmet A.Sinari, Shripad A.Squire, KevinXiao, ChunlinSebat, Jonathan, (Principal Investigator); Antaki, DannyGujral, MadhusudanNoor, AminaYe, KennyBurchard, Esteban G., (Principal Investigator); Hernandez, Ryan D., (Principal Investigator); Gignoux, Christopher R.Haussler, David, (Principal Investigator); Katzman, Sol J.Kent, James W.Howie, BryanRuiz-Linares, Andres, (Principal Investigator); Dermitzakis, Emmanouil T., (Principal Investigator); Devine, Scott E., (Principal Investigator); Abecasis, Gonçalo R., (Principal Investigator) (Co-Chair); Kang, Hyun Min, (Project Leader); Kidd, Jeffrey M., (Principal Investigator); Blackwell, TomCaron, SeanChen, WeiEmery, SarahFritsche, LarsFuchsberger, ChristianJun, GooLi, BingshanLyons, RobertScheller, ChrisSidore, CarloSong, ShiyaSliwerska, ElzbietaTaliun, DanielTan, AdrianWelch, RyanWing, Mary KateZhan, XiaoweiAwadalla, Philip, (Principal Investigator); Hodgkinson, AlanLi, YunShi, Xinghua, (Principal Investigator); Quitadamo, AndrewLunter, Gerton, (Principal Investigator); McVean, Gil A., (Principal Investigator) (Co-Chair); Marchini, Jonathan L., (Principal Investigator); Myers, Simon, (Principal Investigator); Churchhouse, ClaireDelaneau, OlivierGupta-Hinch, AnjaliKretzschmar, WarrenIqbal, ZaminMathieson, IainMenelaou, AndronikiRimmer, AndyXifara, Dionysia K.Oleksyk, Taras K., (Principal Investigator); Fu, Yunxin, (Principal Investigator); Liu, XiaomingXiong, MomiaoJorde, Lynn, (Principal Investigator); Witherspoon, DavidXing, JinchuanBrowning, Brian L., (Principal Investigator); Browning, Sharon R., (Principal Investigator); Hormozdiari, FereydounSudmant, Peter H.Khurana, Ekta, (Principal Investigator); Hurles, Matthew E., (Principal Investigator); Albers, Cornelis A.Ayub, QasimChen, YuanColonna, VincenzaJostins, LukeWalter, KlaudiaXue, YaliAbyzov, AlexejBalasubramanian, SuganthiChen, JiemingClarke, DeclanFu, YaoHarmanci, Arif O.Jin, MikeLee, DonghoonLiu, JeremyMu, Xinmeng JasmineZhang, JingZhang, YanMcCarroll, Steven A., (Principal Investigator); Hartl, ChrisShakir, KhalidDegenhardt, JeremiahKorbel, Jan O., (Principal Investigator) (Co-Chair); Meiers, SaschaRaeder, BenjaminCasale, Francesco PaoloStegle, OliverLameijer, Eric-WubboDing, Li, (Principal Investigator); Hall, IraLee, Charles, (Principal Investigator) (Co-Chair); Bafna, VineetMichaelson, JacobGardner, Eugene J., (Project Leader); Mills, Ryan E., (Principal Investigator); Dayama, GargiChen, Ken, (Principle Investigator); Fan, XianChong, ZechenChen, TenghuiEichler, Evan E., (Principal Investigator) (Co-Chair); Chaisson, Mark J.Huddleston, JohnMalig, MaikaNelson, Bradley J.Parrish, Nicholas F.Blackburne, BenLindsay, Sarah J.Ning, ZeminZhang, YujunLam, HugoSisu, CristinaGibbs, Richard A., (Principal Investigator) (Co-Chair); Challis, DannyEvani, Uday S.Lu, JamesNagaswamy, UmaYu, JinLi, WangshenMarth, Gabor T., (Principal Investigator) (Co-Chair); Habegger, LukasYu, Haiyuan, (Principal Investigator); Cunningham, FionaDunham, IanLage, Kasper, (Principal Investigator); Jespersen, Jakob BergHorn, HeikoTyler-Smith, Chris, (Principal Investigator) (Co-Chair); Gerstein, Mark B., (Principal Investigator) (Co-Chair); Kim, DonghoonDesalle, RobNarechania, ApurvaWilson Sayres, Melissa A.Bustamante, Carlos D., (Principal Investigator) (Co-Chair); Mendez, Fernando L.Poznik, David G.Underhill, Peter A.Coin, Lachlan, (Principal Investigator); Mittelman, DavidBanerjee, RubyCerezo, MariaFitzgerald, Thomas W.Louzada, SandraMassaia, AndreaRitchie, Graham R.Yang, FengtangKalra, DivyaHale, WalkerDan, XuFlicek, Paul, (Principal Investigator) (Co-Chair); Clarke, Laura, (Project Lead); Sherry, Stephen T., (Principal Investigator) (Co-Chair); Chakravarti, Aravinda, (Co-Chair); Knoppers, Bartha M., (Co-Chair); Barnes, Kathleen C.Beiswanger, ChristineCai, HongyuCao, HongzhiHenn, BrennaJones, DanielleKaye, Jane S.Kent, AlastairKerasidou, AngelikiMathias, RasikaOssorio, Pilar N.Parker, MichaelRotimi, Charles N.Royal, Charmaine D.Sandoval, KarlaSu, YeyangTian, ZhongmingTishkoff, SarahVia, MarcWang, YuhongYang, LingZhu, JiayongBodmer, WalterBedoya, GabrielCai, ZhimingGao, YangChu, JiayouPeltonen, LeenaGarcia-Montero, AndresOrfao, AlbertoDutil, JulieMartinez-Cruzado, Juan C.Mathias, Rasika A.Hennis, AnselmWatson, HaroldMcKenzie, ColinQadri, FirdausiLaRocque, ReginaDeng, XiaoyanAsogun, DannyFolarin, OnikepeHappi, ChristianOmoniwa, OmonwunmiStremlau, MattTariyal, RidhiJallow, MuminatouJoof, Fatoumatta SisayCorrah, TumaniRockett, KirkKwiatkowski, DominicKooner, JaspalHiê`n, Trâ`n TinhDunstan, Sarah J.Hang, Nguyen ThuyFonnie, RichardGarry, RobertKanneh, LansanaMoses, LinaSchieffelin, JohnGrant, Donald S.Gallo, CarlaPoletti, GiovanniSaleheen, DanishRasheed, AsifBrooks, Lisa D.Felsenfeld, Adam L.McEwen, Jean E.Vaydylevich, YekaterinaDuncanson, AudreyDunn, MichaelSchloss, Jeffery A.Yang, Huanming
Nature. Oct 01, 2015 526(7571):68-74
Book
Computer Aided Verification (9783540374060); 2006, p137-151, 15p
검색 결과 제한하기
제한된 항목
[AR] Shlyakhter, Ilya
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어