부산대학교 도서관

Schemmel, D.; Busse, F.; Nowack, M.; Cadar, C.; Büning, J.

In: ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. (ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 12 July 2023, :1491-1494)

Hill, M.D.; Goyal, M.; Menon, B.K.; Demchuk, A.M.; Zerna, C.; Ospel, J.M.; Joshi, M.; Almekhlafi, M.A.; Ryckborst, K.J.; Coutts, S.B.; Lowerison, M.W.; Buck, B.H.; Rempel, J.L.; Phillips, S.J.; Mandzia, J.L.; Poppe, A.Y.; Roy, D.; Iancu, D.; Teitelbaum, J.; Dowlatshahi, D.; Kelly, M.E.; Silver, F.L.; Bharatha, A.; Swartz, R.H.; Yu, A.Y.X.; Camden, M.-C.; van Adel, B.A.; Sahlas, D.J.; Field, T.S.; Rohr, A.C.; Shah, R.A.; Devlin, T.G.; Frei, D.F.; Choe, H.; Jadhav, A.; Turkel-Parrella, D.; McDougall, C.G.; Starkman, S.; Heck, D.; McTaggart, R.A.; Cutting, S.M.; Lopez, G.A.; Sauvageau, E.; Hanel, R.A.; Nogueira, R.G.; Haussen, D.; Puri, A.S.; English, J.; Martin, C.O.; Schindler, J.L.; Tarpley, J.W.; Gupta, R.; Budzik, R.F.; Bang, O.Y.; Heo, J.H.; Rha, J.-H.; Sohn, S.-I.; Campbell, B.C.V.; Kleinig, T.J.; Thornton, J.; Murphy, S.; Burns, P.A.; Holmin, S.; Thomalla, G.; Puetz, V.; Psychogios, M.-N.; Chapot, R.; Nagel, S.; Heard, K.; Garman, D.; Tymianski, M.; Barber, P.; Smith, E.; Bal, S.; Subramaniam, S.; Peters, S.; Couillard, P.; Klein, G.; Stys, P.; Wong, J.; Mitha, A.; Eesa, M.; Morrish, W.; Alqatani, S.; Kashani, N.; Venkatesan, P.; Teleg, E.; Sitaram, A.; Graham, B.; Van Gaal, S.; Moussaddy, A.; Chakraborty, D.; Maraj, N.; Loockey, A.; Chen, S.; Singh, R.; Alsultan, A.; Asuncion, R.; Tse, D.; Doshi, D.; Volny, O.; Ojha, P.; Wadhwa, A.; Marko, M.; Singh, N.; Wasyliw, S.; Ryckborst, K.; Kenney, C.; Save, S.; Jambula, A.; Newcommon, N.; Hull, G.; Blackstock, D.; Kiszczak, S.; Zimmel, L.; Wright, M.; Jahraus, C.; Andersen, L.; Bohn, S.; Paul, J.; Zhang, O.; Doram, C.; Hanley, A.; Campbell, L.; Ure, A.; Taylor, F.; Hul, D.; Wiebe, S.; Saluzzi, M.; Blenkin, N.; Frayne, R.; Butcher, K.; Shuaib, A.; Jeerakathil, T.; Jickling, G.; Emery, D.; Rempel, J.; Owen, R.; Ashforth, R.; Yeo, T.; Kotylak, T.; O'Kelly, C.; Chow, M.; Siddiqui, M.; Saqqur, M.; D'Souza, A.; Lloret, M.; Butt, A.; Nomani, A.; Kalashyan, H.; Thirunavukkarasu, S.; Jabs, J.; Fairall, P.; Piquette, L.; Phillips, S.; Green, A.L.; Gubitz, G.; Heidenreich, J.; Huynh, T.; Shankar, J.; Maloney, W.; Vandorpe, R.; Schmidt, M.; Pickett, G.; Weeks, A.; Jarrett, J.; MacDonald, D.; Arsenault, J.; Kinnear, R.; Mayich, M.; Boulton, M.; Bullrich, M.; Fridman, S.; Kiwan, R.; Lee, D.; Lownie, S.; Khaw, A.; Pandey, S.; Sharma, M.; Sposato, L.; Wade, K.; Beauchamp, B.; Lambourn, L.; Amato-Marziali, B.; Poppe, A.; Daneault, N.; Deschaintre, Y.; Gioia, L.; Jacquin, G.; Odier, C.; Stapf, C.; Raymond, J.; Weill, A.; Lapierre, M.; Jadil, N.; Jolteus, J.; Angle, M.; Hannouche, M.; Badawy, M.; Letourneau, J.; Cortes, M.; Linnell, G.; Tampieri, D.; Vieira, L.; Legault, C.; Durcan, L.; Moore, A.; Cole, E.; Magnussen, C.; Salmon, K.; Khalil, S.; Desloges, I.; Waxman, L.; Abdon, W.; Lai, S.; Shamy, M.; Stotts, G.; Blacquiere, D.; Lesiuk, H.; Quateen, A.; Drake, B.; Dewar, B.; Daham, Z.; Hunter, G.; Peeling, L.; Whelan, R.; Garner, A.; Urroz, L.; Maley, S.; Silver, F.; Casaubon, L.; Pikula, A.; Del Campo, M.; Schaafsma, J.; Jaigobin, C.; Krings, T.; Pereira, V.; Agid, R.; Farb, R.; Kalman, L.; Cayley, A.; Williams, J.; Stewart, T.; Misquitta, K.; Selchen, D.; Marotta, T.; Sarma, D.; Montanera, W.; Spears, J.; Saposnik, G.; Kostyrko, P.; Li, Y.; Parra-Farina, C.; Bengzon Diestro, J.D.; Verreault, S.; Mackey, A.; Audet, M.-E.; Milot, G.; Lavoie, P.; Gariépy, J.-L.; Collard, K.; Haché, A.; Van Adel, B.; Sahlas, D.; Alshanbari, A.; Baldwin, J.; Catanese, L.; Chen, B.; De Sa Boasquevisque, D.; Deshmukh, A.; Knapman, J.; Lamers, S.; Larrazabal, R.; MacMillan, S.; Mai, L.; Mattia, A.; Nayar, S.; Ng, K.; Oczkowski, W.; Perera, K.; Shawawrah, M.; Shoamanesh, A.; Sobhi, G.; Syed, N.; Taher, N.; Vandervelde, C.; Wang Pharm, D.; Teal, P.; Benavente, O.; Wilson, L.; Mann, S.; Yip, S.; Murphy, C.; Heran, M.; Settecase, F.; Redekop, G.; Haw, C.; Maclean, G.; Murray, K.; Chiu, R.; Flexman, A.; Strecha, E.; Gayton, Y.; Yip, J.; Boulos, M.; Gladstone, D.; Yu, A.; Hopyan, J.; Khosravani, H.; Manosalva Alzate, H.; Southwell, A.; Kamra, M.; Lopes, K.; Kapoor, A.; da Costa, L.; Yang, V.; Dyer, E.; Shah, R.; Knowles, B.; Nichols, J.; Patterson, J.; Cope, K.; Dickerson, L.; Barton, K.; Gray, K.; Massengale, T.; Miller, M.; Simpson, C.; Walker, S.; Tennyson-Yemm, C.; Bellon, R.; Atchie, B.; Kaminsky, I.; Wilson, D.; Schraeder, N.; Arias, E.; Kodis, L.; Talley, M.; Edinger, A.; Talley, T.; Dempsey, I.; Williams, L.; Williams, S.; Kupniewski, S.; Fasbinder, B.; Snead, J.; Mackenzie, L.; Weisman, D.; Kozak, O.; Shah, Q.; Gzesh, D.; Kulandaivel, K.; Khoury, J.; Klein, B.; Bussinger, P.; Griffin, L.; dePalmo, A.; Oliva, C.; Jovin, T.; Kenmuir, C.; Jankowitz, B.; Gross, B.; Rocha, M.; Starr, M.; Brown, M.; Hawkes, C.; Shah, K.; Tememe, D.; Walker, G.; Patel, P.; Klein, B.; Ziayee, H.; Limaye, K.; Baxendell, L.; Gilchrist, V.; Feineigle, P.; Toseki Haibach, K.; Van Every, C.; Desai, S.; Zulfiqar, M.; Gibson, L.; Barrett, S.; Arcot, K.; DiCrescento, S.; Farkas, J.; Filipowski, G.; Frontera, J.; Joset, D.; Liff, J.; Scher, E.; McDougall, C.; Kelly, C.; Patel, A.; Monteith, S.; Atchaneeyasakul, K.; Burgos, A.; Chua, J.A.; Gaines, N.; Grunberg, I.; Guzy, J.; Liu, Z.; Maluste, N.; Ramirez, L.; Sharma, L.; Brown, M.; McDonald, C.; Calderon, M.; Hargis, M.; Roels, C.; Emmady, P.; Alvi, T.; McTaggart, R.; Jayaraman, M.; Smith, W.; Foley, S.; Paolucci, G.; Has, R.; Quinn, K.; Fuller, L.; Brierley, R.; Watkins, C.; Demir, N.; Lopez, G.; Vargas, A.; Osteraas, N.; Holtz, B.; Aghaebrahim, A.; Chmayssani, M.; Naval, N.; Day, J.; Dellorso, S.; Ludwig, B.; Schemmel, D.; Ebreo, N.; Bell, K.; Lewis, L.; Delucia, M.; Nogueira, R.; Frankel, M.; Bhatt, N.; Bianchi, N.; Anderson, A.; Belagaje, S.; Liberato, B.; Rangaraju, S.; Al-Bayati, A.; Grossberg, J.; Craft, L.; Schindler, K.; Schaad, E.; Schultz, M.; Southerly, L.; Doppelheuer, S.; Charlton, J.; Faggard, J.; Barbret, Z.; DukSoo Han, E.; Walters, R.; Dolia, J.; El-Jamal, S.; Eby, B.; Saleem, Y.; Pearl, H.; Patel, K.; Rahman, H.; Butt, R.; English, S.; Howk, M.; Singh, J.; Massari, F.; DeMacedo Rodrigues, K.; Kuhn, A.; Barazangi, N.; Telischak, N.; Kim, W.; Ross, J.; DeVole, N.; Redford, J.; Ferreira, M.; Ponting, K.; Shen, H.; Bedenk, A.; Patel, S.; Fernandess, J.; Ke, M.; Spokoyny, I.; Gao, B.; Tong, D.; Chen, C.; Wong, C.; Choe, J.; Martin, C.; Summers, D.; Boutwell, C.; Olds, K.; Crandall, S.; Eatman, J.; Akhtar, N.; Holloway, W.; Halpin, J.; Donegan, B.; Schindler, J.; Hwang, D.; Gilmore, E.; Petersen, N.; Sheth, K.; Brown, S.; Beekman, R.; George, B.; Kaddouh, F.; Falcone, G.; Wira, C.; Matouk, C.; Loomis, C.; Amin, H.; Stretz, H.C.; Narula, R.; Jasne, A.; Sansing, L.; Agarwal, T.; Jasak, S.; Fontaine, B.; King, Z.; Kuohn, L.; Orgass, H.; Leary, M.; Nye, J.; Halbert, K.; Nystrom, K.; Neuschatz, K.; Petrucci, D.; Coppola, A.; Tarpley, J.; Joyce, T.; Hou, S.; Umekubo, M.; Nakamura, C.; Ovando, R.; Zuniga, D.; Nien, Y.L.; Basto, F.M.; Arch, A.; Jong, L.; Conrad, W.; Abbott, T.; Yao, J.; Caganap, S.; Jordan, J.; Teitelbaum, G.; Darflinger, R.; Bain, M.; Czerniak, J.; Groezinger, K.; Hicks II, W.; Kaskar, O.; Katz, B.; Loochtan, A.; Pema, P.; Rai, V.; Vora, N.; Brown, A.; Goodman, D.; Danenbergs, B.; Gossett, M.; Chung, J.-W.; Jeon, P.; Kim, K.H.; Lim, Y.J.; Nam, H.S.; Kim, Y.D.; Park, H.; Park, H.; Hwang, I.G.; Ha, W.; Choi, J.K.; Jeong, K.; Park, H.-K.; Yoon, C.; Kim, B.-K.; Kim, C.-H.; Yoo, J.; Hong, J.-H.; Kim, S.; Choi, M.; Bae, H.; Lee, J.S.; Lee, J.-J.; Jun, G.-E.; Jeon, S.; Mitchell, P.; Yassi, N.; Davis, S.; Donnan, G.; Parsons, M.; Yan, B.; Dowling, R.; Bush, S.; Wu, T.; Shah, D.; Zhao, H.; Salvaris, P.; Alemseged, F.; Ng, F.; Williams, C.; Balabanski, A.; Dos Santos, A.; Ng, J.-L.; McDonald, A.; Jackson, D.; Tsoleridis, J.; Pesavento, L.; Nurs, R.D.; Cranefield, J.; Scroop, R.; Cagi, L.; Harvey, J.; Waters, M.; Brennan, R.; O'Hare, A.; Power, S.; Williams, D.; Boyle, K.; Moynihan, B.; Liddy, A.-M.; Large, M.; Cullen, A.; Walsh, R.; Martin, E.; Lynch, J.; McElroy, S.; Coveney, S.; Deegan, C.; Horgan, G.; Kelly, P.; Laffan, A.; Llamas-Osorio, Y.; Lynch, C.; Mac Mahon, P.; Marnane, M.; McCabe, J.; Tauro, S.; Cuddy, S.; Rennie, I.; Smyth, G.; Flynn, P.; Wiggam, I.; Kerr, E.; Gordon, P.; Fearon, P.; Roberts, G.; Patterson, C.; Adams, K.; Wells, B.; McFarland, M.; Moreira, T.; Sjöstrand, C.; Mazya, M.; Almqvist, H.; Wahlgren, N.; Steinberg, A.; Cooray, C.; Eriksson, E.; Thorén, M.; Keselman, B.; Ahmed, N.I.; Holmberg, Å.; Axelsson, M.; Berglund, A.; Golsari, A.; Hoppe, J.; Deb-Chatterji, M.; Cheng, B.; Barrow, E.; Schlemm, E.; Lettow, I.; Jensen, M.; Otto, D.; Jaramillo, K.; Appelbohm, H.; Fiehler, J.; Bester, M.; Schönfeld, M.; Brekenfeld, C.; Holst, B.; Wortmann, G.; Koch, F.; Gerber, J.; Abramyuk, A.; Kaiser, D.; Winzer, S.; Prakapenia, A.; Pallesen, L.-P.; Siepmann, T.; Barlinn, K.; Haase, K.; Sauer, A.; Liman, J.; Brehm, A.; Maus, V.; Hollstein, N.; Reinke, A.; Neitz, G.; Schnieder, M.; Schwarz, M.; Ibrahim, A.; Müller, J.; Meister, S.; Bäumle, B.; Pilgram-Pastor, S.; Wallocha, M.; Stauder, M.; Celik, E.; Stracke, P.; Müller, N.; Weber, R.; Velktamp, R.; Ringleb, P.A.; Heyse, M.; Amiri, H.; Mundiyanapurath, S.; Chen, M.; Bevrle, E.; Beck, P.; Möhlenbruch, M.A.; Potvin, A.; Harris, C.; Wang, C.; Adams, C.; Mayor, D.; Chau, D.; Wu, J.; Lunn, J.; Bermanis, L.; Teyes, L.; Constant, M.; Galsim, M.; Helbin, M.; Leroux, M.; Felix, N.; Bendre, N.; Cuthbert, S.; Brokx, S.; Zhang, Y.; Lingham, T.; Kohli, Y.; Salter, M.; Liebeschuetz, J.; Hofmann, F.; Constant, J.; Soeder, T.; Snoke, K.; Bologa, M.; Stahl, K.; Graziewicz, M.

In: The Lancet. (The Lancet, 14 March 2020, 395(10227):878-887)

Cadar, C.; Schemmel, D.; Sharma, A.

In: Proceedings - 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Proceedings - 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering, FormaliSE 2023. (Proceedings - 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering, FormaliSE 2023, 2023, :39-43)

Stoffers, M.; Schemmel, D.; Dustmann, O.S.; Wehrle, K.

In: ACM Transactions on Modeling and Computer Simulation. (ACM Transactions on Modeling and Computer Simulation, August 2018, 28(4))

Schemmel, D.; Busse, F.; Nowack, M.; Cadar, C.; Büning, J.

In: Leibniz International Proceedings in Informatics, LIPIcs, 36th European Conference on Object-Oriented Programming, ECOOP 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 June 2022, 222)

Krude, J.; Rüth, J.; Schemmel, D.; Rath, F.; Folbort, I.-H.; Wehrle, K.

In: CoNEXT 2021 - Proceedings of the 17th International Conference on emerging Networking EXperiments and Technologies, CoNEXT 2021 - Proceedings of the 17th International Conference on emerging Networking EXperiments and Technologies. (CoNEXT 2021 - Proceedings of the 17th International Conference on emerging Networking EXperiments and Technologies, 2 December 2021, :267-281)

Schemmel, D.; Büning, J.; Laprell, D.; Wehrle, K.; Rodríguez, C.

In: Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12224 LNCS:376-400)

Schemmel, D.; Schütz, M.

In: Journal of Chemical Physics. (Journal of Chemical Physics, 7 October 2010, 133(13))

Schemmel, D.; Schütz, M.

In: Journal of Chemical Physics. (Journal of Chemical Physics, 7 May 2010, 132(17))

Hoppe, D.; Pfitzner, A.; Schemmel, D.; Schütz, M.

In: Chemistry - A European Journal. (Chemistry - A European Journal, 20 July 2009, 15(29):7129-7138)