Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA von Santiago Pinazo, Sonia

Volltext bestellen

State space reduction in the Maude-NRL Protocol Analyzer von Escobar Román, Santiago, Meadows, Cahterine, Meseguer, José, Santiago Pinazo, Sonia

Volltext bestellen

Sequential protocol composition in Maude-NPA von Santiago Pinazo, Sonia

Volltext bestellen

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis von Erbatur, Serdar, Escobar Román, Santiago, Kapur, Deepak, Liu, Zhiqiang, Lynch, Christopher A, Meadows, Catherine, Meseguer, José, Narendran, Paliath, Santiago Pinazo, Sonia, Sasse, Ralf

Volltext bestellen

SAT-267 The interaction between metabolic syndrome and alcohol consumption after an episode of alcohol-associated hepatitis is associated with increased mortality: results from de... von Gratacós-Ginès, Jordi, Del Barrio, María, Ruz-Zafra, PIlar, Celada-Sendino, Miriam, Villagrasa, Ares, Cáceres, Federico, Martin-Mateos, Rosa, Frisancho, Luis, García-García, Sonia, Valbuena, Mónica Barreales, Tejedor-Tejada, Javier, Rodriguez, Sergio Vaquez, Canete, Nuria, Fernandez-Carrillo, Carlos, Valenzuela, Maria, Marti-Aguado, David, Horta, Diana, Quinones, Marta, Bernal, Vanesa, Acosta-López, Silvia, Artaza, Tomás, Bandera, José Pinazo, Villar, Carmen, Clemente, Ana, Badia-Aranda, Esther, Crespo, Javier, Sancho-Bru, Pau, Cots, Meritxell Ventura, Fernández-Rodríguez, Conrado, Sancho, Victoria Aguilera, Tome, Santiago, Bataller, Ramon, Caballeria, Joan, Cabezas, Joaquin, Pose, Elisa

Volltext

SAT-257 Hepatorenal syndrome markedly impacts prognosis of patients with alcohol-associated hepatitis. Results from the spanish registry of alcohol-associated liver disease (REHALC... von Gratacós-Ginès, Jordi, Ruz-Zafra, PIlar, Celada-Sendino, Miriam, Martí, Aina, Cáceres, Federico, Martin-Mateos, Rosa, Echavarría, Victor, Frisancho, Luis, García-García, Sonia, Valbuena, Mónica Barreales, Tejedor-Tejada, Javier, Rodríguez, Sergio Vaquez, Cañete, Nuria, Fernández-Carrillo, Carlos, Valenzuela, María, Marti-Aguado, David, Horta, Diana, Quiñones, Marta, Bernal, Vanesa, Acosta-López, Silvia, Artaza, Tomás, Bandera, José Pinazo, Villar, Carmen, Clemente, Ana, Badia-Aranda, Esther, Moreta, Maria Jose, Juanola, Adrià, Ginès, Pere, Sancho-Bru, Pau, Cabezas, Joaquin, Cots, Meritxell Ventura, Fernández-Rodríguez, Conrado, Sancho, Victoria Aguilera, Tomé, Santiago, Bataller, Ramon, Caballería, Joan, Pose, Elisa

Volltext

Recompensation following an episode of alcohol-associated hepatitis mostly occurs in the first year of follow-up and is related to Child-Pugh score, levels of GGT and platelets, an... von Gratacos, Jordi, Ruz-Zafra, PIlar, Celada-Sendino, Miriam, Martí-Carretero, Aina, Pujol, Claudia, Martin-Mateos, Rosa, Echavarria, Victor, Frisancho, Luis, García-García, Sonia, Valbuena, Mónica Barreales, Tejedor-Tejada, Javier, Rodríguez, Sergio Vaquez, Cañete, Nuria, Fernández-Carrillo, Carlos, Valenzuela, María, Marti-Aguado, David, Horta, Diana, Quiñones, Marta, Monterde, Vanesa Bernal, Acosta-López, Silvia, Varasa, Tomás Artaza, Bandera, José Pinazo, Villar, Carmen, Clemente, Ana, Badia-Aranda, Esther, Fernández-Rodríguez, Conrado, Sancho, Victoria Aguilera, Sancho-Bru, Pau, Cabezas, Joaquín, Cots, Meritxell Ventura, Tomé, Santiago, Caballería, Joan, Pose, Elisa

Volltext