Sorted unification using set constraints von Uribe, Tomás E.

Volltext

Generating finite-state abstractions of reactive systems using decision procedures von Colón, Michael A., Uribe, Tomás E.

Volltext

Combinations of Model Checking and Theorem Proving von Uribe, Tomás E.

Volltext

Deductive model checking von Sipma, Henny B., Uribe, Tomás E., Manna, Zohar

Volltext

GraphStep: A System Architecture for Sparse-Graph Algorithms von deLorimier, M., Kapre, N., Mehta, N., Rizzo, D., Eslick, I., Rubin, R., Uribe, T.E., Knight, T.F., DeHon, A.

Volltext bestellen

Combining Monitors for Runtime System Verification von Levy, Joshua, Saïdi, Hassen, Uribe, Tomás E.

Volltext

Deductive verification of real-time systems using STeP von Bjørner, Nikolaj S., Manna, Zohar, Sipma, Henny B., Uribe, Tomás E.

Volltext

Visual verification of reactive systems von de Alfaro, Luca, Manna, Zohar, Sipma, Henny B., Uribe, Tomás E.

Volltext

Differential BDDs von Anuchitanukul, Anuchit, Manna, Zohar, Uribe, Tomás E.

Volltext

A Personalized Calendar Assistant von Berry, Pauline M, Gervasio, Melinda, Uribe, Tomas E, Myers, Karen, Nitz, Ken

Volltext bestellen

Microalgae-assisted green bioremediation of food-processing wastewater: A sustainable approach toward a circular economy concept von Najar-Almanzor, Cesar E., Velasco-Iglesias, Karla D., Nunez-Ramos, Regina, Uribe-Velázquez, Tlalli, Solis-Bañuelos, Minerva, Fuentes-Carrasco, Oscar J., Chairez, Isaac, García-Cayuela, Tomás, Carrillo-Nieves, Danay

Volltext

Adjuvant Pembrolizumab after Nephrectomy in Renal-Cell Carcinoma von Choueiri, Toni K, Tomczak, Piotr, Park, Se Hoon, Venugopal, Balaji, Ferguson, Thomas, Chang, Yen-Hwa, Hajek, Jaroslav, Symeonides, Stefan N, Lee, Jae Lyun, Sarwar, Naveed, Thiery-Vuillemin, Antoine, Gross-Goupil, Marine, Mahave, Mauricio, Haas, Naomi B, Sawrycki, Piotr, Gurney, Howard, Chevreau, Christine, Melichar, Bohuslav, Kopyltsov, Evgeniy, Alva, Ajjai, Burke, John M, Doshi, Gurjyot, Topart, Delphine, Oudard, Stephane, Hammers, Hans, Kitamura, Hiroshi, Bedke, Jens, Perini, Rodolfo F, Zhang, Pingye, Imai, Kentaro, Willemann-Rogerio, Jaqueline, Quinn, David I, Powles, Thomas

Volltext

Pembrolizumab versus placebo as post-nephrectomy adjuvant therapy for clear cell renal cell carcinoma (KEYNOTE-564): 30-month follow-up analysis of a multicentre, randomised, doubl... von Tomczak, Piotr, Venugopal, Balaji, Ferguson, Thomas, Chang, Yen-Hwa, Gross-Goupil, Marine, Burgents, Joseph E, Xu, Lei, Imai, Kentaro, Choueiri, Toni K, Venugopal, Balaji, Lin, Tzu-Ping, Symeonides, Stefan N., Sawrycki, Piotr, Haas, Naomi B., Sarwar, Naveed, Thiery-Vuillemin, Antoine, Gross-Goupil, Marine, Doshi, Gurjyot, Melichar, Bohuslav, Kopyltsov, Evgeniy, Hammers, Hans-Joerg, Menezes, Juliana de Janoski, Winquist, Eric W., Hamzaj, Alketa, Karaszewska, Boguslawa, Lipatov, Oleg N., McDermott, David, Kochuparambil, Samith T., Davis, Ian D., Peltola, Katriina, Sabbatini, Roberto, Shkolnik, Michail I., McCune, Steven, Yeung, Carrie, Laguerre, Brigitte, Fomin, Eugeniy A., Zakharia, Yousef, Yorio, Jeffrey T., Yanez Ruiz, Eduardo, Kimura, Go, Nishimura, Kazuo, Masumori, Naoya, Kato, Haruaki, Sala Gonzalez, Nuria, Chiu, Kun-Yuan, Atkins, Michael B., Heath, Elisabeth, Feyerabend, Susan, Numakura, Kazuyuki, Zukov, Ruslan, Maroto Rey, Pablo Jose, Chang, Chao-Hsiang, Vengalil, Salil, Waddell, Tom S., Hauke, Ralph, Jayram, Gautam, Estay, Angela, Rubiano, Juan Andres, Anai, Satoshi, Tsunemori, Hiroyuki, Sikora-Kupis, Bozena, Gunderson, Elizabeth, Koletsky, Alan, Chen, Kevin, Agrawal, Manish, Parnis, Francis, Barbosa, Fernando Maciel, Faucher, Genevieve, Iqbal, Nayyer, Hanna, Nawar, Ibanez, Carolina, Manneh, Ray, Holeckova, Petra, Ronkainen, Hanna, Abadie-Lacourtoisie, Sophie, Goebell, Peter J., Hoefner, Thomas, Schultze-Seemann, Wolfgang, Yokomizo, Akira, Matsukawa, Yoshihisa, Murakami, Yoji, Kim, Miso, Szczylik, Cezary, Humphreys, Alison C., Kumar, Birendra, Karam, Jose Antonio, Fleming, Mark, Zarba, Juan Jose, Leiva, Viviana E., Antonio Junior, Joao Neif, Rocha, Roberto Odebrecht, Muniz, David, Brust, Leandro, Graham, Jeffrey, Borchiellini, Delphine, McDermott, Ray, Miura, Yuji, Prow, Debra M., Hashemi-Sadraei, Neda, Kendall, Stephan D.

Volltext

Clonidine in Patients Undergoing Noncardiac Surgery von Devereaux, P.J, Sessler, Daniel I, Leslie, Kate, Kurz, Andrea, Mrkobrada, Marko, Alonso-Coello, Pablo, Villar, Juan Carlos, Sigamani, Alben, Biccard, Bruce M, Meyhoff, Christian S, Parlow, Joel L, Guyatt, Gordon, Robinson, Andrea, Garg, Amit X, Rodseth, Reitze N, Botto, Fernando, Lurati Buse, Giovanna, Xavier, Denis, Chan, Matthew T.V, Tiboni, Maria, Cook, Deborah, Kumar, Priya A, Forget, Patrice, Malaga, German, Fleischmann, Edith, Amir, Mohammed, Eikelboom, John, Mizera, Richard, Torres, David, Wang, C.Y, VanHelder, Tomas, Paniagua, Pilar, Berwanger, Otavio, Srinathan, Sadeesh, Graham, Michelle, Pasin, Laura, Le Manach, Yannick, Gao, Peggy, Pogue, Janice, Whitlock, Richard, Lamy, André, Kearon, Clive, Chow, Clara, Pettit, Shirley, Chrolavicius, Susan, Yusuf, Salim

Volltext

Aspirin in Patients Undergoing Noncardiac Surgery von Devereaux, P.J, Mrkobrada, Marko, Sessler, Daniel I, Leslie, Kate, Alonso-Coello, Pablo, Kurz, Andrea, Villar, Juan Carlos, Sigamani, Alben, Biccard, Bruce M, Meyhoff, Christian S, Parlow, Joel L, Guyatt, Gordon, Robinson, Andrea, Garg, Amit X, Rodseth, Reitze N, Botto, Fernando, Lurati Buse, Giovanna, Xavier, Denis, Chan, Matthew T.V, Tiboni, Maria, Cook, Deborah, Kumar, Priya A, Forget, Patrice, Malaga, German, Fleischmann, Edith, Amir, Mohammed, Eikelboom, John, Mizera, Richard, Torres, David, Wang, C.Y, VanHelder, Tomas, Paniagua, Pilar, Berwanger, Otavio, Srinathan, Sadeesh, Graham, Michelle, Pasin, Laura, Le Manach, Yannick, Gao, Peggy, Pogue, Janice, Whitlock, Richard, Lamy, André, Kearon, Clive, Baigent, Colin, Chow, Clara, Pettit, Shirley, Chrolavicius, Susan, Yusuf, Salim

Volltext

Establishment and management of leucaena in Latin America von Pachas, Nahuel A., Radrizzani, Alejandro, Murgueitio, Enrique, Uribe, Fernando, Zapata Cadavid, Álvaro, Chará, Julián, Ruiz, Tomás E., Escalante, Eduardo, Mauricio, Rogerio M., Ramírez-Avilés, Luis

Volltext

Revisión de la teoría del actor red (TAR) como referente metodológico en la investigación en ciencias sociales von Uribe Lopera, Lucas, González Montero, Sebastián Alejandro, Montoya Uribe, Tomás

Volltext

Reconciliación y construcción de la paz territorial en Colombia: el caso de la comunidad nasa von Acosta Oidor, Catalina, Uribe Mendoza, Cristhian, Amaya Panche, Johanna, Idrobo Velazco, Alexander, Aliaga Sáez, Felipe, Ballén Velásquez, Diego Alejandro

Volltext

Belzutifan versus Everolimus for Advanced Renal-Cell Carcinoma von Choueiri, Toni K., Powles, Thomas, Peltola, Katriina, de Velasco, Guillermo, Burotto, Mauricio, Suarez, Cristina, Ghatalia, Pooja, Iacovelli, Roberto, Lam, Elaine T., Verzoni, Elena, Gümüş, Mahmut, Stadler, Walter M., Kollmannsberger, Christian, Melichar, Bohuslav, Venugopal, Balaji, Gross-Goupil, Marine, Poprach, Alexandr, De Santis, Maria, Schutz, Fabio A., Park, Se Hoon, Nosov, Dmitry A., Porta, Camillo, Lee, Jae Lyun, Garcia-del-Muro, Xavier, Biscaldi, Elisa, Manneh Kopp, Ray, Oya, Mototsugu, He, Li, Wang, Aobo, Perini, Rodolfo F., Vickery, Donna, Albiges, Laurence, Rini, Brian

Volltext

Multi-ancestry GWAS reveals excitotoxicity associated with outcome after ischaemic stroke von Ibanez, Laura, Heitsch, Laura, Carrera, Caty, Farias, Fabiana H G, Del Aguila, Jorge L, Dhar, Rajat, Budde, John, Bergmann, Kristy, Bradley, Joseph, Harari, Oscar, Phuah, Chia Ling, Lemmens, Robin, Viana Oliveira Souza, Alessandro A, Moniche, Francisco, Cabezas-Juan, Antonio, Arenillas, Juan Francisco, Krupinksi, Jerzy, Cullell, Natalia, Torres-Aguila, Nuria, Muiño, Elena, Cárcel-Márquez, Jara, Marti-Fabregas, Joan, Delgado-Mederos, Raquel, Marin-Bueno, Rebeca, Hornick, Alejandro, Vives-Bauza, Cristofol, Navarro, Rosa Diaz, Tur, Silvia, Jimenez, Carmen, Obach, Victor, Segura, Tomas, Serrano-Heras, Gemma, Chung, Jong Won, Roquer, Jaume, Soriano-Tarraga, Carol, Giralt-Steinhauer, Eva, Mola-Caminal, Marina, Pera, Joanna, Lapicka-Bodzioch, Katarzyna, Derbisz, Justyna, Davalos, Antoni, Lopez-Cancio, Elena, Muñoz, Lucia, Tatlisumak, Turgut, Molina, Carlos, Ribo, Marc, Bustamante, Alejandro, Sobrino, Tomas, Castillo-Sanchez, Jose, Campos, Francisco, Rodriguez-Castro, Emilio, Arias-Rivas, Susana, Rodríguez-Yáñez, Manuel, Herbosa, Christina, Ford, Andria L, Gutierrez-Romero, Alonso, Uribe-Pacheco, Rodrigo, Arauz, Antonio, Lopes-Cendes, Iscia, Lowenkopf, Theodore, Barboza, Miguel A, Amini, Hajar, Stamova, Boryana, Ander, Bradley P, Sharp, Frank R, Kim, Gyeong Moon, Bang, Oh Young, Jimenez-Conde, Jordi, Slowik, Agnieszka, Stribian, Daniel, Tsai, Ellen A, Burkly, Linda C, Montaner, Joan, Fernandez-Cadenas, Israel, Lee, Jin Moo, Cruchaga, Carlos

Volltext