PPLite: Zero-overhead encoding of NNC polyhedra von Becchi, Anna, Zaffanella, Enea

Volltext

Abstraction Modulo Stability von Becchi, Anna, Cimatti, Alessandro

Volltext

P-stable abstractions of hybrid systems von Becchi, Anna, Cimatti, Alessandro, Zaffanella, Enea

Volltext

Revisiting Polyhedral Analysis for Hybrid Systems von Becchi, Anna, Zaffanella, Enea

Volltext

An Efficient Abstract Domain for Not Necessarily Closed Polyhedra von Becchi, Anna, Zaffanella, Enea

Volltext

Synthesis of P-Stable Abstractions von Becchi, Anna, Cimatti, Alessandro, Zaffanella, Enea

Volltext

Jella Lepman: Die Gründerin der Internationalen Jugendbibliothek von Anna Becchi

Volltext

A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System von Amendola, Arturo, Becchi, Anna, Cavada, Roberto, Cimatti, Alessandro, Griggio, Alberto, Scaglione, Giuseppe, Susi, Angelo, Tacchella, Alberto, Tessi, Matteo

Volltext

A Conversion Procedure for NNC Polyhedra von Becchi, Anna, Zaffanella, Enea

Volltext bestellen

Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281) von Gurfinkel, Arie, Mastroeni, Isabella, Miné, Antoine, Müller, Peter, Becchi, Anna

Volltext

A Conversion Procedure for NNC Polyhedra von Becchi, Anna, Zaffanella, Enea

Volltext

STABAT MATER: Le madri di Elsa Morante von Becchi, Anna Patrucco

Volltext

"Stabat mater". Le madri di Elsa Morante von BECCHI, ANNA PATRUCCO

Volltext

The IGFBP3/TMEM219 pathway regulates beta cell homeostasis von D’Addio, Francesca, Maestroni, Anna, Assi, Emma, Ben Nasr, Moufida, Amabile, Giovanni, Usuelli, Vera, Loretelli, Cristian, Bertuzzi, Federico, Antonioli, Barbara, Cardarelli, Francesco, El Essawy, Basset, Solini, Anna, Gerling, Ivan C., Bianchi, Cristina, Becchi, Gabriella, Mazzucchelli, Serena, Corradi, Domenico, Fadini, Gian Paolo, Foschi, Diego, Markmann, James F., Orsi, Emanuela, Škrha, Jan, Camboni, Maria Gabriella, Abdi, Reza, James Shapiro, A. M., Folli, Franco, Ludvigsson, Johnny, Del Prato, Stefano, Zuccotti, Gianvincenzo, Fiorina, Paolo

Volltext

miR‐21 antagonism reprograms macrophage metabolism and abrogates chronic allograft vasculopathy von Usuelli, Vera, Ben Nasr, Moufida, D'Addio, Francesca, Liu, Kaifeng, Vergani, Andrea, El Essawy, Basset, Yang, Jun, Assi, Emma, Uehara, Mayuko, Rossi, Chiara, Solini, Anna, Capobianco, Annalisa, Rigamonti, Elena, Potena, Luciano, Venturini, Massimo, Sabatino, Mario, Bottarelli, Lorena, Ammirati, Enrico, Frigerio, Maria, Castillo‐Leon, Eduardo, Maestroni, Anna, Azzoni, Cinzia, Loretelli, Cristian, Joe Seelam, Andy, Tai, Albert K., Pastore, Ida, Becchi, Gabriella, Corradi, Domenico, Visner, Gary A., Zuccotti, Gian V., Chau, Nelson B., Abdi, Reza, Pezzolesi, Marcus G., Fiorina, Paolo

Volltext

Optimizing PD-L1 evaluation on cytological samples from advanced non-small-cell lung cancer von Bozzetti, Cecilia, Squadrilli, Anna, Nizzoli, Rita, Lagrasta, Costanza, Gasparro, Donatello, Majori, Maria, Filippo, Massimo De, Becchi, Gabriella, Azzoni, Cinzia, Campanini, Nicoletta, Pedrazzi, Giuseppe, Zavani, Andrea, Silini, Enrico Maria, Tiseo, Marcello, Gnetti, Letizia

Volltext

Quality of life in patients with schizophrenia--comparison of self-report and proxy assessments von Becchi, Angela, Rucci, Paola, Placentino, Anna, Neri, Giovanni, de Girolamo, Giovanni

Volltext

Quality of life in patients with schizophrenia: comparison of self-report and proxy assessments: Schizophrenia von BECCHI, Angela, RUCCI, Paola, PLACENTINO, Anna, NERI, Giovanni, DE GIROLAMO, Giovanni

Volltext

Fragile X premutation is a significant risk factor for premature ovarian failure: The international collaborative POF in fragile X study-preliminary data von Allingham-Hawkins, Diane J., Babul-Hirji, Riyana, Chitayat, David, Holden, Jeanette J.A., Yang, Kathy T., Lee, C., Hudson, R., Gorwill, H., Nolin, Sarah L., Glicksman, Anne, Jenkins, Edmund C., Brown, W. Ted, Howard-Peebles, Patricia N., Becchi, Cindy, Cummings, Emilie, Fallon, Lee, Seitz, Suzanne, Black, Susan H., Vianna-Morgante, Angela M., Costa, Silvia S., Otto, Paulo A., Mingroni-Netto, Regina C., Murray, Anna, Webb, J., MacSwinney, F., Dennis, N., Jacobs, Patricia A., Syrrou, Maria, Georgiou, Ioannis, Patsalis, Phillipos C., Giovannucci Uzielli, Maria L., Guarducci, S., Lapi, E., Cecconi, A., Ricci, U., Ricotti, G., Biondi, C., Scarselli, B., Vieri, F.

Volltext