Drillers’ Cognitive Skills Monitoring Task von Roberts, Ruby Clyde, Flin, Rhona, Cleland, Jennifer, Urquhart, Jim

Volltext

How the design of JML accommodates both runtime assertion checking and formal verification von Leavens, Gary T., Cheon, Yoonsik, Clifton, Curtis, Ruby, Clyde, Cok, David R.

Volltext

How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification von Leavens, Gary T., Cheon, Yoonsik, Clifton, Curtis, Ruby, Clyde, Cok, David R.

Volltext

Safely creating correct subclasses without seeing superclass code von Ruby, Clyde, Leavens, Gary T, Ruby, Clyde D

Volltext

Preliminary design of JML: a behavioral interface specification language for java von Leavens, Gary T., Baker, Albert L., Ruby, Clyde

Volltext

Safely creating correct subclasses without seeing superclass code von Ruby, Clyde, Leavens, Gary T.

Volltext

SARS-CoV-2 infects the human kidney and drives fibrosis in kidney organoids von Reimer, Katharina C., Nagai, James S., Varghese, Finny S., Overheul, Gijs J., Roverts, Rona, Willemsen, Brigith, Beukenboom, Marcel, Dunnen, Wilfred den, Triana, Sergio H., Timm, Marie-Cherelle, van den Berge, Bartholomeus T., Nlandu, Quincy, Heijnert, Joelle, Bindels, Eric M.J., Hoogenboezem, Remco M., Mooren, Fieke, Kuppe, Christoph, Grünberg, Katrien, Steenbergen, Eric J., Czogalla, Jan, Sommerdijk, Nico, Akiva, Anat, Boor, Peter, Huber, Tobias B., Bar-David, Elad, Barr, Haim, Boby, Melissa L., Borden, Bruce, Bowman, Gregory R., Brun, Juliane, BVNBS, Sarma, Carbery, Anna, Chernychenko, Eugene, Clyde, Austin, Coffland, Joseph E., Cole, Jason, Cox, Lisa, Dudgeon, Tim, Dunnett, Louise, Erez, Noam, Fate, Gwen, Ferrins, Lori, Foster, Richard, Foster, Holly, Gabizon, Ronen, Gawriljuk, Victor O., Gehrtz, Paul, Gileadi, Carina, Giroud, Charline, Glen, Robert, Gorichko, Marian, Griffen, Ed J., Heer, Jag, Hill, Michelle, Horrell, Sam, Jajack, Andrew, De Jonghe, Steven, Kantsadi, Anastassia L., Koekemoer, Lizbe, Lee, Alpha A., Lefker, Bruce A., Macdonald, Hannah Bruce, Maclean, Beth, McCorkindale, Willam, McGovern, Briana L., Michurin, Oleg, Morris, Aaron, Morris, Garret M., Neyts, Johan, Oliva, Glaucius, Overheul, Gijs J., Owen, David, Psenak, Vladimir, Pai, Ruby, Paran, Nir, Perry, Benjamin, Pingle, Maneesh, Politi, Boaz, Powell, Ailsa, Puni, Reut, Resnick, Efrat, Rosales, Romel, Schofield, Chris, Shafeev, Mikhail, Sittner, Assa, Skyner, Rachael, Spencer, John, Tamir, Hadas, Tennant, Rachael, Tumber, Anthony, van Rij, Ronald P., Voelz, Vincent, Volkamer, Andra, von Delft, Annette, White, Kris M., Wright, Nathan, Zidane, Hadeer, Costa, Ivan G., Schneider, Rebekka K., Smeets, Bart

Volltext

Absence of IκBβ/NFκB signaling does not attenuate acetaminophen-induced hepatic injury von Solar, Mack, Grayck, Maya R, McCarthy, William C, Zheng, Lijun, Lacayo, Oscar A, Sherlock, Laura G, Zhou, Ruby, Orlicky, David J, Wright, Clyde J

Volltext

At Play von Clyde, Tom, O'Toole, Fintan, Cohn, Ruby, Paulin, Tom

Volltext

Heating, Cleaning, and Mechanical Processing Effects on Cottons; Part III: Fiber Properties and Spinning Behavior von Grant, James N., Kingsbery, Emery G., Tsoi, Ruby H., Griffin, A. Clyde

Volltext

A computer program to record technical data in leukapheresis and plateletpheresis procedures von Goodsite, L M, Stauffer, 4th, C M, White, R F, Huestis, D W

Volltext