Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic by Karp, Richard Alan

Get full text

A reply to Gentleman and Marovich by Karp, Richard Alan

Get full text

Correspondence from the members by Schreiner, Axel, Redish, K. A., Karp, Richard Alan, Page, Rex, Cichelli, Richard

Get full text

The EcoCyc Database in 2021 by Keseler, Ingrid M, Gama-Castro, Socorro, Mackie, Amanda, Billington, Richard, Bonavides-Martínez, César, Caspi, Ron, Kothari, Anamika, Krummenacker, Markus, Midford, Peter E, Muñiz-Rascado, Luis, Ong, Wai Kit, Paley, Suzanne, Santos-Zavaleta, Alberto, Subhraveti, Pallavi, Tierrafría, Víctor H, Wolfe, Alan J, Collado-Vides, Julio, Paulsen, Ian T, Karp, Peter D

Get full text

The International Mouse Phenotyping Consortium Web Portal, a unified point of access for knockout mice and related phenotyping data by Koscielny, Gautier, Yaikhom, Gagarine, Iyer, Vivek, Meehan, Terrence F, Morgan, Hugh, Atienza-Herrero, Julian, Blake, Andrew, Chen, Chao-Kung, Easty, Richard, Di Fenza, Armida, Fiegel, Tanja, Grifiths, Mark, Horne, Alan, Karp, Natasha A, Kurbatova, Natalja, Mason, Jeremy C, Matthews, Peter, Oakley, Darren J, Qazi, Asfand, Regnart, Jack, Retha, Ahmad, Santos, Luis A, Sneddon, Duncan J, Warren, Jonathan, Westerberg, Henrik, Wilson, Robert J, Melvin, David G, Smedley, Damian, Brown, Steve D M, Flicek, Paul, Skarnes, William C, Mallon, Ann-Marie, Parkinson, Helen

Get full text

A roadmap for the functional annotation of protein families: a community perspective by de Crécy-Lagard, Valérie, Amorin de Hegedus, Rocio, Arighi, Cecilia, Babor, Jill, Bateman, Alex, Blaby, Ian, Blaby-Haas, Crysten, Bridge, Alan J, Burley, Stephen K, Cleveland, Stacey, Colwell, Lucy J, Conesa, Ana, Dallago, Christian, Danchin, Antoine, de Waard, Anita, Deutschbauer, Adam, Dias, Raquel, Ding, Yousong, Fang, Gang, Friedberg, Iddo, Gerlt, John, Goldford, Joshua, Gorelik, Mark, Gyori, Benjamin M, Henry, Christopher, Hutinet, Geoffrey, Jaroch, Marshall, Karp, Peter D, Kondratova, Liudmyla, Lu, Zhiyong, Marchler-Bauer, Aron, Martin, Maria-Jesus, McWhite, Claire, Moghe, Gaurav D, Monaghan, Paul, Morgat, Anne, Mungall, Christopher J, Natale, Darren A, Nelson, William C, O'Donoghue, Seán, Orengo, Christine, O'Toole, Katherine H, Radivojac, Predrag, Reed, Colbie, Roberts, Richard J, Rodionov, Dmitri, Rodionova, Irina A, Rudolf, Jeffrey D, Saleh, Lana, Sheynkman, Gloria, Thibaud-Nissen, Francoise, Thomas, Paul D, Uetz, Peter, Vallenet, David, Carter, Erica Watson, Weigele, Peter R, Wood, Valerie, Wood-Charlson, Elisha M, Xu, Jin

Get full text

Association of smoking and other risk factors with Fuchs' endothelial corneal dystrophy severity and corneal thickness by Zhang, Xiaolin, Igo, Jr, Robert P, Fondran, Jeremy, Mootha, V Vinod, Oliva, Matt, Hammersmith, Kristin, Sugar, Alan, Lass, Jonathan H, Iyengar, Sudha K

Get full text

Affordable K-12 robotics programs by Levy, E., Mangnan Tan, Gale, R., Karp, T., Barhorst, A.

Request full text

When is the assignment bound tight for the asymmetric traveling-salesman problem ? by FRIEZE, A, KARP, R. M, REED, B

Get full text