Comprehensive effects of supplemented essential amino acids in patients with severe COPD and sarcopenia von Dal Negro, R W, Aquilani, R, Bertacco, S, Boschi, F, Micheletto, C, Tognella, S

Volltext

Inflammatory cells and mediators in bronchial lavage of patients with chronic obstructive pulmonary disease von Pesci, A, Balbi, B, Majori, M, Cacciani, G, Bertacco, S, Alciato, P, Donner, CF

Volltext

SPIN as a Linearizability Checker under Weak Memory Models von Travkin, Oleg, Mütze, Annika, Wehrheim, Heike

Volltext

Neutrophils infiltrating bronchial epithelium in chronic obstructive pulmonary disease von Pesci, A., Majori, M., Cuomo, A., Borciani, N., Bertacco, S., Cacciani, G., Gabrielli, M.

Volltext

Single large hepatocellular carcinoma > 5 cm with surgical indication: is it mandatory a major hepatectomy? a propensity-score weighted analysis von Garancini, Mattia, Serenari, Matteo, Famularo, Simone, Cipriani, Federica, Ardito, Francesco, Russolillo, Nadia, Conci, Simone, Nicolini, Daniele, Perri, Pasquale, Zanello, Matteo, Iaria, Maurizio, Lai, Quirino, Romano, Maurizio, La Barba, Giuliano, Molfino, Sarah, Germani, Paola, Dominioni, Tommaso, Zimmiti, Giuseppe, Conticchio, Maria, Fumagalli, Luca, Zago, Mauro, Troci, Albert, Sciannamea, Ivano, Ferrari, Cecilia, Scotti, Mauro Alessandro, Griseri, Guido, Antonucci, Adelmo, Crespi, Michele, Pinotti, Enrico, Chiarelli, Marco, Memeo, Riccardo, Hilal, Mohamed Abu, Maestri, Marcello, Tarchi, Paola, Baiocchi, Gianluca, Ercolani, Giorgio, Zanus, Giacomo, Rossi, Massimo, Valle, Raffaele Dalla, Jovine, Elio, Frena, Antonio, Patauner, Stefan, Grazi, Gian Luca, Vivarelli, Marco, Ruzzenente, Andrea, Ferrero, Alessandro, Giuliante, Felice, Aldrighetti, Luca, Torzilli, Guido, Cescon, Matteo, Bernasconi, Davide, Romano, Fabrizio

Volltext

PASS: String Solving with Parameterized Array and Interval Automaton von Li, Guodong, Ghosh, Indradeep

Volltext

Survival benefit of second line therapies for recurrent hepatocellular carcinoma: repeated hepatectomy, thermoablation and second-line transplant referral in a real life national s... von Famularo, Simone, Cillo, Umberto, Lauterio, Andrea, Donadon, Matteo, Vitale, Alessandro, Serenari, Matteo, Cipriani, Federica, Fazio, Federico, Giuffrida, Mario, Ardito, Francesco, Dominioni, Tommaso, Garancini, Mattia, Lai, Quirino, Nicolini, Daniele, Molfino, Sarah, Perri, Pasquale, Pinotti, Enrico, Conci, Simone, Ferrari, Cecilia, Zanello, Matteo, Patauner, Stefan, Zimmitti, Giuseppe, Germani, Paola, Chiarelli, Marco, Romano, Maurizio, De Angelis, Michela, La Barba, Giuliano, Troci, Albert, Ferraro, Valentina, Izzo, Francesco, Antonucci, Adelmo, Belli, Andrea, Memeo, Riccardo, Crespi, Michele, Ercolani, Giorgio, Boccia, Luigi, Zanus, Giacomo, Tarchi, Paola, Hilal, Moh'd Abu, Frena, Antonio, Jovine, Elio, Griseri, Guido, Ruzzenente, Andrea, Zago, Mauro, Grazi, Gianluca, Baiocchi, Gian L., Vivarelli, Marco, Rossi, Massimo, Romano, Fabrizio, Maestri, Marcello, Giuliante, Felice, Valle, Raffaele D., Ferrero, Alessandro, Aldrighetti, Luca, De Carlis, Luciano, Cescon, Matteo, Torzilli, Guido, Milana, Flavio, Bertacco, Alessandra, De Carlis, Riccardo, Ratti, Francesca, Russolillo, Nadia, Iaria, Maurizio, Razionale, Francesco, Tartaglia, Giuseppe, Ciulli, Cristina, Carissimi, Francesca, Laureiro, Zoe L., Marinelli, Laura, DePeppo, Valerio, Montuori, Mauro, Marchitelli, Ivan, Franceschi, Angelo, Notte, Francesca, Manzoni, Alberto, Cosola, Davide, Corleone, Pio, Fumagalli, Luca, Salvador, Luca, Mantovani, Guido, Cucchetti, Alessandro, Cammarata, Francesco, Conticchio, Maria, Patrone, Renato, Bernasconi, Davide P.

Volltext

Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings von Bertacco, Valeria, Legay, Axel

Volltext

Modbat: A Model-Based API Tester for Event-Driven Systems von Artho, Cyrille Valentin, Biere, Armin, Hagiya, Masami, Platon, Eric, Seidl, Martina, Tanabe, Yoshinori, Yamamoto, Mitsuharu

Volltext

Specific immunotherapy downregulates peripheral blood CD4 and CD8 T-lymphocyte activation in grass pollen-sensitive asthma von Majori, M, Bertacco, S, Piccoli, ML, Melej, R, Pileggi, V, Pesci, A

Volltext

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking von Bensalem, Saddek, Bonakdarpour, Borzoo, Bozga, Marius, Peled, Doron, Quilbeuf, Jean

Volltext

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Volltext

Domain Types: Abstract-Domain Selection Based on Variable Usage von Apel, Sven, Beyer, Dirk, Friedberger, Karlheinz, Raimondi, Franco, von Rhein, Alexander

Volltext

Predominant TH1 cytokine pattern in peripheral blood from subjects with chronic obstructive pulmonary disease von MAJORI, M, CORRADI, M, CAMINATI, A, CACCIANI, G, BERTACCO, S, PESCI, A

Volltext

Predominant T H1 cytokine pattern in peripheral blood from subjects with chronic obstructive pulmonary disease von Majori, Maria, Corradi, Massimo, Caminati, Antonella, Cacciani, Giancarlo, Bertacco, Stefano, Pesci, Alberto

Volltext

Speeding Up the Safety Verification of Programmable Logic Controller Code von Lange, Tim, Neuhäußer, Martin R., Noll, Thomas

Volltext

Formal Specification of an Erase Block Management Layer for Flash Memory von Pfähler, Jörg, Ernst, Gidon, Schellhorn, Gerhard, Haneberg, Dominik, Reif, Wolfgang

Volltext

Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming von Katz, Gal, Peled, Doron

Volltext

Increasing Confidence in Liveness Model Checking Results with Proofs von Kuismin, Tuomas, Heljanko, Keijo

Volltext

Efficient Analysis of Reliability Architectures via Predicate Abstraction von Bozzano, Marco, Cimatti, Alessandro, Mattarei, Cristian

Volltext